| appearance as argument number 1 |
|
| (documentation wants ChineseLanguage "(wants ?AGENT ?OBJECT) 的意思是 ?AGENT 想要 ?OBJECT， 也就是说 ?AGENT 相信 ?OBJECT 会满足它其中一个的意愿。 注：这并不意味着施事体没有它所想要的东西。") | Merge.kif 2959-2960 | |
| (documentation wants EnglishLanguage "(wants ?AGENT ?OBJECT) means that ?OBJECT is desired by ?AGENT, i.e. ?AGENT believes that ?OBJECT will satisfy one of its goals. Note that there is no implication that what is wanted by an agent is not already possessed by the agent.") | Merge.kif 2956-2958 | |
| (domain wants 1 CognitiveAgent) | Merge.kif 2954-2954 | 想要 的 1 数量 是 有认知的主事 的 instance |
| (domain wants 2 Physical) | Merge.kif 2955-2955 | 想要 的 2 数量 是 物理 的 instance |
| (instance wants BinaryPredicate) | Merge.kif 2951-2951 | 想要 是 二元谓语 的 instance |
| (instance wants ObjectAttitude) | Merge.kif 2950-2950 | 想要 是 对象态度 的 instance |
| (relatedInternalConcept wants desires) | Merge.kif 2953-2953 | 想要 和 渴望 是 内部相关 |
| (subrelation wants inScopeOfInterest) | Merge.kif 2952-2952 | 想要 是 感兴趣 的 subrelation |
| appearance as argument number 2 |
|
|
| (disjointRelation dislikes wants) | Mid-level-ontology.kif 7126-7126 | dislikes 和 想要 是 disjoint 关系 |
| (format ChineseLanguage wants "%1 %n{doesn't} wants %2") | chinese_format.kif 199-199 | |
| (format EnglishLanguage wants "%1 %n{doesn't} want%p{s} %2") | english_format.kif 126-126 | |
| (relatedInternalConcept desires wants) | Merge.kif 2977-2977 | 渴望 和 想要 是 内部相关 |
| (termFormat ChineseLanguage wants "想要") | chinese_format.kif 200-200 | termFormat ChineseLanguage, 想要 and "想要" |
| (termFormat EnglishLanguage wants "wants") | domainEnglishFormat.kif 10781-10781 | termFormat EnglishLanguage, 想要 and "wants" |
| antecedent |
|
|
| (=> (and (wants ?AGENT ?OBJ) (instance ?OBJ Object)) (desires ?AGENT (possesses ?AGENT ?OBJ))) |
Merge.kif 2967-2972 | |
| (=> (wants ?AGENT ?OBJ) (exists (?PURP) (hasPurposeForAgent ?OBJ ?PURP ?AGENT))) |
Merge.kif 2962-2965 |
| 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 (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 ?A Apologizing) (agent ?A ?AG) (destination ?A ?P)) (exists (?ACT) (and (suffers ?ACT ?P) (agent ?ACT ?AG) (holdsDuring (WhenFn ?A) (not (wants ?AG ?ACT)))))) |
Mid-level-ontology.kif 27791-27803 | |
| (=> (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 ?HELPING Helping) (agent ?HELPING ?AGENT) (result ?HELPING ?RESULT)) (exists (?PATIENT) (and (or (patient ?HELPING ?PATIENT) (experiencer ?HELPING ?PATIENT)) (wants ?PATIENT ?RESULT)))) |
MilitaryProcesses.kif 1407-1417 | |
| (=> (and (instance ?PURSUE Pursuing) (agent ?PURSUE ?AGENT) (patient ?PURSUE ?OBJ)) (holdsDuring ?PURSUE (wants ?AGENT ?OBJ))) |
Merge.kif 12810-12815 | |
| (=> (and (instance ?R Resigning) (agent ?R ?A)) (wants ?A ?R)) |
Mid-level-ontology.kif 14488-14492 | |
| (=> (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 (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 (subjectiveAttribute ?X Favorite ?AGENT) (instance ?X ?CLASS)) (exists (?Y) (and (not (subjectiveAttribute ?Y Favorite ?AGENT)) (instance ?Y ?CLASS) (prefers ?AGENT (wants ?AGENT ?X) (wants ?AGENT ?Y))))) |
Dining.kif 969-977 | |
| (=> (attribute ?M CoinOperated) (hasPurpose ?M (exists (?C ?FT ?A ?ACT) (and (instance ?C CurrencyCoin) (instance ?FT FinancialTransaction) (destination ?FT ?M) (patient ?FT ?C) (origin ?FT ?A) (causes ?FT ?ACT) (wants ?A ?ACT))))) |
Mid-level-ontology.kif 27644-27655 | |
| (=> (benefits ?A ?B) (wants ?B ?A)) |
Mid-level-ontology.kif 27775-27777 | |
| (=> (instance ?C Congratulating) (exists (?P ?A ?D) (and (destination ?C ?D) (agent ?P ?D) (agent ?C ?A) (wants ?A ?P) (refers ?C ?P)))) |
Mid-level-ontology.kif 10598-10606 | |
| (=> (instance ?R Raping) (exists (?A) (and (experiencer ?R ?A) (not (wants ?A ?R))))) |
Mid-level-ontology.kif 21867-21873 | |
| (=> (needs ?AGENT ?OBJECT) (wants ?AGENT ?OBJECT)) |
Merge.kif 2946-2948 | |
| (=> (punishes ?A ?H) (exists (?O ?POS ?PROC) (and (occupiesPosition ?A ?POS ?O) (agent ?PROC ?A) (wants ?O ?PROC)))) |
Law.kif 172-178 | |
| (=> (punishes ?A ?H) (exists (?P) (and (agent ?P ?H) (not (wants ?A ?P))))) |
Law.kif 159-165 | |
| (=> (rewards ?A ?H) (exists (?O ?POS ?PROC) (and (occupiesPosition ?A ?POS ?O) (agent ?PROC ?A) (wants ?O ?PROC)))) |
Law.kif 128-134 | |
| (=> (rewards ?A ?H) (exists (?P) (and (agent ?P ?H) (wants ?A ?P)))) |
Law.kif 116-121 | |
| (=> (suffers ?A ?B) (not (wants ?B ?A))) |
Mid-level-ontology.kif 27779-27782 |
|
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