direction (direction)

(direction proc attr) means that the Process proc is moving in the direction attr. For example, one would use this Predicate to represent the fact that Max is moving North.

Ontology

SUMO / QUALITIES

Class(es)

Classe

inheritable relation

RuoloSemantico

direction

Coordinate term(s)

agent destination experiencer origin path patient

Type restrictions

direction(Processo, AttributoDirezionale)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (1)

se "entitá nel processo proc si stanno muovendo verso attr1" vales durante time,
allora per ogni attr2 vale: se "entitá nel processo proc si stanno muovendo verso attr2" vales durante time, allora attr2 is uguale a attr1

(=>
      (holdsDuring
            ?TIME
            (direction ?PROC ?ATTR1))
      (forall
            (?ATTR2)
            (=>
                  (holdsDuring
                        ?TIME
                        (direction ?PROC ?ATTR2))
                  (equal ?ATTR2 ?ATTR1))))