lagebestimmung (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.

Ontology

SUMO / QUALITIES

Class(es)

Kategorie

inheritable relation

räumliche Relation
is instance of

Kategorie

inheritable relation

dreistellige Prädikat
is instance of

lagebestimmung

Coordinate term(s)

RückseiteFn FrontseiteFn MereologischeDifferenzFn MereologischesProduktFn MereologischeSummeFn HauptwirtFn OberflächeFn WoFn altitude zwischen fähigkeit Abhänigkeitswahrscheinlichkeit konferiertVerpflichtung konferiertRecht angeschlossen schliesstAn depth abstand definitionsbereich definitionsbereichteilkategorie hatZweckFürAgent loch grösser verbindet besetztPosition teil fülltTeilweise befindetSichTeils bevorzugt verwandtesÄusserkonzept stelltDarFürAgent inSpracheDargestellt kleiner zeitlichZwischen zeitlichZwischenOderGleichzeitig überqürt

Type restrictions

orientation(Gegenstand, Gegenstand, Positionsattribut)

Related WordNet synsets

orient, point: be oriented

See more related synsets on a separate page.

Axioms (22)

Wenn das altitude von obj1 ist obj2 , dann obj1 ist above hinsichlich obj2 .

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

Wenn depth(obj1,obj2,depth) gilt, dann obj1 ist below hinsichlich obj2 .

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

Wenn die unterseite von object ist bottom und part ist ein teil von object und part wird an bottom nicht angeschlossen, dann part ist above hinsichlich bottom .

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

Wenn die oberseite von object ist top und part ist ein teil von object und part wird an top nicht angeschlossen, dann part ist below hinsichlich top .

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

Wenn eine seite von object ist side und part ist ein teil von object und part wird an side nicht angeschlossen, dann es gibt ein direct der side ist direct hinsichlich part .

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

Wenn meet ist ein fall von Sitzung und meet ist der agent von agent1 und meet ist der agent von agent2 , dann "agent1 ist near hinsichlich agent2 " hält während "die zeit des Bestehens von meet" .

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

Wenn obj1 ist attr1 hinsichlich obj2 und wird ? entgegengesetzet und attr1 ist ein Mitglied von "()" und attr2 ist ein Mitglied von "()" und attr1 ist gleich attr2 nicht, dann obj1 ist attr2 hinsichlich obj2 nicht.

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

Wenn obj1 ist attr1 hinsichlich obj2 und attr1 ist ein fall von Richtungsattribut und attr2 ist ein fall von Richtungsattribut und attr1 ist gleich attr2 nicht, dann obj1 ist attr2 hinsichlich obj2 nicht.

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

Wenn direct ist ein fall von Richtungsattribut und obj1 ist direct hinsichlich obj2 und obj2 ist direct hinsichlich obj3 , dann obj2 ist zwischen obj1 und obj33 .

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

obj1 ist north hinsichlich obj2 nur wenn obj2 ist south hinsichlich obj1 .

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

obj1 ist east hinsichlich obj2 nur wenn obj2 ist west hinsichlich obj1 .

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

obj1 ist vertical hinsichlich obj2 nur wenn obj2 ist horizontal hinsichlich obj1 .

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

obj1 ist above hinsichlich obj2 nur wenn obj2 ist below hinsichlich obj1 .

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

Wenn obj1 ist above hinsichlich obj2 , dann obj1 wird an obj2 nicht angeschlossen.

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

Wenn obj1 ist below hinsichlich obj2 , dann obj2 ist on hinsichlich obj1 oder obj2 ist above hinsichlich obj1 .

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

Wenn obj1 ist adjacent hinsichlich obj2 , dann obj1 ist near hinsichlich obj2 oder obj1 wird an obj2 angeschlossen.

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

obj1 ist right hinsichlich obj2 nur wenn obj2 ist left hinsichlich obj1 .

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

Wenn obj1 ist near hinsichlich obj2 , dann obj1 wird an obj2 nicht angeschlossen.

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

Wenn obj1 ist near hinsichlich obj2 , dann obj2 ist near hinsichlich obj1 .

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

Wenn obj1 ist on hinsichlich obj2 , dann obj1 wird an obj2 angeschlossen.

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

Wenn obj1 ist on hinsichlich obj2 , dann obj1 befindet sich an .

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

Wenn obj1 ist on hinsichlich obj2 , dann obj2 ist on hinsichlich obj1 nicht.

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