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

Meter
subjectfact 
Meterdocumentation SI 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 SecondDuration2001-11-30 13:34:43.0
has axiom 
(equal
         (MeasureFn ?NUMBER Angstrom)
         (MeasureFn (MultiplicationFn ?NUMBER 1.0E-10) Meter))
2001-11-30 13:34:43.0
has axiom 
(equal
         (MeasureFn ?NUMBER Centimeter)
         (MeasureFn (MultiplicationFn ?NUMBER 0.01) Meter))
2001-11-30 13:34:43.0
has axiom 
(equal
         (MeasureFn ?NUMBER Foot)
         (MeasureFn (MultiplicationFn ?NUMBER 0.3048) Meter))
2001-11-30 13:34:43.0
has axiom 
(equal
         (MeasureFn ?NUMBER Inch)
         (MeasureFn (MultiplicationFn ?NUMBER 0.0254) Meter))
2001-11-30 13:34:43.0
has axiom 
(equal
         (MeasureFn ?NUMBER Mile)
         (MeasureFn (MultiplicationFn ?NUMBER 1609.344) Meter))
2001-11-30 13:34:43.0
has axiom 
(equal
 	(MeasureFn ?NUMBER Kilometer)
 	(MeasureFn (MultiplicationFn ?NUMBER 1000) Meter))
2001-11-30 13:34:43.0
is an instance of LengthMeasure2001-11-30 13:34:43.0
is an instance of SystemeInternationalUnit2001-11-30 13:34:43.0
LengthMeasureis second domain of length2001-11-30 13:34:35.0
is third domain of distance2001-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