Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

lambaaI maapa (LengthMeasure)

The Class of ConstantQuantities relating to length.

Ontology

SUMO / UNITS-OF-MEASURE

Superclass(es)

[tree]
astitva
is subclass of
  amUrta  
is subclass of
  parimaaNa  
is subclass of
  bhOtika parimaaNa  
is subclass of
  sthira parimaaNa  
is subclass of
  lambaaI maapa  

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"
space is kind of (all)...   space is kind of...   parts of 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"
length is kind of (all)...   length is kind of...   kinds of length...   kinds of length (all)...   length is an attribute of  
linear measure, long measure
a measure of length
linear measure is kind of (all)...   linear measure is kind of...   kinds of linear measure...   kinds of linear measure (all)...  
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))))