SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > LengthMeasure > Kilometer
Next LengthMeasure: Meter    Up: LengthMeasure, UnitOfMeasure    Previous LengthMeasure: Inch   

Kilometer
subjectfact 
Kilometerdocumentation Multiple of Meter. Symbol: km. 1 Kilometer = 1000 Meters2001-11-30 13:34:34.0
has axiom 
(equal
 	(MeasureFn ?NUMBER Kilometer)
 	(MeasureFn (MultiplicationFn ?NUMBER 1000) Meter))
2001-11-30 13:34:34.0
is an instance of LengthMeasure2001-11-30 13:34:34.0
is an instance of UnitOfMeasure2001-11-30 13:34:34.0
LengthMeasureis second domain of length2001-11-30 13:34:35.0
is third domain of distance2001-11-30 13:34:35.0
UnitOfMeasureis second domain of MeasureFn2001-11-30 13:35:31.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