| appearance as argument number 1 |
|
| (documentation wants ChineseLanguage "(wants ?AGENT ?OBJECT) 的意思是 ?AGENT 想要 ?OBJECT， 也就是说 ?AGENT 相信 ?OBJECT 会满足它其中一个的意愿。 注：这并不意味着施事体没有它所想要的东西。") | chinese_format.kif 1934-1935 | |
| (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 2669-2671 | |
| (domain wants 1 CognitiveAgent) | Merge.kif 2666-2666 | 想要 的 1 数量 是 有认知的主事 的 instance |
| (domain wants 2 Physical) | Merge.kif 2667-2667 | 想要 的 2 数量 是 物理 的 instance |
| (instance wants BinaryPredicate) | Merge.kif 2663-2663 | 想要 是 二元谓语 的 instance |
| (instance wants ObjectAttitude) | Merge.kif 2662-2662 | 想要 是 对象态度 的 instance |
| (relatedInternalConcept wants desires) | Merge.kif 2665-2665 | 想要 和 渴望 是 内部相关 |
| (subrelation wants inScopeOfInterest) | Merge.kif 2664-2664 | 想要 是 感兴趣 的 subrelation |
| appearance as argument number 2 |
|
|
| (disjointRelation dislikes wants) | Mid-level-ontology.kif 7128-7128 | 不喜欢 和 想要 是 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 203-203 | |
| (relatedInternalConcept desires wants) | Merge.kif 2688-2688 | 渴望 和 想要 是 内部相关 |
| (termFormat ChineseLanguage wants "想要") | chinese_format.kif 200-200 | |
| (termFormat ChineseTraditionalLanguage wants "想要") | domainEnglishFormat.kif 62025-62025 | |
| (termFormat EnglishLanguage wants "wants") | domainEnglishFormat.kif 62024-62024 |
| antecedent |
|
|
| (=> (and (wants ?AGENT ?OBJ) (instance ?OBJ Object)) (desires ?AGENT (possesses ?AGENT ?OBJ))) |
Merge.kif 2678-2683 | |
| (=> (wants ?AGENT ?OBJ) (exists (?PURP) (hasPurposeForAgent ?OBJ ?PURP ?AGENT))) |
Merge.kif 2673-2676 |
| consequent |
|
|
| (=> (and (attribute ?A AppraisalAsJustTreatment) (instance ?AJT AppraisalProcess) (agent ?AJT ?A)) (exists (?P ?A2) (and (instance ?P Process) (refers ?AJT ?P) (agent ?P ?A2) (not (equal ?A ?A2)) (patient ?P ?A) (wants ?A ?P)))) |
emotion.kif 374-387 |
|
| (=> (and (attribute ?A AppraisalAsUnjustTreatment) (instance ?AUJ AppraisalProcess) (agent ?AUJ ?A)) (exists (?P ?A2) (and (instance ?P Process) (refers ?AUJ ?P) (agent ?P ?A2) (not (equal ?A ?A2)) (patient ?P ?A) (not (wants ?A ?P))))) |
emotion.kif 349-363 |
|
| (=> (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 27682-27694 | |
| (=> (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 338-349 | |
| (=> (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 27797-27809 | |
| (=> (and (instance ?EXPRESS ExpressingApproval) (agent ?EXPRESS ?AGENT) (patient ?EXPRESS ?THING)) (or (wants ?AGENT ?THING) (desires ?AGENT ?THING))) |
Mid-level-ontology.kif 10560-10567 | |
| (=> (and (instance ?HELPING Helping) (agent ?HELPING ?AGENT) (result ?HELPING ?RESULT)) (exists (?PATIENT) (and (not (equal ?AGENT ?PATIENT)) (or (patient ?HELPING ?PATIENT) (experiencer ?HELPING ?PATIENT)) (wants ?PATIENT ?RESULT)))) |
MilitaryProcesses.kif 1418-1430 | |
| (=> (and (instance ?PURSUE Pursuing) (agent ?PURSUE ?AGENT) (patient ?PURSUE ?OBJ)) (holdsDuring ?PURSUE (wants ?AGENT ?OBJ))) |
Merge.kif 11909-11914 | |
| (=> (and (instance ?R Resigning) (agent ?R ?A)) (wants ?A ?R)) |
Mid-level-ontology.kif 14489-14493 | |
| (=> (and (instance ?S Spamming) (result ?S ?SPAM) (instance ?S Spam) (instance ?H Human) (destination ?S ?H)) (not (modalAttribute (wants ?H ?SPAM) Likely))) |
ComputingBrands.kif 4135-4145 | |
| (=> (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 10756-10766 | |
| (=> (and (prosecutor ?P ?A) (defendant ?P ?D)) (desires ?A (exists (?L) (and (instance ?L LegalDecision) (refers ?L ?P) (not (wants ?D ?L)))))) |
Law.kif 361-371 | |
| (=> (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 965-973 | |
| (=> (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 27649-27660 | |
| (=> (benefits ?A ?B) (wants ?B ?A)) |
Mid-level-ontology.kif 27781-27783 | |
| (=> (holdsDuring ?T (attribute ?A Fear)) (believes ?A (modalAttribute (exists (?P) (and (not (wants ?A ?P)) (before ?T (WhenFn ?P)))) Likely))) |
emotion.kif 1033-1044 | |
| (=> (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 10604-10612 | |
| (=> (instance ?R Raping) (exists (?A) (and (experiencer ?R ?A) (not (wants ?A ?R))))) |
Mid-level-ontology.kif 21880-21886 | |
| (=> (needs ?AGENT ?OBJECT) (wants ?AGENT ?OBJECT)) |
Merge.kif 2658-2660 | |
| (=> (punishes ?A ?H) (exists (?O ?POS ?PROC) (and (occupiesPosition ?A ?POS ?O) (agent ?PROC ?A) (wants ?O ?PROC)))) |
Law.kif 173-179 | |
| (=> (punishes ?A ?H) (exists (?P) (and (agent ?P ?H) (not (wants ?A ?P))))) |
Law.kif 160-166 | |
| (=> (rewards ?A ?H) (exists (?O ?POS ?PROC) (and (occupiesPosition ?A ?POS ?O) (agent ?PROC ?A) (wants ?O ?PROC)))) |
Law.kif 129-135 | |
| (=> (rewards ?A ?H) (exists (?P) (and (agent ?P ?H) (wants ?A ?P)))) |
Law.kif 117-122 | |
| (=> (suffers ?A ?B) (not (wants ?B ?A))) |
Mid-level-ontology.kif 27785-27788 |
|
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