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

Formal Language: 



KB Term:  Term intersection
English Word: 

  wants

Sigma KEE - wants
wants

appearance as argument number 1
-------------------------


(documentation wants ChineseLanguage "(wants ?AGENT ?OBJECT) 的意思是 ?AGENT 想要 ?OBJECT, 也就是说 ?AGENT 相信 ?OBJECT 会满足它其中一个的意愿。 注:这并不意味着施事体没有它所想要的东西。") Merge.kif 2946-2947
(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 2943-2945
(domain wants 1 CognitiveAgent) Merge.kif 2941-2941
(domain wants 2 Physical) Merge.kif 2942-2942
(instance wants BinaryPredicate) Merge.kif 2938-2938
(instance wants ObjectAttitude) Merge.kif 2937-2937
(relatedInternalConcept wants desires) Merge.kif 2940-2940
(subrelation wants inScopeOfInterest) Merge.kif 2939-2939

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


(disjointRelation dislikes wants) Mid-level-ontology.kif 7126-7126
(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 126-126
(format FrenchLanguage wants "%1 %n{ne} veut %n{pas} %2") french_format.kif 119-119
(format ItalianLanguage wants "%1 %n{non} vuole%p{s} %2") relations-it.txt 312-312
(format PortugueseLanguage wants "%1 %n{nao} quer %n %2") portuguese_format.kif 71-71
(format ar wants "%1 %n{لا} يُرِيد %2") arabic_format.kif 69-69
(format cz wants "%1 %n{doesn't} want%p{s} %2") relations-cz.txt 97-97
(format de wants "%1 wuenscht %2 %n{nicht}") relations-de.txt 255-255
(format hi wants "%1 %2 ko %n{nahiin} chaahataa hai") relations-hindi.txt 347-347
(format tg wants "%1 mangailangan %2") relations-tg.txt 504-504
(relatedInternalConcept desires wants) Merge.kif 2964-2964
(termFormat ChineseLanguage wants "想要") chinese_format.kif 200-200
(termFormat EnglishLanguage wants "wants") domainEnglishFormat.kif 10781-10781
(termFormat ar wants "«يُرِيد»") arabic_format.kif 519-519

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


(=>
    (and
        (wants ?AGENT ?OBJ)
        (instance ?OBJ Object))
    (desires ?AGENT
        (possesses ?AGENT ?OBJ)))
Merge.kif 2954-2959
(=>
    (wants ?AGENT ?OBJ)
    (exists (?PURP)
        (hasPurposeForAgent ?OBJ ?PURP ?AGENT)))
Merge.kif 2949-2952

consequent
-------------------------


(=>
    (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 27597-27609
(=>
    (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 334-345
(=>
    (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 27711-27723
(=>
    (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 371-383
(=>
    (and
        (instance ?EXPRESS ExpressingApproval)
        (agent ?EXPRESS ?AGENT)
        (patient ?EXPRESS ?THING))
    (or
        (wants ?AGENT ?THING)
        (desires ?AGENT ?THING)))
Mid-level-ontology.kif 10554-10561
(=>
    (and
        (instance ?HELPING Helping)
        (agent ?HELPING ?AGENT)
        (result ?HELPING ?RESULT))
    (exists (?PATIENT)
        (and
            (or
                (patient ?HELPING ?PATIENT)
                (experiencer ?HELPING ?PATIENT))
            (wants ?PATIENT ?RESULT))))
MilitaryProcesses.kif 1407-1417
(=>
    (and
        (instance ?PURSUE Pursuing)
        (agent ?PURSUE ?AGENT)
        (patient ?PURSUE ?OBJ))
    (holdsDuring ?PURSUE
        (wants ?AGENT ?OBJ)))
Merge.kif 12752-12757
(=>
    (and
        (instance ?R Resigning)
        (agent ?R ?A))
    (wants ?A ?R))
Mid-level-ontology.kif 14488-14492
(=>
    (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 10750-10760
(=>
    (and
        (prosecutor ?P ?A)
        (defendant ?P ?D))
    (desires ?A
        (exists (?L)
            (and
                (instance ?L LegalDecision)
                (refers ?L ?P)
                (not
                    (wants ?D ?L))))))
Law.kif 357-367
(=>
    (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 969-977
(=>
    (attribute ?A AppraisalAsUnjustTreatment)
    (exists (?P ?A2)
        (and
            (instance ?P Process)
            (refers ?AJT ?P)
            (agent ?P ?A2)
            (not
                (equal ?A ?A2))
            (patient ?P ?A)
            (not
                (wants ?A ?P)))))
emotion.kif 349-360
(=>
    (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 27564-27575
(=>
    (benefits ?A ?B)
    (wants ?B ?A))
Mid-level-ontology.kif 27695-27697
(=>
    (holdsDuring ?T
        (attribute ?A Fear))
    (believes ?A
        (modalAttribute
            (exists (?P)
                (and
                    (not
                        (wants ?A ?P))
                    (before ?T
                        (WhenFn ?P)))) Likely)))
emotion.kif 1027-1038
(=>
    (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 10598-10606
(=>
    (instance ?R Raping)
    (exists (?A)
        (and
            (experiencer ?R ?A)
            (not
                (wants ?A ?R)))))
Mid-level-ontology.kif 21836-21842
(=>
    (needs ?AGENT ?OBJECT)
    (wants ?AGENT ?OBJECT))
Merge.kif 2933-2935
(=>
    (punishes ?A ?H)
    (exists (?O ?POS ?PROC)
        (and
            (occupiesPosition ?A ?POS ?O)
            (agent ?PROC ?A)
            (wants ?O ?PROC))))
Law.kif 172-178
(=>
    (punishes ?A ?H)
    (exists (?P)
        (and
            (agent ?P ?H)
            (not
                (wants ?A ?P)))))
Law.kif 159-165
(=>
    (rewards ?A ?H)
    (exists (?O ?POS ?PROC)
        (and
            (occupiesPosition ?A ?POS ?O)
            (agent ?PROC ?A)
            (wants ?O ?PROC))))
Law.kif 128-134
(=>
    (rewards ?A ?H)
    (exists (?P)
        (and
            (agent ?P ?H)
            (wants ?A ?P))))
Law.kif 116-121
(=>
    (suffers ?A ?B)
    (not
        (wants ?B ?A)))
Mid-level-ontology.kif 27699-27702


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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