SUMO View all facts Glossary Help |
Entity > Abstract > Quantity > PhysicalQuantity > UnitOfMeasure > SystemeInternationalUnit |
SystemeInternationalUnit | ||||
subject | fact |
SystemeInternationalUnit | documentation The Class of Systeme International (SI) units | |
is a kind of UnitOfMeasure | ||
UnitOfMeasure | has axiom (=> | |
has axiom (=> | ||
has axiom (=> | ||
is second domain of MeasureFn | ||
PhysicalQuantity | is partitioned into ConstantQuantity, FunctionQuantity | |
Quantity | is first domain of AdditionFn | |
is first domain of DivisionFn | ||
is first domain of ExponentiationFn | ||
is first domain of greaterThan | ||
is first domain of greaterThanOrEqualTo | ||
is first domain of lessThan | ||
is first domain of lessThanOrEqualTo | ||
is first domain of MaxFn | ||
is first domain of MinFn | ||
is first domain of MultiplicationFn | ||
is first domain of ReciprocalFn | ||
is first domain of RemainderFn | ||
is first domain of RoundFn | ||
is first domain of SubtractionFn | ||
Abstract | is disjoint from Physical |
Kinds of SystemeInternationalUnit :
Next UnitOfMeasure: UnitedKingdomGallon Up: UnitOfMeasure Previous UnitOfMeasure: Slug