SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > LengthMeasure
Next ConstantQuantityMassMeasure    UpConstantQuantity    Previous ConstantQuantityInformationMeasure   

LengthMeasuredocumentation The Class of ConstantQuantities relating to length2001-11-30 13:34:35.0
has axiom
(larger ?OBJ1 ?OBJ2)
(forall (?QUANT1 ?QUANT2)
(measure ?OBJ1 (MeasureFn ?QUANT1 LengthMeasure))
(measure ?OBJ2 (MeasureFn ?QUANT2 LengthMeasure)))
(greaterThan ?QUANT1 ?QUANT2))))
2001-11-30 13:34:35.0
is second domain of length2001-11-30 13:34:35.0
is third domain of distance2001-11-30 13:34:35.0
is a kind of ConstantQuantity2001-11-30 13:34:35.0
ConstantQuantityis first domain of MagnitudeFn2001-11-30 13:33:55.0
PhysicalQuantityis partitioned into ConstantQuantity, FunctionQuantity2001-11-30 13:34:58.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0

Kinds of LengthMeasure :