orientation (orientation)

A general Predicate for indicating how two Objects are oriented with respect to one another. For example, (orientation obj1 obj2 North) means that obj1 is north of obj2, and (orientation obj1 obj2 Vertical) means that obj1 is positioned vertically with respect to obj2.

Ontologie

SUMO / QUALITIES

Class(es)

třída

inheritable relation

prostorová relace
is instance of

třída

inheritable relation

predikát se třemi argumenty
is instance of

orientation

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 altitude between capability conditional probability confers obligation confers right connected connects depth distance domain domain subclass has purpose for agent hole larger links occupies position part partially fills partly located prefers related external concept represents for agent represents in language smaller temporally between temporally between or equal traverses

Typy argumentů

orientation(objekt, objekt, poziční atribut)

Related WordNet synsets

orient, point: be oriented

See more related synsets on a separate page.

Axiomy (22)

Jestliže altitude(obj1,obj2,height) platí, potom obj1 je above vzhledem k obj2.

(=>
      (altitude ?OBJ1 ?OBJ2 ?HEIGHT)
      (orientation ?OBJ1 ?OBJ2 Above))

Jestliže depth(obj1,obj2,depth) platí, potom obj1 je below vzhledem k obj2.

(=>
      (depth ?OBJ1 ?OBJ2 ?DEPTH)
      (orientation ?OBJ1 ?OBJ2 Below))

Jestliže bottom(bottom,object) platí a part je částí object a part není spojen s bottom, potom part je above vzhledem k bottom.

(=>
      (and
            (bottom ?BOTTOM ?OBJECT)
            (part ?PART ?OBJECT)
            (not
                  (connected ?PART ?BOTTOM)))
      (orientation ?PART ?BOTTOM Above))

Jestliže top(top,object) platí a part je částí object a part není spojen s top, potom part je below vzhledem k top.

(=>
      (and
            (top ?TOP ?OBJECT)
            (part ?PART ?OBJECT)
            (not
                  (connected ?PART ?TOP)))
      (orientation ?PART ?TOP Below))

Jestliže side(side,object) platí a part je částí object a part není spojen s side, potom existuje direct tak, že side je direct vzhledem k part.

(=>
      (and
            (side ?SIDE ?OBJECT)
            (part ?PART ?OBJECT)
            (not
                  (connected ?PART ?SIDE)))
      (exists
            (?DIRECT)
            (orientation ?SIDE ?PART ?DIRECT)))

Jestliže meet je instancí třídy setkání a agent1 je původcem meet a agent2 je původcem meet, potom agent1 je near vzhledem k agent2 doba existence meet.

(=>
      (and
            (instance ?MEET Meeting)
            (agent ?MEET ?AGENT1)
            (agent ?MEET ?AGENT2))
      (holdsDuring
            (WhenFn ?MEET)
            (orientation ?AGENT1 ?AGENT2 Near)))

Jestliže obj1 je attr1 vzhledem k obj2 a contrary attribute() platí a attr1 je a member of "()" a attr2 je a member of "()" a attr1 se nerovná attr2, potom obj1 není attr2 vzhledem k obj2.

(=>
      (and
            (orientation ?OBJ1 ?OBJ2 ?ATTR1)
            (contraryAttribute @ROW)
            (inList
                  ?ATTR1
                  (ListFn @ROW))
            (inList
                  ?ATTR2
                  (ListFn @ROW))
            (not
                  (equal ?ATTR1 ?ATTR2)))
      (not
            (orientation ?OBJ1 ?OBJ2 ?ATTR2)))

Jestliže obj1 je attr1 vzhledem k obj2 a attr1 je instancí třídy směrový atribut a attr2 je instancí třídy směrový atribut a attr1 se nerovná attr2, potom obj1 není attr2 vzhledem k obj2.

(=>
      (and
            (orientation ?OBJ1 ?OBJ2 ?ATTR1)
            (instance ?ATTR1 DirectionalAttribute)
            (instance ?ATTR2 DirectionalAttribute)
            (not
                  (equal ?ATTR1 ?ATTR2)))
      (not
            (orientation ?OBJ1 ?OBJ2 ?ATTR2)))

Jestliže direct je instancí třídy směrový atribut a obj1 je direct vzhledem k obj2 a obj2 je direct vzhledem k obj3, potom obj2 je mezi obj1 a obj33.

(=>
      (and
            (instance ?DIRECT DirectionalAttribute)
            (orientation ?OBJ1 ?OBJ2 ?DIRECT)
            (orientation ?OBJ2 ?OBJ3 ?DIRECT))
      (between ?OBJ1 ?OBJ2 ?OBJ33))

obj1 je north vzhledem k obj2 tehdy a jen tehdy pokud obj2 je south vzhledem k obj1.

(<=>
      (orientation ?OBJ1 ?OBJ2 North)
      (orientation ?OBJ2 ?OBJ1 South))

obj1 je east vzhledem k obj2 tehdy a jen tehdy pokud obj2 je west vzhledem k obj1.

(<=>
      (orientation ?OBJ1 ?OBJ2 East)
      (orientation ?OBJ2 ?OBJ1 West))

obj1 je vertical vzhledem k obj2 tehdy a jen tehdy pokud obj2 je horizontal vzhledem k obj1.

(<=>
      (orientation ?OBJ1 ?OBJ2 Vertical)
      (orientation ?OBJ2 ?OBJ1 Horizontal))

obj1 je above vzhledem k obj2 tehdy a jen tehdy pokud obj2 je below vzhledem k obj1.

(<=>
      (orientation ?OBJ1 ?OBJ2 Above)
      (orientation ?OBJ2 ?OBJ1 Below))

Jestliže obj1 je above vzhledem k obj2, potom obj1 není spojen s obj2.

(=>
      (orientation ?OBJ1 ?OBJ2 Above)
      (not
            (connected ?OBJ1 ?OBJ2)))

Jestliže obj1 je below vzhledem k obj2, potom obj2 je on vzhledem k obj1 nebo obj2 je above vzhledem k obj1.

(=>
      (orientation ?OBJ1 ?OBJ2 Below)
      (or
            (orientation ?OBJ2 ?OBJ1 On)
            (orientation ?OBJ2 ?OBJ1 Above)))

Jestliže obj1 je adjacent vzhledem k obj2, potom obj1 je near vzhledem k obj2 nebo obj1 je spojen s obj2.

(=>
      (orientation ?OBJ1 ?OBJ2 Adjacent)
      (or
            (orientation ?OBJ1 ?OBJ2 Near)
            (connected ?OBJ1 ?OBJ2)))

obj1 je right vzhledem k obj2 tehdy a jen tehdy pokud obj2 je left vzhledem k obj1.

(<=>
      (orientation ?OBJ1 ?OBJ2 Right)
      (orientation ?OBJ2 ?OBJ1 Left))

Jestliže obj1 je near vzhledem k obj2, potom obj1 není spojen s obj2.

(=>
      (orientation ?OBJ1 ?OBJ2 Near)
      (not
            (connected ?OBJ1 ?OBJ2)))

Jestliže obj1 je near vzhledem k obj2, potom obj2 je near vzhledem k obj1.

(=>
      (orientation ?OBJ1 ?OBJ2 Near)
      (orientation ?OBJ2 ?OBJ1 Near))

Jestliže obj1 je on vzhledem k obj2, potom obj1 je spojen s obj2.

(=>
      (orientation ?OBJ1 ?OBJ2 On)
      (connected ?OBJ1 ?OBJ2))

Jestliže obj1 je on vzhledem k obj2, potom obj1 je located at obj2.

(=>
      (orientation ?OBJ1 ?OBJ2 On)
      (located ?OBJ1 ?OBJ2))

Jestliže obj1 je on vzhledem k obj2, potom obj2 není on vzhledem k obj1.

(=>
      (orientation ?OBJ1 ?OBJ2 On)
      (not
            (orientation ?OBJ2 ?OBJ1 On)))