Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Koncept:
Anglické slovo:
Hlavní stránka

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.

Ontologie

SUMO / UNITS-OF-MEASURE

Class(es)

třída
is instance of
  inheritable relation  
is instance of
  relace s jedinou hodnotou  
is instance of
třída
is instance of
  inheritable relation  
is instance of
  prostorová relace  
is instance of
třída
is instance of
  inheritable relation  
is instance of
  predikát se třemi argumenty  
is instance of
is instance of
  distance  

Související termín(y)

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 

Typy argumentů

distance(fyzický objekt, fyzický objekt, délková jednotka)

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.

Axiomy (5)

Jestliže distance(obj1,obj2,quant) platí, potom distance(obj2,obj1,quant) platí. 
(=>
      (distance ?OBJ1 ?OBJ2 ?QUANT)
      (distance ?OBJ2 ?OBJ1 ?QUANT))
Jestliže altitude(obj1,obj2,height) platí, potom existuje top tak, že top(top,obj1) platí a distance(top,obj2,height) platí. 
(=>
      (altitude ?OBJ1 ?OBJ2 ?HEIGHT)
      (exists
            (?TOP)
            (and
                  (top ?TOP ?OBJ1)
                  (distance ?TOP ?OBJ2 ?HEIGHT))))
Jestliže depth(obj1,obj2,depth) platí, potom existuje bottom tak, že bottom(bottom,obj1) platí a distance(bottom,obj2,depth) platí. 
(=>
      (depth ?OBJ1 ?OBJ2 ?DEPTH)
      (exists
            (?BOTTOM)
            (and
                  (bottom ?BOTTOM ?OBJ1)
                  (distance ?BOTTOM ?OBJ2 ?DEPTH))))
width(object,width) platí tehdy a jen tehdy pokud existují side1,side2 tak, že side(side1,object) platí a side(side2,object) platí a distance(side1,side2,width) platí. 
(<=>
      (width ?OBJECT ?WIDTH)
      (exists
            (?SIDE1 ?SIDE2)
            (and
                  (side ?SIDE1 ?OBJECT)
                  (side ?SIDE2 ?OBJECT)
                  (distance ?SIDE1 ?SIDE2 ?WIDTH))))
Jestliže height(object,height) platí a top(top,object) platí a bottom(bottom,object) platí, potom distance(top,bottom,height) platí. 
(=>
      (and
            (height ?OBJECT ?HEIGHT)
            (top ?TOP ?OBJECT)
            (bottom ?BOTTOM ?OBJECT))
      (distance ?TOP ?BOTTOM ?HEIGHT))