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

distance (distance)

(distance obj1 obj2 quant) means that the shortest distance between the two objects obj1 and obj2 is quant. Note that the difference between the predicates length and distance is that the length is used to state the LengthMeasure of one of the dimensions of a single object, while distance is used to state the LengthMeasure that separates two distinct objects.

Ontology

SUMO / UNITS-OF-MEASURE

Class(es)

Classe
is instance of
  inheritable relation  
is instance of
  RelazioneMonovalente  
is instance of
Classe
is instance of
  inheritable relation  
is instance of
  RelazioneSpaziale  
is instance of
Classe
is instance of
  inheritable relation  
is instance of
  PredicatoTernario  
is instance of
is instance of
  distance  

Coordinate term(s)

back fn  front fn  mereological difference fn  mereological product fn  mereological sum fn  principal host fn  skin fn  where fn  age  altitude  between  capability  conditional probability  confers obligation  confers right  connected  connects  date  depth  domain  domain subclass  father  has purpose for agent  hole  larger  links  monetary value  mother  occupies position  orientation  part  partially fills  partly located  prefers  related external concept  represents for agent  represents in language  smaller  temporally between  temporally between or equal  traverses  unique identifier  valence  width 

Type restrictions

distance(EntitáConcreta, EntitáConcreta, MisuraDiLunghezza)

Related WordNet synsets

distance, length
a measure of the gap between two places; "the distance from New York to Chicago"; "he determined the length of the shortest line segment joining the two points"
distance is kind of (all)...   distance is kind of...   kinds of distance...   kinds of distance (all)...  
See more related synsets on a separate page.

Axioms (5)

Se la distanza tra obj1 e obj2 é quant, allora la distanza tra obj2 e obj1 é quant. 
(=>
      (distance ?OBJ1 ?OBJ2 ?QUANT)
      (distance ?OBJ2 ?OBJ1 ?QUANT))
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))))
Se depth(obj1,obj2,depth) vale, allora esiste bottom tale che the bottom of obj1 is bottom e la distanza tra bottom e obj2 é depth. 
(=>
      (depth ?OBJ1 ?OBJ2 ?DEPTH)
      (exists
            (?BOTTOM)
            (and
                  (bottom ?BOTTOM ?OBJ1)
                  (distance ?BOTTOM ?OBJ2 ?DEPTH))))
L' ampiezza di object é width se e solo se esiste side1,side2 tale che un lato di object é side1 e un lato di object é side2 e la distanza tra side1 e side2 é width. 
(<=>
      (width ?OBJECT ?WIDTH)
      (exists
            (?SIDE1 ?SIDE2)
            (and
                  (side ?SIDE1 ?OBJECT)
                  (side ?SIDE2 ?OBJECT)
                  (distance ?SIDE1 ?SIDE2 ?WIDTH))))
Se l' altezza di object é height e ilvertice object é top e the bottom of object is bottom, allora la distanza tra top e bottom é height. 
(=>
      (and
            (height ?OBJECT ?HEIGHT)
            (top ?TOP ?OBJECT)
            (bottom ?BOTTOM ?OBJECT))
      (distance ?TOP ?BOTTOM ?HEIGHT))