**Subject** |
**be first domain of** |
**be second domain of** |
**documentation** |
**have axiom** |
**be third domain of** |
**is a kind of** |
**is an instance of** |

LuminosityIntensityMeasure | *rangeSubclass* | *SubtractionFn* | A FunctionQuantity is a Function that maps from one or more instances of ConstantQuantity to another *instance* of ConstantQuantity. For example, the velocity of a particle would be represented by a FunctionQuantity mapping values of *time* (which are ConstantQuantities) to values of *distance* (also ConstantQuantities). Note that all instances of FunctionQuantity are Functions with a fixed arity. Note too that all elements of the *range* of a FunctionQuantity have the same physical dimension as the FunctionQuantity itself | (*<=>* (*instance* ?ABS Abstract) (*not* (exists (?POINT) (or (*located* ?ABS ?POINT) (*existant* ?ABS ?POINT)))))
| *domainSubclass* | FunctionQuantity | |

SystemeInternationalUnit | *SubtractionFn* | *MeasureFn* | The Class of Systeme International (SI) units | (=> (*and* (*instance* ?REL RelationExtendedToQuantities) (*instance* ?REL BinaryRelation) (*instance* ?NUMBER1 RealNumber) (*instance* ?NUMBER2 RealNumber) (*holds* ?REL ?NUMBER1 ?NUMBER2)) (forall (?UNIT) (=> (*instance* ?UNIT UnitOfMeasure) (*holds* ?REL (*MeasureFn* ?NUMBER1 ?UNIT) (*MeasureFn* ?NUMBER2 ?UNIT)))))
| | UnitOfMeasure | |

*Candela* | *rangeSubclass* | *MeasureFn* | SI LuminosityIntensityMeasure. Symbol: cd. It is one of the base units in SI, *and* it is currently defined as follows: the *Candela* is the luminous intensity, in a given *direction*, of a source that emits *monochromatic* radiation of *frequency* 540*10^12 *Hertz* *and* that has a radiant intensity in that *direction* of 1/683 *Watt* per *Steradian* | (=> (*and* (*instance* ?REL RelationExtendedToQuantities) (*instance* ?REL BinaryRelation) (*instance* ?NUMBER1 RealNumber) (*instance* ?NUMBER2 RealNumber) (*holds* ?REL ?NUMBER1 ?NUMBER2)) (forall (?UNIT) (=> (*instance* ?UNIT UnitOfMeasure) (*holds* ?REL (*MeasureFn* ?NUMBER1 ?UNIT) (*MeasureFn* ?NUMBER2 ?UNIT)))))
| *domainSubclass* | | SystemeInternationalUnit |