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

Meter comparison table
Subject be first domain of be second domain of documentation have axiom be third domain of is a kind of is an instance of
LengthMeasureMagnitudeFnlengthThe 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))))
distanceConstantQuantity 
SystemeInternationalUnitSubtractionFnMeasureFnThe Class of Systeme International (SI) units
(=>
    (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)))))
 UnitOfMeasure 
MeterMagnitudeFnlengthSI LengthMeasure. Symbol: m. It is one of the base units in SI, and it is currently defined as follows: the Meter is the length of the path traveled by light in a vacuum during a time interval of 1/299792458 of a SecondDuration
(equal
 	(MeasureFn ?NUMBER Kilometer)
 	(MeasureFn (MultiplicationFn ?NUMBER 1000) Meter))
distance SystemeInternationalUnit

Next LengthMeasure: Mile    Up: LengthMeasure, SystemeInternationalUnit    Previous LengthMeasure: Kilometer