| 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 2764-2766 | |
| (documentation wants JapaneseLanguage "(wants ?AGENT ?OBJECT) とは、?OBJECT が ?AGENT に よって望ましいことを意味する。 つまり、?AGENT は、OBJECT がその目標の1つを満たすと信じている。 注：エージェントが望むものがエージェントによって既に所有されていないという結果はない。") | japanese_format.kif 562-564 | |
| (domain wants 1 CognitiveAgent) | Merge.kif 2761-2761 | wants の数値 1 引数は 認識エージェント の instance では |
| (domain wants 2 Physical) | Merge.kif 2762-2762 | wants の数値 2 引数は 物理 の instance では |
| (instance wants BinaryPredicate) | Merge.kif 2758-2758 | wants は 2進述語 の instance では |
| (instance wants ObjectAttitude) | Merge.kif 2757-2757 | wants は 対象物姿勢 の instance では |
| (relatedInternalConcept wants desires) | Merge.kif 2760-2760 | wants は desires に internally 関連して |
| (subrelation wants inScopeOfInterest) | Merge.kif 2759-2759 | wants は inScopeOfInterest の subrelation では |
| appearance as argument number 2 |
|
|
| (disjointRelation dislikes wants) | Mid-level-ontology.kif 8588-8588 | dislikes と wants は disjoint では |
| (format ChineseLanguage wants "%1 %n{doesn't} wants %2") | chinese_format.kif 199-199 | dislikes と wants は disjoint では |
| (format EnglishLanguage wants "%1 %n{doesn't} want%p{s} %2") | english_format.kif 200-200 | dislikes と wants は disjoint では |
| (format FrenchLanguage wants "%1 %n{ne} veut %n{pas} %2") | french_format.kif 119-119 | dislikes と wants は disjoint では |
| (format ItalianLanguage wants "%1 %n{non} vuole%p{s} %2") | relations-it.txt 312-312 | dislikes と wants は disjoint では |
| (format JapaneseLanguage wants "%1 は %2 を want%p{s} %n{ない}") | japanese_format.kif 1948-1948 | dislikes と wants は disjoint では |
| (format PortugueseLanguage wants "%1 %n{nao} quer %n %2") | portuguese_format.kif 71-71 | dislikes と wants は disjoint では |
| (format cz wants "%1 %n{doesn't} want%p{s} %2") | relations-cz.txt 97-97 | dislikes と wants は disjoint では |
| (format de wants "%1 wuenscht %2 %n{nicht}") | relations-de.txt 255-255 | dislikes と wants は disjoint では |
| (format hi wants "%1 %2 ko %n{nahiin} chaahataa hai") | relations-hindi.txt 347-347 | dislikes と wants は disjoint では |
| (format ro wants "%1 %n{nu} want%t{doreºte} %2") | relations-ro.kif 138-138 | dislikes と wants は disjoint では |
| (format sv wants "%1 vill %n{inte} ha %2") | relations-sv.txt 124-124 | dislikes と wants は disjoint では |
| (format tg wants "%1 mangailangan %2") | relations-tg.txt 504-504 | dislikes と wants は disjoint では |
| (relatedInternalConcept desires wants) | Merge.kif 2783-2783 | desires は wants に internally 関連して |
| (termFormat ChineseLanguage wants "想要") | chinese_format.kif 200-200 | desires は wants に internally 関連して |
| (termFormat ChineseTraditionalLanguage wants "想要") | domainEnglishFormat.kif 62132-62132 | desires は wants に internally 関連して |
| (termFormat EnglishLanguage wants "wants") | domainEnglishFormat.kif 62131-62131 | desires は wants に internally 関連して |
| (termFormat de wants "wuenscht") | terms-de.txt 81-81 | desires は wants に internally 関連して |
| antecedent |
|
|
| (=> (and (wants ?AGENT ?OBJ) (instance ?OBJ Object)) (desires ?AGENT (possesses ?AGENT ?OBJ))) |
Merge.kif 2773-2778 | |
| (=> (wants ?AGENT ?OBJ) (exists (?PURP) (hasPurposeForAgent ?OBJ ?PURP ?AGENT))) |
Merge.kif 2768-2771 |
| 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 ?P2) (and (instance ?H Human) (wants ?H ?C) (desires ?H ?P2) (entails ?P2 (possesses ?H ?C)) (not (equal ?P ?P2))))) |
Mid-level-ontology.kif 31428-31440 | |
| (=> (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 300-311 | |
| (=> (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 31541-31553 | |
| (=> (and (instance ?EXPRESS ExpressingApproval) (agent ?EXPRESS ?AGENT) (patient ?EXPRESS ?THING)) (or (wants ?AGENT ?THING) (desires ?AGENT ?THING))) |
Mid-level-ontology.kif 14281-14288 | |
| (=> (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 1419-1431 | |
| (=> (and (instance ?PURSUE Pursuing) (agent ?PURSUE ?AGENT) (patient ?PURSUE ?OBJ)) (holdsDuring ?PURSUE (wants ?AGENT ?OBJ))) |
Merge.kif 13024-13029 | |
| (=> (and (instance ?R Resigning) (agent ?R ?A)) (wants ?A ?R)) |
Mid-level-ontology.kif 18320-18324 | |
| (=> (and (instance ?S Spamming) (result ?S ?SPAM) (instance ?S Spam) (instance ?H Human) (destination ?S ?H)) (not (modalAttribute (wants ?H ?SPAM) Likely))) |
ComputingBrands.kif 4205-4215 | |
| (=> (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 14479-14489 | |
| (=> (and (prosecutor ?P ?A) (defendant ?P ?D)) (desires ?A (exists (?L) (and (instance ?L LegalDecision) (refers ?L ?P) (not (wants ?D ?L)))))) |
Law.kif 324-334 | |
| (=> (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 1012-1020 | |
| (=> (attribute ?H Anorexia) (exists (?E) (and (instance ?E Eating) (agent ?E ?H) (needs ?H ?E) (not (wants ?H ?E))))) |
Medicine.kif 5044-5052 | |
| (=> (attribute ?H Bulimia) (exists (?E ?P) (and (instance ?E Eating) (or (instance ?P Vomiting) (instance ?P Defecating)) (agent ?P ?H) (wants ?H ?P) (earlier (WhenFn ?E) (WhenFn ?P))))) |
Medicine.kif 5017-5029 | |
| (=> (attribute ?H ObsessiveCompulsiveDisorder) (exists (?COL ?C) (and (memberType ?COL ?C) (or (subclass ?C Investigating) (subclass ?C Cleaning)) (=> (instance ?CI ?C) (and (agent ?CI ?H) (not (wants ?H ?CI))))))) |
Medicine.kif 4028-4041 | |
| (=> (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 31395-31406 | |
| (=> (benefits ?A ?B) (wants ?B ?A)) |
Mid-level-ontology.kif 31527-31529 | |
| (=> (holdsDuring ?T (attribute ?A Fear)) (believes ?A (modalAttribute (exists (?P) (and (not (wants ?A ?P)) (before ?T (WhenFn ?P)))) Likely))) |
emotion.kif 1025-1036 | |
| (=> (holdsDuring ?T (attribute ?H Narcolepsy)) (exists (?S) (and (instance ?S Sleeping) (experiencer ?S ?H) (during (WhenFn ?S) ?T) (not (wants ?H ?S))))) |
Medicine.kif 4790-4800 | |
| (=> (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 14326-14334 | |
| (=> (instance ?R Raping) (exists (?A) (and (experiencer ?R ?A) (not (wants ?A ?R))))) |
Mid-level-ontology.kif 25752-25758 | |
| (=> (needs ?AGENT ?OBJECT) (wants ?AGENT ?OBJECT)) |
Merge.kif 2753-2755 | |
| (=> (punishes ?A ?H) (exists (?O ?POS ?PROC) (and (occupiesPosition ?A ?POS ?O) (agent ?PROC ?A) (wants ?O ?PROC)))) |
Law.kif 160-166 | |
| (=> (punishes ?A ?H) (exists (?P) (and (agent ?P ?H) (not (wants ?A ?P))))) |
Law.kif 147-153 |
|
| 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 3.0 is open source software produced by Articulate Software and its partners