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 2779-2781
(documentation wants JapaneseLanguage "(wants ?AGENT ?OBJECT) とは、?OBJECT が ?AGENT に よって望ましいことを意味する。 つまり、?AGENT は、OBJECT がその目標の1つを満たすと信じている。 注:エージェントが望むものがエージェントによって既に所有されていないという結果はない。") japanese_format.kif 562-564
(domain wants 1 CognitiveAgent) Merge.kif 2776-2776 想要 的 1 数量 是 有认知的主事instance
(domain wants 2 Physical) Merge.kif 2777-2777 想要 的 2 数量 是 物理instance
(instance wants BinaryPredicate) Merge.kif 2773-2773 想要二元谓语instance
(instance wants ObjectAttitude) Merge.kif 2772-2772 想要对象态度instance
(relatedInternalConcept wants desires) Merge.kif 2775-2775 想要渴望 是 内部相关
(subrelation wants inScopeOfInterest) Merge.kif 2774-2774 想要感兴趣subrelation

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


(disjointRelation dislikes wants) Mid-level-ontology.kif 8588-8588 不喜欢想要disjoint 关系
(format ChineseLanguage wants "%1 %n{doesn't} wants %2") chinese_format.kif 199-199 不喜欢想要disjoint 关系
(format EnglishLanguage wants "%1 %n{doesn't} want%p{s} %2") english_format.kif 200-200 不喜欢想要disjoint 关系
(format FrenchLanguage wants "%1 %n{ne} veut %n{pas} %2") french_format.kif 119-119 不喜欢想要disjoint 关系
(format ItalianLanguage wants "%1 %n{non} vuole%p{s} %2") relations-it.txt 312-312 不喜欢想要disjoint 关系
(format JapaneseLanguage wants "%1 は %2 を want%p{s} %n{ない}") japanese_format.kif 1948-1948 不喜欢想要disjoint 关系
(format PortugueseLanguage wants "%1 %n{nao} quer %n %2") portuguese_format.kif 71-71 不喜欢想要disjoint 关系
(format cz wants "%1 %n{doesn't} want%p{s} %2") relations-cz.txt 97-97 不喜欢想要disjoint 关系
(format de wants "%1 wuenscht %2 %n{nicht}") relations-de.txt 255-255 不喜欢想要disjoint 关系
(format hi wants "%1 %2 ko %n{nahiin} chaahataa hai") relations-hindi.txt 347-347 不喜欢想要disjoint 关系
(format ro wants "%1 %n{nu} want%t{doreºte} %2") relations-ro.kif 138-138 不喜欢想要disjoint 关系
(format sv wants "%1 vill %n{inte} ha %2") relations-sv.txt 124-124 不喜欢想要disjoint 关系
(format tg wants "%1 mangailangan %2") relations-tg.txt 504-504 不喜欢想要disjoint 关系
(relatedInternalConcept desires wants) Merge.kif 2798-2798 渴望想要 是 内部相关
(termFormat ChineseLanguage wants "想要") chinese_format.kif 200-200 渴望想要 是 内部相关
(termFormat ChineseTraditionalLanguage wants "想要") domainEnglishFormat.kif 62132-62132 渴望想要 是 内部相关
(termFormat EnglishLanguage wants "wants") domainEnglishFormat.kif 62131-62131 渴望想要 是 内部相关
(termFormat de wants "wuenscht") terms-de.txt 81-81 渴望想要 是 内部相关

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


(=>
    (and
        (wants ?AGENT ?OBJ)
        (instance ?OBJ Object))
    (desires ?AGENT
        (possesses ?AGENT ?OBJ)))
Merge.kif 2788-2793
(=>
    (wants ?AGENT ?OBJ)
    (exists (?PURP)
        (hasPurposeForAgent ?OBJ ?PURP ?AGENT)))
Merge.kif 2783-2786

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 31426-31438
(=>
    (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 31539-31551
(=>
    (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 13039-13044
(=>
    (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 31393-31404
(=>
    (benefits ?A ?B)
    (wants ?B ?A))
Mid-level-ontology.kif 31525-31527
(=>
    (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 25750-25756
(=>
    (needs ?AGENT ?OBJECT)
    (wants ?AGENT ?OBJECT))
Merge.kif 2768-2770
(=>
    (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