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

altitude (altitude)

A TernaryPredicate that is used to state the distance between the top of an Object and another point that is below the top of the Object (often this other point will be sea level). Note that this Predicate can be used to specify, for example, the height of geographic features, e.g. mountains, the altitude of aircraft, and the orbit of satellites around the Earth.

Ontology

SUMO / UNITS-OF-MEASURE

Class(es)

Classe
is instance of
  inheritable relation  
is instance of
  PredicatoTernario  
is instance of
Classe
is instance of
  inheritable relation  
is instance of
  RelazioneMonovalente  
is instance of
is instance of
  altitude  

Coordinate term(s)

age  between  capability  conditional probability  confers obligation  confers right  connects  date  depth  distance  domain  domain subclass  father  has purpose for agent  links  monetary value  mother  occupies position  orientation  prefers  related external concept  represents for agent  represents in language  temporally between  temporally between or equal  unique identifier  valence  width 

Related WordNet synsets

altitudinal
pertaining to altitude
altitudinal pertains to noun...  

Axioms (2)

Se l' altezza diobj1 é obj2, allora obj1 é above a obj2. 
(=>
      (altitude ?OBJ1 ?OBJ2 ?HEIGHT)
      (orientation ?OBJ1 ?OBJ2 Above))
Se l' altezza diobj1 é obj2, allora esiste top tale che ilvertice obj1 é top e la distanza tra top e obj2 é height. 
(=>
      (altitude ?OBJ1 ?OBJ2 ?HEIGHT)
      (exists
            (?TOP)
            (and
                  (top ?TOP ?OBJ1)
                  (distance ?TOP ?OBJ2 ?HEIGHT))))