方向 (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)

種類

可繼承關係

格位角色

方向

Coordinate term(s)

施事者終點經驗者起源路徑受事者

Type restrictions

direction(歷程, 方向屬性)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (1)

if 實體在歷程 proc 正移動 attr1 timea(之中) time,
then for all attr2 holds: if 實體在歷程 proc 正移動 attr2 timea(之中) time, then attr2 等於 attr1

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