xiang1 xin4 (believes)

The epistemic predicate of belief. (believes agent formula) means that agent believes the proposition expressed by formula.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

zhong3 lei4

ke3 ji4 cheng2 guan1 xi4

ming4 ti2 tai4 du4

xiang1 xin4

Superrelation(s)

zai4 zhu4 yi4 fan4 wei2 zhong1

xiang1 xin4

Coordinate term(s)

kao3 lv4 ji4 qiu2 zhi1 dao4

Type restrictions

believes(ju4 ren4 zhi1 li4 shi1 shi4 zhe3, SUO-KIFbiao3 shu4 shi4)

Related WordNet synsets

believing: the cognitive process that leads to convictions; "seeing is believing"
credence, acceptance: the mental attitude that something is believable and should be accepted as true; "he gave credence to the gossip"; "acceptance of Newtonian mechanics was unquestioned for 200 years"
believer: a supporter who accepts something as true

See more related synsets on a separate page.

Axioms (5)

If agent (bu2)xiang1 xin4 formula, then there exists time so_that_not agent (bu2) kao3 lv4p{s} formula timea(zhi1 zhong1) time.

(=>
      (believes ?AGENT ?FORMULA)
      (exists
            (?TIME)
            (holdsDuring
                  ?TIME
                  (considers ?AGENT ?FORMULA))))

If agent (bu2zhi1 dao4s) %2, then agent (bu2)xiang1 xin4 formula.

(=>
      (knows ?AGENT ?FORMULA)
      (believes ?AGENT ?FORMULA))

If there exists xue2 xi2 learn so_that_not learn shi4 agent de5 shi1 shi4 zhe3 and prop shi4 learn de5 shou4 shi4 zhe3 timea(zhi1 zhong1) time, then agent (bu2)xiang1 xin4 prop "time bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) time bu4 jiu3 zhi1 hou4.

(=>
      (holdsDuring
            ?TIME
            (exists
                  (?LEARN)
                  (and
                        (instance ?LEARN Learning)
                        (agent ?LEARN ?AGENT)
                        (patient ?LEARN ?PROP))))
      (holdsDuring
            (ImmediateFutureFn ?TIME)
            (believes ?AGENT ?PROP)))

If pretend shi4 wei3 zhuang1 de5 shi2 li4, then there exist person,prop so_that_not pretend you3 yi4 tu2 "person (bu2)xiang1 xin4 prop" and prop &$shi4 zhen1 de5.

(=>
      (instance ?PRETEND Pretending)
      (exists
            (?PERSON ?PROP)
            (and
                  (hasPurpose
                        ?PRETEND
                        (believes ?PERSON ?PROP))
                  (true ?PROP True))))

If state shi4 xu4 shu4 de5 shi2 li4 and state shi4 agent de5 shi1 shi4 zhe3 and formula shi4 state de5 shou4 shi4 zhe3 and formula shi4 SUO-KIFbiao3 shu4 shi4 de5 shi2 li4, then agent (bu2)xiang1 xin4 formula "state cun2 zai4 de5 shi2 jian1"a(zhi1 zhong1) state cun2 zai4 de5 shi2 jian1.

(=>
      (and
            (instance ?STATE Stating)
            (agent ?STATE ?AGENT)
            (patient ?STATE ?FORMULA)
            (instance ?FORMULA Formula))
      (holdsDuring
            (WhenFn ?STATE)
            (believes ?AGENT ?FORMULA)))