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 2669-2671
(domain wants 1 CognitiveAgent) Merge.kif 2666-2666 The number 1 argument of wants is an instance of cognitive agent
(domain wants 2 Physical) Merge.kif 2667-2667 The number 2 argument of wants is an instance of physical
(instance wants BinaryPredicate) Merge.kif 2663-2663 wants is an instance of binary predicate
(instance wants ObjectAttitude) Merge.kif 2662-2662 wants is an instance of object attitude
(relatedInternalConcept wants desires) Merge.kif 2665-2665 wants is internally related to desires
(subrelation wants inScopeOfInterest) Merge.kif 2664-2664 wants is a subrelation of in scope of interest

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


(disjointRelation dislikes wants) Mid-level-ontology.kif 7127-7127 dislikes and wants are 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 desires is internally related to wants
(termFormat ChineseLanguage wants "想要") chinese_format.kif 200-200 "想要" is the printable form of wants in ChineseLanguage
(termFormat ChineseTraditionalLanguage wants "想要") domainEnglishFormat.kif 62082-62082 "想要" is the printable form of wants in ChineseTraditionalLanguage
(termFormat EnglishLanguage wants "wants") domainEnglishFormat.kif 62081-62081 "wants" is the printable form of wants in english language

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 ?AUJ AppraisalAsUnjustTreatment)
        (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-362
(=>
    (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 27670-27682
(=>
    (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 336-347
(=>
    (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 27785-27797
(=>
    (and
        (instance ?AJT AppraisalAsJustTreatment)
        (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 373-385
(=>
    (and
        (instance ?EXPRESS ExpressingApproval)
        (agent ?EXPRESS ?AGENT)
        (patient ?EXPRESS ?THING))
    (or
        (wants ?AGENT ?THING)
        (desires ?AGENT ?THING)))
Mid-level-ontology.kif 10559-10566
(=>
    (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 11818-11823
(=>
    (and
        (instance ?R Resigning)
        (agent ?R ?A))
    (wants ?A ?R))
Mid-level-ontology.kif 14488-14492
(=>
    (and
        (instance ?S Spamming)
        (result ?S ?SPAM)
        (instance ?S Spam)
        (instance ?H Human)
        (destination ?S ?H))
    (not
        (modalAttribute
            (wants ?H ?SPAM) Likely)))
ComputingBrands.kif 4094-4104
(=>
    (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 10755-10765
(=>
    (and
        (prosecutor ?P ?A)
        (defendant ?P ?D))
    (desires ?A
        (exists (?L)
            (and
                (instance ?L LegalDecision)
                (refers ?L ?P)
                (not
                    (wants ?D ?L))))))
Law.kif 359-369
(=>
    (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 27637-27648
(=>
    (benefits ?A ?B)
    (wants ?B ?A))
Mid-level-ontology.kif 27769-27771
(=>
    (holdsDuring ?T
        (attribute ?A Fear))
    (believes ?A
        (modalAttribute
            (exists (?P)
                (and
                    (not
                        (wants ?A ?P))
                    (before ?T
                        (WhenFn ?P)))) Likely)))
emotion.kif 1032-1043
(=>
    (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 10603-10611
(=>
    (instance ?R Raping)
    (exists (?A)
        (and
            (experiencer ?R ?A)
            (not
                (wants ?A ?R)))))
Mid-level-ontology.kif 21868-21874
(=>
    (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 27773-27776


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