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.

Ontology

SUMO / QUALITIES

Class(es)

Classe

inheritable relation

RelazioneSpaziale
is instance of

Classe

inheritable relation

PredicatoTernario
is instance of

orientation

Coordinate term(s)

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

Type restrictions

orientation(Oggetto, Oggetto, AttributoPosizionale)

Related WordNet synsets

orient, point: be oriented

See more related synsets on a separate page.

Axioms (22)

Se l' altezza diobj1 é obj2, allora obj1 é above a obj2.

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

Se depth(obj1,obj2,depth) vale, allora obj1 é below a obj2.

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

Se the bottom of object is bottom e part é una parte di object e part é not connesso a bottom, allora part é above a bottom.

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

Se ilvertice object é top e part é una parte di object e part é not connesso a top, allora part é below a top.

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

Se un lato di object é side e part é una parte di object e part é not connesso a side, allora esiste direct tale che side é direct a part.

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

Se meet é un' istanza di Incontro e meet é un agente di agent1 e meet é un agente di agent2, allora "agent1 é near a agent2" vales durante "il tempo di esistenza di meet".

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

Se obj1 é attr1 a obj2 e é opposto a ? e attr1 é un é membro di "(" e attr2 é un é membro di "(" e attr1 is not uguale a attr2, allora obj1 é not attr2 a 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)))

Se obj1 é attr1 a obj2 e attr1 é un' istanza di AttributoDirezionale e attr2 é un' istanza di AttributoDirezionale e attr1 is not uguale a attr2, allora obj1 é not attr2 a obj2.

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

Se direct é un' istanza di AttributoDirezionale e obj1 é direct a obj2 e obj2 é direct a obj3, allora obj2 is between obj1 and obj33.

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

obj1 é north a obj2 se e solo se obj2 é south a obj1.

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

obj1 é east a obj2 se e solo se obj2 é west a obj1.

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

obj1 é vertical a obj2 se e solo se obj2 é horizontal a obj1.

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

obj1 é above a obj2 se e solo se obj2 é below a obj1.

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

Se obj1 é above a obj2, allora obj1 é not connesso a obj2.

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

Se obj1 é below a obj2, allora obj2 é on a obj1 o obj2 é above a obj1.

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

Se obj1 é adjacent a obj2, allora obj1 é near a obj2 o obj1 é connesso a obj2.

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

obj1 é right a obj2 se e solo se obj2 é left a obj1.

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

Se obj1 é near a obj2, allora obj1 é not connesso a obj2.

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

Se obj1 é near a obj2, allora obj2 é near a obj1.

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

Se obj1 é on a obj2, allora obj1 é connesso a obj2.

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

Se obj1 é on a obj2, allora obj1 é localizzato in obj2.

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

Se obj1 é on a obj2, allora obj2 é not on a obj1.

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