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 2768-2770
(documentation wants JapaneseLanguage "(wants ?AGENT ?OBJECT) とは、?OBJECT が ?AGENT に よって望ましいことを意味する。　つまり、?AGENT は、OBJECT がその目標の1つを満たすと信じている。 注：エージェントが望むものがエージェントによって既に所有されていないという結果はない。") japanese_format.kif 562-564
(domain wants 1 CognitiveAgent) Merge.kif 2765-2765 The number 1 argument of wants is an instance of cognitive agent
(domain wants 2 Physical) Merge.kif 2766-2766 The number 2 argument of wants is an instance of physical
(instance wants BinaryPredicate) Merge.kif 2762-2762 wants is an instance of binary predicate
(instance wants ObjectAttitude) Merge.kif 2761-2761 wants is an instance of object attitude
(relatedInternalConcept wants desires) Merge.kif 2764-2764 wants is internally related to desires
(subrelation wants inScopeOfInterest) Merge.kif 2763-2763 wants is a subrelation of in scope of interest

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


(disjointRelation dislikes wants) Mid-level-ontology.kif 7641-7641 dislikes and wants are disjoint
(format ChineseLanguage wants "%1 %n{doesn't} wants %2") chinese_format.kif 199-199 dislikes and wants are disjoint
(format EnglishLanguage wants "%1 %n{doesn't} want%p{s} %2") english_format.kif 200-200 dislikes and wants are disjoint
(format FrenchLanguage wants "%1 %n{ne} veut %n{pas} %2") french_format.kif 119-119 dislikes and wants are disjoint
(format ItalianLanguage wants "%1 %n{non} vuole%p{s} %2") relations-it.txt 312-312 dislikes and wants are disjoint
(format JapaneseLanguage wants "%1 は %2 を want%p{s} %n{ない}") japanese_format.kif 1948-1948 dislikes and wants are disjoint
(format PortugueseLanguage wants "%1 %n{nao} quer %n %2") portuguese_format.kif 71-71 dislikes and wants are disjoint
(format cz wants "%1 %n{doesn't} want%p{s} %2") relations-cz.txt 97-97 dislikes and wants are disjoint
(format de wants "%1 wuenscht %2 %n{nicht}") relations-de.txt 255-255 dislikes and wants are disjoint
(format hi wants "%1 %2 ko %n{nahiin} chaahataa hai") relations-hindi.txt 347-347 dislikes and wants are disjoint
(format ro wants "%1 %n{nu} want%t{doreºte} %2") relations-ro.kif 138-138 dislikes and wants are disjoint
(format sv wants "%1 vill %n{inte} ha %2") relations-sv.txt 124-124 dislikes and wants are disjoint
(format tg wants "%1 mangailangan %2") relations-tg.txt 504-504 dislikes and wants are disjoint
(relatedInternalConcept desires wants) Merge.kif 2787-2787 desires is internally related to wants
(termFormat ChineseLanguage wants "想要") chinese_format.kif 200-200 desires is internally related to wants
(termFormat ChineseTraditionalLanguage wants "想要") domainEnglishFormat.kif 62186-62186 desires is internally related to wants
(termFormat EnglishLanguage wants "wants") domainEnglishFormat.kif 62185-62185 desires is internally related to wants
(termFormat de wants "wuenscht") terms-de.txt 81-81 desires is internally related to wants

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


(=>
    (and
        (wants ?AGENT ?OBJ)
        (instance ?OBJ Object))
    (desires ?AGENT
        (possesses ?AGENT ?OBJ)))		 Merge.kif 2777-2782
(=>
    (wants ?AGENT ?OBJ)
    (exists (?PURP)
        (hasPurposeForAgent ?OBJ ?PURP ?AGENT)))		 Merge.kif 2772-2775

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 29791-29803
(=>
    (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 29904-29916
(=>
    (and
        (instance ?EXPRESS ExpressingApproval)
        (agent ?EXPRESS ?AGENT)
        (patient ?EXPRESS ?THING))
    (or
        (wants ?AGENT ?THING)
        (desires ?AGENT ?THING)))		 Mid-level-ontology.kif 13168-13175
(=>
    (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 12931-12936
(=>
    (and
        (instance ?R Resigning)
        (agent ?R ?A))
    (wants ?A ?R))		 Mid-level-ontology.kif 17151-17155
(=>
    (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 13366-13376
(=>
    (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 5037-5045
(=>
    (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 5010-5022
(=>
    (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 4025-4038
(=>
    (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 29758-29769
(=>
    (benefits ?A ?B)
    (wants ?B ?A))		 Mid-level-ontology.kif 29890-29892
(=>
    (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 4783-4793
(=>
    (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 13213-13221
(=>
    (instance ?R Raping)
    (exists (?A)
        (and
            (experiencer ?R ?A)
            (not
                (wants ?A ?R)))))		 Mid-level-ontology.kif 24392-24398
(=>
    (needs ?AGENT ?OBJECT)
    (wants ?AGENT ?OBJECT))		 Merge.kif 2757-2759
(=>
    (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