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.

Ontologie

SUMO / QUALITIES

Class(es)

třída

inheritable relation

case role

direction

Související termín(y)

agent destination experiencer origin path patient

Typy argumentů

direction(proces, směrový atribut)

Related WordNet synsets

See more related synsets on a separate page.

Axiomy (1)

jestliže direction(proc,attr1) platí během time,
potom pro všechny attr2 platí: jestliže direction(proc,attr2) platí během time, potom attr2 se rovná attr1

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