lambaaI maapa (LengthMeasure)
The Class of ConstantQuantities relating
to length.
Ontology
SUMO / UNITS-OF-MEASURESuperclass(es)
Subclass(es)
meter
centimeter
angstrom
foot
inch
mile
Coordinate term(s)
koNa maapa
kshetraphala maapa
mudraa maapa
sUchnaa maapa
dravyamaana maapa
taapa maapa
samaya maapa
ghanaphala maapa
Constrains relations
speed fn
velocity fn
distance
height
length
Related WordNet synsets
- space
- the unlimited 3-dimensional expanse in which everything is located; "they tested his ability to locate objects in space"
- length
- the linear extent in space from one end to the other; the longest horizontal dimension of something that is fixed in place; "the length of the table was 5 feet"
- linear measure, long measure
- a measure of length
See more related synsets on a separate page.
Axioms (1)
(=>
(larger ?OBJ1 ?OBJ2)
(forall
(?QUANT1 ?QUANT2)
(=>
(and
(measure
?OBJ1
(MeasureFn ?QUANT1 LengthMeasure))
(measure
?OBJ2
(MeasureFn ?QUANT2 LengthMeasure)))
(greaterThan ?QUANT1 ?QUANT2))))