SUMO View all facts Glossary Help |
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > LengthMeasure > Inch |
Inch | ||||
subject | fact |
Inch | documentation English length unit of inches | |
has axiom (equal | ||
is an instance of LengthMeasure | ||
is an instance of UnitOfMeasure | ||
LengthMeasure | is second domain of length | |
is third domain of distance | ||
UnitOfMeasure | is second domain of MeasureFn | |
ConstantQuantity | is first domain of MagnitudeFn | |
PhysicalQuantity | is partitioned into ConstantQuantity, FunctionQuantity | |
Abstract | is disjoint from Physical |