fang1 xiang4 (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)

zhong3 lei4

ke3 ji4 cheng2 guan1 xi4

ge2 wei4 jue2 se4

fang1 xiang4

Coordinate term(s)

shi1 shi4 zhe3 zhong1 dian3 jing1 yan4 zhe3 qi3 yuan2 lu4 jing4 shou4 shi4 zhe3

Type restrictions

direction(li4 cheng2, fang1 xiang4 shu3 xing4)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (1)

if shi2 ti3 zai4 li4 cheng2 proc zheng4 yi2 dong4 attr1 timea(zhi1 zhong1) time,
then for all attr2 holds: if shi2 ti3 zai4 li4 cheng2 proc zheng4 yi2 dong4 attr2 timea(zhi1 zhong1) time, then attr2 deng3 yu1 attr1

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