SUMO View all facts Glossary Help |
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > LengthMeasure |
LengthMeasure | ||||
subject | fact |
LengthMeasure | documentation The Class of ConstantQuantities relating to length | |
has axiom (=> | ||
is second domain of length | ||
is third domain of distance | ||
is a kind of ConstantQuantity | ||
ConstantQuantity | is first domain of MagnitudeFn | |
PhysicalQuantity | is partitioned into ConstantQuantity, FunctionQuantity | |
Abstract | is disjoint from Physical |
Kinds of LengthMeasure :