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

inheritable relation

relace s jedinou hodnotou
 třída

inheritable relation

prostorová relace
 třída

inheritable relation

predikát se třemi argumenty

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"

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))```