SUMO View all facts Glossary Help |
Entity > Abstract > Quantity > PhysicalQuantity > UnitOfMeasure |
UnitOfMeasure | ||||
subject | fact |
UnitOfMeasure | documentation A standard of measurement for some dimension. For example, the Meter is a UnitOfMeasure for the dimension of length, as is the Inch. There is no intrisic property of a UnitOfMeasure that makes it primitive or fundamental; rather, a system-of-units (e.g. SystemeInternationalUnit) defines a set of orthogonal dimensions and assigns units for each | |
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
is second domain of MeasureFn | ||
is a kind of PhysicalQuantity | ||
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 UnitOfMeasure :
Next PhysicalQuantity: ConstantQuantity Up: PhysicalQuantity Previous PhysicalQuantity: FunctionQuantity