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)

varga

inheritable relation

vibhakti bhUmikaa

direction

Coordinate term(s)

agent destination experiencer origin path patient

Type restrictions

direction(prakriyaa, dishaatmaka visheshataa)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (1)

agar entities in the process proc are moving attr1 during time,
to sab-kuch attr2 ke lie hai, ki: agar entities in the process proc are moving attr2 during time, to attr2 is equal to attr1

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