richtung (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)

Kategorie

inheritable relation

Fallrolle

richtung

Coordinate term(s)

agent bestimmungsort experiencer origin pfad patient

Type restrictions

direction(Prozess, Richtungsattribut)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (1)

wenn "Wesen bei proc bewegen attr1" hält während time ,
dann für jeden attr2 gilt: wenn "Wesen bei proc bewegen attr2" hält während time , dann attr2 ist gleich attr1

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