SUMO   View all facts   Glossary   Help

Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > LengthMeasure

LengthMeasure
subject			fact

LengthMeasure	documentation The Class of ConstantQuantities relating to length
	has axiom (=> (larger ?OBJ1 ?OBJ2) (forall (?QUANT1 ?QUANT2) (=> (and (measure ?OBJ1 (MeasureFn ?QUANT1 LengthMeasure)) (measure ?OBJ2 (MeasureFn ?QUANT2 LengthMeasure))) (greaterThan ?QUANT1 ?QUANT2))))
	is second domain of length
	is third domain of distance
	is a kind of ConstantQuantity
ConstantQuantity	is first domain of MagnitudeFn
PhysicalQuantity	is partitioned into ConstantQuantity, FunctionQuantity
Abstract	is disjoint from Physical

Kinds of LengthMeasure :

• Angstrom (4 facts) - The Angstrom is a LengthMeasure. 1 Angstrom = 10^(-10)
• Centimeter (4 facts) - Submultiple of Meter. Symbol: cm. It is the 100th part of a Mete
• Foot (4 facts) - English length unit of feet
• Inch (4 facts) - English length unit of inches
• Kilometer (4 facts) - Multiple of Meter. Symbol: km. 1 Kilometer = 1000 Meters
• Meter (9 facts) - 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 SecondDuration
• Mile (4 facts) - English length unit of miles