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

ElectricChargeMeasure | | *rangeSubclass* | | *inverse* | A UnaryConstantFunction of continuous *time*. All instances of this Class map a *time* quantity into another ConstantQuantity such as temperature. For example, 'the temperature at the top of the Empire State Building' is a TimeDependentQuantity since its value depends on the *time* | (=> (*instance* ?FUNCTION TimeDependentQuantity) (*domain* ?FUNCTION 1 TimeMeasure))
| *domainSubclass* | TimeDependentQuantity | |

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 | |

*CoulombFn* | *SecondDuration* | *SubtractionFn* | *Ampere* | *MeasureFn* | SI ElectricChargeMeasure. Symbol: C. It is the quantity of electric charge transported through a cross section of a conductor in an electric circuit *during* each *SecondDuration* by a current of 1 *Ampere*. Coulomb = s*A | (=> (*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 |