| appearance as argument number 1 |
|
| (documentation desires ChineseLanguage "(desires ?AGENT ?FORMULA) 的意思是 ?AGENT 想要 实现 ?FORMULA 所表达的事态。注：这并不意味着施事体想要的东西不能成真。另外要注意的是 desires 和 wants 的区别只在于前者是一个 PropositionalAttitude， 而 wants 是一个 ObjectAttitude。") | Merge.kif 2985-2987 | |
| (documentation desires EnglishLanguage "(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.") | Merge.kif 2980-2984 | |
| (domain desires 1 CognitiveAgent) | Merge.kif 2978-2978 | 渴望 的 1 数量 是 有认知的主事 的 instance |
| (domain desires 2 Formula) | Merge.kif 2979-2979 | 渴望 的 2 数量 是 公式 的 instance |
| (instance desires BinaryPredicate) | Merge.kif 2975-2975 | 渴望 是 二元谓语 的 instance |
| (instance desires PropositionalAttitude) | Merge.kif 2974-2974 | 渴望 是 命题态度 的 instance |
| (relatedInternalConcept desires wants) | Merge.kif 2977-2977 | 渴望 和 想要 是 内部相关 |
| (subrelation desires inScopeOfInterest) | Merge.kif 2976-2976 | 渴望 是 感兴趣 的 subrelation |
| appearance as argument number 2 |
|
|
| (disjointRelation disapproves desires) | Mid-level-ontology.kif 7142-7142 | disapproves 和 渴望 是 disjoint 关系 |
| (format ChineseLanguage desires "%1 %n{doesn't} desires %2") | chinese_format.kif 91-91 | |
| (format EnglishLanguage desires "%1 %n{doesn't} desire%p{s} %2") | english_format.kif 72-72 | |
| (relatedInternalConcept wants desires) | Merge.kif 2953-2953 | 想要 和 渴望 是 内部相关 |
| (termFormat ChineseLanguage desires "渴望") | chinese_format.kif 92-92 | termFormat ChineseLanguage, 渴望 and "渴望" |
| (termFormat EnglishLanguage desires "desires") | domainEnglishFormat.kif 3631-3631 | termFormat EnglishLanguage, 渴望 and "desires" |
| antecedent |
|
|
| (=> (and (holdsDuring ?T (desires ?M (attribute ?V Dead))) (instance ?MURDER Murder) (agent ?MURDER ?M) (patient ?MURDER ?V) (earlier ?T (WhenFn ?MURDER))) (attribute ?MURDER Premeditated)) |
Law.kif 520-529 | |
| (=> (and (instance ?DIO DefensiveInformationOperation) (agent ?DIO ?AGENT) (enemy ?AGENT ?ENEMY) (desires ?ENEMY (knows ?ENEMY ?FORMULA)) (desires ?AGENT (not (knows ?ENEMY ?FORMULA)))) (hasPurpose ?DIO (not (knows ?ENEMY ?FORMULA)))) |
MilitaryProcesses.kif 1844-1856 |
|
| consequent |
|
|
| (=> (and (attribute ?C Collectible) (hasPurpose ?C ?P)) (exists (?H) (and (instance ?H Human) (wants ?H ?C) (desires ?H ?P2) (entails ?P2 (possesses ?H ?C)) (not (equal ?P ?P2))))) |
Mid-level-ontology.kif 27677-27689 | |
| (=> (and (candidateForPosition ?ELECTION ?POSITION ?CONTENDER) (agent ?ELECTION ?AGENT)) (desires ?CONTENDER (occupiesPosition ?CONTENDER ?POSITION ?AGENT))) |
Government.kif 1810-1814 | |
| (=> (and (defenseLawyer ?P ?A) (defendant ?P ?D)) (desires ?A (not (exists (?L) (and (instance ?L LegalDecision) (refers ?L ?P) (not (wants ?D ?L))))))) |
Law.kif 334-345 |
|
| (=> (and (instance ?ATC AddToCart) (instance ?USER Agent) (instance ?OBJ Object) (agent ?ATC ?USER) (patient ?ATC ?OBJ)) (desires ?AGENT (exists (?BUYING) (and (instance ?BUYING Buying) (patient ?BUYING ?OBJ) (agent ?BUYING ?USER))))) |
UXExperimentalTerms.kif 1509-1521 | |
| (=> (and (instance ?B Blockade) (instance ?C Contest) (subProcess ?B ?C) (contestParticipant ?C ?A1) (agent ?B ?A1)) (exists (?C1 ?A2) (and (prevents ?C1 Translocation) (instance ?B ?C1) (contestParticipant ?C ?A2) (not (equal ?A1 ?A2)) (desires ?A2 (exists (?I) (and (instance ?I ?C1) (agent ?I ?A1) (subProcess ?I ?C))))))) |
Mid-level-ontology.kif 19561-19580 |
|
| (=> (and (instance ?CLUB Club) (member ?MEM1 ?CLUB) (member ?MEM2 ?CLUB)) (exists (?DESIRE) (and (desires ?MEM1 ?DESIRE) (desires ?MEM2 ?DESIRE)))) |
Mid-level-ontology.kif 1333-1341 | |
| (=> (and (instance ?CONFINE Confining) (patient ?CONFINE ?PERSON) (instance ?PERSON Human)) (not (desires ?PERSON (patient ?CONFINE ?PERSON)))) |
Merge.kif 12138-12143 | |
| (=> (and (instance ?EXPRESS ExpressingApproval) (agent ?EXPRESS ?AGENT) (patient ?EXPRESS ?THING)) (or (wants ?AGENT ?THING) (desires ?AGENT ?THING))) |
Mid-level-ontology.kif 10554-10561 | |
| (=> (and (instance ?GROUP PoliticalPressureGroup) (hasPurpose ?GROUP ?FORMULA) (agentOperatesInArea ?GROUP ?AREA) (instance ?AREA Nation)) (desires ?GROUP (believes (GovernmentFn ?AREA) ?FORMULA))) |
Government.kif 2309-2316 | |
| (=> (and (instance ?LISTING WebListing) (instance ?ITEM Object) (instance ?CREATOR Agent) (attribute ?LISTING AuctionAttribute) (patient ?ITEM ?LISTING) (creator ?CREATOR ?LISTING)) (desires ?CREATOR (exists (?AUCTION) (and (instance ?AUCTION Auctioning) (patient ?AUCTION ?ITEM))))) |
UXExperimentalTerms.kif 393-405 | |
| (=> (and (instance ?P CommunistParty) (member ?M ?P) (instance ?A GeopoliticalArea)) (desires ?M (governmentType ?A CommunistState))) |
Government.kif 2223-2228 |
|
| (=> (and (instance ?P Punishing) (agent ?P ?A) (patient ?P ?F) (destination ?P ?D)) (knows ?A (not (desires ?D ?F)))) |
Mid-level-ontology.kif 1259-1267 | |
| (=> (and (instance ?PSYOP PsychologicalOperation) (agent ?PSYOP ?AGENT) (patient ?PSYOP ?TARGET)) (hasPurpose ?PSYOP (exists (?PROCESS ?RESULT) (and (agent ?PROCESS ?TARGET) (result ?PROCESS ?RESULT) (desires ?AGENT ?RESULT))))) |
MilitaryProcesses.kif 1172-1182 | |
| (=> (and (instance ?REQUEST Requesting) (agent ?REQUEST ?AGENT) (patient ?REQUEST ?FORMULA) (instance ?FORMULA Formula)) (desires ?AGENT ?FORMULA)) |
Merge.kif 13169-13175 | |
| (=> (and (instance ?THANK Thanking) (agent ?THANK ?AGENT) (patient ?THANK ?THING) (destination ?THANK ?PERSON)) (and (instance ?PERSON Human) (or (holdsDuring (WhenFn ?THANK) (wants ?AGENT ?THING)) (holdsDuring (WhenFn ?THANK) (desires ?AGENT ?THING))))) |
Mid-level-ontology.kif 10750-10760 | |
| (=> (and (instance ?THREATEN Threatening) (agent ?THREATEN ?AGENT) (patient ?THREATEN ?PROP) (destination ?THREATEN ?DEST)) (not (desires ?DEST ?PROP))) |
Mid-level-ontology.kif 1246-1252 | |
| (=> (and (listingSeller ?LISTING ?AGENT) (instance ?OBJ Object) (patient ?LISTING ?OBJ)) (desires ?AGENT (exists (?SELLING) (patient ?SELLING ?OBJ)))) |
UXExperimentalTerms.kif 73-80 |
|
| (=> (and (parent ?CHILD ?PARENT) (or (instance ?CHILD HumanChild) (instance ?CHILD HumanBaby))) (modalAttribute (exists (?CARE) (and (instance ?CARE ChildCareService) (desires ?PARENT ?CARE))) Possibility)) |
Hotel.kif 1834-1844 | |
| (=> (and (prosecutor ?P ?A) (defendant ?P ?D)) (desires ?A (exists (?L) (and (instance ?L LegalDecision) (refers ?L ?P) (not (wants ?D ?L)))))) |
Law.kif 357-367 |
|
| (=> (and (wants ?AGENT ?OBJ) (instance ?OBJ Object)) (desires ?AGENT (possesses ?AGENT ?OBJ))) |
Merge.kif 2967-2972 | |
| (=> (and (watchingListings ?USER ?COLL ?SITE) (instance ?LISTING WebListing) (instance ?OBJ Object) (patient ?LISTING ?OBJ) (member ?LISTING ?COLL)) (modalAttribute (desires ?USER (exists (?BUYING) (and (instance ?BUYING Buying) (patient ?BUYING ?OBJ) (agent ?BUYING ?USER)))) Likely)) |
UXExperimentalTerms.kif 1454-1468 | |
| (=> (and (webcart ?USER ?COLL ?SITE) (instance ?OBJ Object) (member ?OBJ ?COLL)) (desires ?USER (exists (?BUYING) (and (instance ?BUYING Buying) (patient ?BUYING ?OBJ) (agent ?BUYING ?USER))))) |
UXExperimentalTerms.kif 864-874 | |
| (=> (attribute ?A Hungry) (desires ?A (exists (?E) (and (instance ?E Eating) (agent ?E ?A))))) |
Mid-level-ontology.kif 17575-17581 | |
| (=> (attribute ?A Thirsty) (desires ?A (exists (?D) (and (instance ?D Drinking) (agent ?D ?A))))) |
Mid-level-ontology.kif 17588-17594 | |
| (=> (attribute ?X PoliticalFigure) (exists (?GOV) (and (instance ?GOV Government) (or (member ?X ?GOV) (desires ?X (member ?X ?GOV)))))) |
Mid-level-ontology.kif 20404-20412 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners