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)

class

inheritable relation

case role

direction

Coordinate term(s)

agent destination experiencer origin path patient

Type restrictions

direction(process, directional attribute)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (1)

if entities in the process proc are moving attr1 during time,
then for all attr2 holds: if entities in the process proc are moving attr2 during time, then attr2 is equal to attr1

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