SUMO   View all facts   Glossary   Help Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > LengthMeasure > Kilometer
Next LengthMeasureMeter    UpLengthMeasure, UnitOfMeasure    Previous LengthMeasureInch

 Kilometer comparison table
 be first domain of be second domain of documentation have axiom be third domain of is a kind of is an instance of Subject LengthMeasure MagnitudeFn length The Class of ConstantQuantities relating to length `(=> (larger ?OBJ1 ?OBJ2) (forall (?QUANT1 ?QUANT2) (=> (and (measure ?OBJ1 (MeasureFn ?QUANT1 LengthMeasure)) (measure ?OBJ2 (MeasureFn ?QUANT2 LengthMeasure))) (greaterThan ?QUANT1 ?QUANT2))))` distance ConstantQuantity UnitOfMeasure SubtractionFn MeasureFn 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 `(=> (and (instance ?REL RelationExtendedToQuantities) (instance ?REL BinaryRelation) (instance ?NUMBER1 RealNumber) (instance ?NUMBER2 RealNumber) (holds ?REL ?NUMBER1 ?NUMBER2)) (forall (?UNIT) (=> (instance ?UNIT UnitOfMeasure) (holds ?REL (MeasureFn ?NUMBER1 ?UNIT) (MeasureFn ?NUMBER2 ?UNIT)))))` PhysicalQuantity Kilometer MagnitudeFn MeasureFn Multiple of Meter. Symbol: km. 1 Kilometer = 1000 Meters `(equal (MeasureFn ?NUMBER Kilometer) (MeasureFn (MultiplicationFn ?NUMBER 1000) Meter))` distance UnitOfMeasure

Next LengthMeasureMeter    UpLengthMeasure, UnitOfMeasure    Previous LengthMeasureInch