ji4 qiu2 (desires)
(desires agent formula) means that agent wants
to bring about the state of affairs expressed by formula. Note that there
is no implication that what is desired by the agent is not already true.
Note too that desires is distinguished from wants only in that the former
is a PropositionalAttitude, while wants is an ObjectAttitude.
Ontology
SUMO / BASE-ONTOLOGYClass(es)
Superrelation(s)
Coordinate term(s)
xiang1 xin4
kao3 lv4
zhi1 dao4
Type restrictions
desires(ju4 ren4 zhi1 li4 shi1 shi4 zhe3, SUO-KIFbiao3 shu4 shi4)
Related WordNet synsets
See more related synsets on a separate page.
Axioms (5)
xiang3 yao4 na4 bu4 xiang1 guan1 yu1 ji4 qiu2.
(relatedInternalConcept wants desires)
If agent (bu2) xiang3 yao4not(s) obj, then agent (不) 冀求not(s) "agent (mei2) yong1 you3not(s) obj".
(=>
(wants ?AGENT ?OBJ)
(desires
?AGENT
(possesses ?AGENT ?OBJ)))
ji4 qiu2 na4 bu4 xiang1 guan1 yu1 xiang3 yao4.
(relatedInternalConcept desires wants)
If confine shi4 xian4 ding4 de5 shi2 li4 and person shi4 confine de5 shou4 shi4 zhe3, then person not(不) 冀求(s) "person shi4 confine de5 shou4 shi4 zhe3".
(=>
(and
(instance ?CONFINE Confining)
(patient ?CONFINE ?PERSON))
(not
(desires
?PERSON
(patient ?CONFINE ?PERSON))))
If request shi4 qing3 qiu2 de5 shi2 li4 and request shi4 agent de5 shi1 shi4 zhe3 and formula shi4 request de5 shou4 shi4 zhe3 and formula shi4 SUO-KIFbiao3 shu4 shi4 de5 shi2 li4, then agent (不) 冀求not(s) formula.
(=>
(and
(instance ?REQUEST Requesting)
(agent ?REQUEST ?AGENT)
(patient ?REQUEST ?FORMULA)
(instance ?FORMULA Formula))
(desires ?AGENT ?FORMULA))