Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - wants
wants

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 2762-2764
(documentation wants JapaneseLanguage "(wants ?AGENT ?OBJECT) とは、?OBJECT が ?AGENT に よって望ましいことを意味する。　つまり、?AGENT は、OBJECT がその目標の1つを満たすと信じている。 注：エージェントが望むものがエージェントによって既に所有されていないという結果はない。") japanese_format.kif 562-564
(domain wants 1 CognitiveAgent) Merge.kif 2759-2759 域 想要, 1 and CognitiveAgent
(domain wants 2 Physical) Merge.kif 2760-2760 域 想要, 2 and Physical
(instance wants BinaryPredicate) Merge.kif 2756-2756 例 想要 and BinaryPredicate
(instance wants ObjectAttitude) Merge.kif 2755-2755 例 想要 and ObjectAttitude
(relatedInternalConcept wants desires) Merge.kif 2758-2758 相關的內部概念 想要 and 慾望
(subrelation wants inScopeOfInterest) Merge.kif 2757-2757 子關係 想要 and 在感興趣的範圍內

appearance as argument number 2
-------------------------


(disjointRelation dislikes wants) Mid-level-ontology.kif 8610-8610 不相交的關係 不喜歡 and 想要
(format ChineseLanguage wants "%1 %n{doesn't} wants %2") chinese_format.kif 199-199 不相交的關係 不喜歡 and 想要
(format EnglishLanguage wants "%1 %n{doesn't} want%p{s} %2") english_format.kif 200-200 不相交的關係 不喜歡 and 想要
(format FrenchLanguage wants "%1 %n{ne} veut %n{pas} %2") french_format.kif 119-119 不相交的關係 不喜歡 and 想要
(format ItalianLanguage wants "%1 %n{non} vuole%p{s} %2") relations-it.txt 312-312 不相交的關係 不喜歡 and 想要
(format JapaneseLanguage wants "%1 は %2 を want%p{s} %n{ない}") japanese_format.kif 1948-1948 不相交的關係 不喜歡 and 想要
(format PortugueseLanguage wants "%1 %n{nao} quer %n %2") portuguese_format.kif 71-71 不相交的關係 不喜歡 and 想要
(format cz wants "%1 %n{doesn't} want%p{s} %2") relations-cz.txt 97-97 不相交的關係 不喜歡 and 想要
(format de wants "%1 wuenscht %2 %n{nicht}") relations-de.txt 255-255 不相交的關係 不喜歡 and 想要
(format hi wants "%1 %2 ko %n{nahiin} chaahataa hai") relations-hindi.txt 347-347 不相交的關係 不喜歡 and 想要
(format ro wants "%1 %n{nu} want%t{doreºte} %2") relations-ro.kif 138-138 不相交的關係 不喜歡 and 想要
(format sv wants "%1 vill %n{inte} ha %2") relations-sv.txt 124-124 不相交的關係 不喜歡 and 想要
(format tg wants "%1 mangailangan %2") relations-tg.txt 504-504 不相交的關係 不喜歡 and 想要
(relatedInternalConcept desires wants) Merge.kif 2781-2781 相關的內部概念 慾望 and 想要
(termFormat ChineseLanguage wants "想要") chinese_format.kif 200-200 相關的內部概念 慾望 and 想要
(termFormat ChineseTraditionalLanguage wants "想要") domainEnglishFormat.kif 62161-62161 相關的內部概念 慾望 and 想要
(termFormat EnglishLanguage wants "wants") domainEnglishFormat.kif 62160-62160 相關的內部概念 慾望 and 想要
(termFormat de wants "wuenscht") terms-de.txt 81-81 相關的內部概念 慾望 and 想要

antecedent
-------------------------


(=>
    (and
        (wants ?AGENT ?OBJ)
        (instance ?OBJ Object))
    (desires ?AGENT
        (possesses ?AGENT ?OBJ)))		 Merge.kif 2771-2776
(=>
    (wants ?AGENT ?OBJ)
    (exists (?PURP)
        (hasPurposeForAgent ?OBJ ?PURP ?AGENT)))		 Merge.kif 2766-2769

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 31172-31184
(=>
    (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 295-306
(=>
    (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 31285-31297
(=>
    (and
        (instance ?EXPRESS ExpressingApproval)
        (agent ?EXPRESS ?AGENT)
        (patient ?EXPRESS ?THING))
    (or
        (wants ?AGENT ?THING)
        (desires ?AGENT ?THING)))		 Mid-level-ontology.kif 14299-14306
(=>
    (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 12990-12995
(=>
    (and
        (instance ?R Resigning)
        (agent ?R ?A))
    (wants ?A ?R))		 Mid-level-ontology.kif 18330-18334
(=>
    (and
        (instance ?S Spamming)
        (result ?S ?SPAM)
        (instance ?S Spam)
        (instance ?H Human)
        (destination ?S ?H))
    (not
        (modalAttribute
            (wants ?H ?SPAM) Likely)))		 ComputingBrands.kif 4210-4220
(=>
    (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 14497-14507
(=>
    (and
        (prosecutor ?P ?A)
        (defendant ?P ?D))
    (desires ?A
        (exists (?L)
            (and
                (instance ?L LegalDecision)
                (refers ?L ?P)
                (not
                    (wants ?D ?L))))))		 Law.kif 318-328
(=>
    (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 5022-5030
(=>
    (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 4995-5007
(=>
    (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 4010-4023
(=>
    (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 31139-31150
(=>
    (benefits ?A ?B)
    (wants ?B ?A))		 Mid-level-ontology.kif 31271-31273
(=>
    (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 4768-4778
(=>
    (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 14344-14352
(=>
    (instance ?R Raping)
    (exists (?A)
        (and
            (experiencer ?R ?A)
            (not
                (wants ?A ?R)))))		 Mid-level-ontology.kif 25758-25764
(=>
    (needs ?AGENT ?OBJECT)
    (wants ?AGENT ?OBJECT))		 Merge.kif 2751-2753
(=>
    (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