SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > LengthMeasure
Next ConstantQuantity: MassMeasure    Up: ConstantQuantity    Previous ConstantQuantity: InformationMeasure   

LengthMeasure comparison table
Subject is an instance of documentation be second domain of have axiom
AngstromUnitOfMeasureThe Angstrom is a LengthMeasure. 1 Angstrom = 10^(-10)MeasureFn
(equal
         (MeasureFn ?NUMBER Angstrom)
         (MeasureFn (MultiplicationFn ?NUMBER 1.0E-10) Meter))
CentimeterUnitOfMeasureSubmultiple of Meter. Symbol: cm. It is the 100th part of a MeteMeasureFn
(equal
         (MeasureFn ?NUMBER Centimeter)
         (MeasureFn (MultiplicationFn ?NUMBER 0.01) Meter))
FootUnitOfMeasureEnglish length unit of feetMeasureFn
(equal
         (MeasureFn ?NUMBER Foot)
         (MeasureFn (MultiplicationFn ?NUMBER 0.3048) Meter))
InchUnitOfMeasureEnglish length unit of inchesMeasureFn
(equal
         (MeasureFn ?NUMBER Inch)
         (MeasureFn (MultiplicationFn ?NUMBER 0.0254) Meter))
KilometerUnitOfMeasureMultiple of Meter. Symbol: km. 1 Kilometer = 1000 MetersMeasureFn
(equal
 	(MeasureFn ?NUMBER Kilometer)
 	(MeasureFn (MultiplicationFn ?NUMBER 1000) Meter))
MeterSystemeInternationalUnitSI 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 SecondDurationlength
(equal
 	(MeasureFn ?NUMBER Kilometer)
 	(MeasureFn (MultiplicationFn ?NUMBER 1000) Meter))
MileUnitOfMeasureEnglish length unit of milesMeasureFn
(equal
         (MeasureFn ?NUMBER Mile)
         (MeasureFn (MultiplicationFn ?NUMBER 1609.344) Meter))

Next ConstantQuantity: MassMeasure    Up: ConstantQuantity    Previous ConstantQuantity: InformationMeasure