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
-------------------------


s__documentation(s__wants__m,s__ChineseLanguage,'(wants ?AGENT ?OBJECT) 的意思是 ?AGENT 想要 ?OBJECT, 也就是说 ?AGENT 相信 ?OBJECT 会满足它其中一个的意愿。 注:这并不意味着施事体没有它所想要的东西。')

Merge.kif 2946-2947
s__documentation(s__wants__m,s__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
s__domain(s__wants__m,1,s__CognitiveAgent)

Merge.kif 2941-2941
s__domain(s__wants__m,2,s__Physical)

Merge.kif 2942-2942
s__instance(s__wants__m,s__BinaryPredicate)

Merge.kif 2938-2938
s__instance(s__ObjectAttitude,s__SetOrClass)

Merge.kif 2937-2937
s__relatedInternalConcept(s__wants__m,s__desires__m)

Merge.kif 2940-2940
s__subrelation(s__wants__m,s__inScopeOfInterest__m)

Merge.kif 2939-2939

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


s__disjointRelation(s__dislikes__m,s__wants__m)

Mid-level-ontology.kif 7126-7126
s__format(s__ChineseLanguage,s__wants__m,'%1 %n{doesnt} wants %2')

chinese_format.kif 199-199
s__format(s__EnglishLanguage,s__wants__m,'%1 %n{doesnt} want%p{s} %2')

english_format.kif 126-126
s__format(s__FrenchLanguage,s__wants__m,'%1 %n{ne} veut %n{pas} %2')

french_format.kif 119-119
s__format(s__ItalianLanguage,s__wants__m,'%1 %n{non} vuole%p{s} %2')

relations-it.txt 312-312
s__format(s__PortugueseLanguage,s__wants__m,'%1 %n{nao} quer %n %2')

portuguese_format.kif 71-71
s__format(s__ar__m,s__wants__m,'%1 %n{لا} يُرِيد %2')

arabic_format.kif 69-69
s__format(s__cz__m,s__wants__m,'%1 %n{doesnt} want%p{s} %2')

relations-cz.txt 97-97
s__format(s__de__m,s__wants__m,'%1 wuenscht %2 %n{nicht}')

relations-de.txt 255-255
s__format(s__hi__m,s__wants__m,'%1 %2 ko %n{nahiin} chaahataa hai')

relations-hindi.txt 347-347
s__format(s__tg__m,s__wants__m,'%1 mangailangan %2')

relations-tg.txt 504-504
s__relatedInternalConcept(s__desires__m,s__wants__m)

Merge.kif 2964-2964
s__termFormat(s__ChineseLanguage,s__wants__m,'想要')

chinese_format.kif 200-200
s__termFormat(s__EnglishLanguage,s__wants__m,'wants')

domainEnglishFormat.kif 10781-10781
s__termFormat(s__ar__m,s__wants__m,'«يُرِيد»')

arabic_format.kif 519-519

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2954-2959
No TPTP formula. May not be expressible in strict first order. Merge.kif 2949-2952

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27597-27609
No TPTP formula. May not be expressible in strict first order. Law.kif 334-345
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27711-27723
( ∀ [V__AJT,V__A]
   ((s__instance(V__AJT,s__AppraisalAsJustTreatment) ∧
       s__agent(V__AJT,V__A))
   ⇒
   (∃ [V__P,V__A2]
     (s__instance(V__P,s__Process) ∧
       s__refers(V__AJT,V__P)
     ∧
     s__agent(V__P,V__A2)
   ∧
   (¬ (V__A = V__A2))
   ∧
   s__patient(V__P,V__A)

s__wants(V__A,V__P))))
)

emotion.kif 371-383
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10554-10561
( ∀ [V__HELPING,V__AGENT,V__RESULT]
   ((s__instance(V__HELPING,s__Helping) ∧
       s__agent(V__HELPING,V__AGENT)
     ∧
     s__result(V__HELPING,V__RESULT))

(∃ [V__PATIENT]
   ((s__patient(V__HELPING,V__PATIENT)
     ∨
     s__experiencer(V__HELPING,V__PATIENT))

s__wants(V__PATIENT,V__RESULT))))
)

MilitaryProcesses.kif 1407-1417
No TPTP formula. May not be expressible in strict first order. Merge.kif 12752-12757
( ∀ [V__R,V__A]
   ((s__instance(V__R,s__Resigning) ∧
       s__agent(V__R,V__A))
   ⇒
   s__wants(V__A,V__R))
)

Mid-level-ontology.kif 14488-14492
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10750-10760
No TPTP formula. May not be expressible in strict first order. Law.kif 357-367
No TPTP formula. May not be expressible in strict first order. Dining.kif 969-977
( ∀ [V__A,V__AJT]
   (s__attribute(V__A,s__AppraisalAsUnjustTreatment) ⇒
     (∃ [V__P,V__A2]
       (s__instance(V__P,s__Process) ∧
         s__refers(V__AJT,V__P)
       ∧
       s__agent(V__P,V__A2)
     ∧
     (¬ (V__A = V__A2))
     ∧
     s__patient(V__P,V__A)
   ∧
   (¬ s__wants(V__A,V__P)))))
)

emotion.kif 349-360
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27564-27575
( ∀ [V__A,V__B]
   (s__benefits(V__A,V__B)
   ⇒
   s__wants(V__B,V__A))
)

Mid-level-ontology.kif 27695-27697
No TPTP formula. May not be expressible in strict first order. emotion.kif 1027-1038
( ∀ [V__C]
   (s__instance(V__C,s__Congratulating) ⇒
     (∃ [V__P,V__A,V__D]
       (s__destination(V__C,V__D)
       ∧
       s__agent(V__P,V__D)
     ∧
     s__agent(V__C,V__A)
   ∧
   s__wants(V__A,V__P)

s__refers(V__C,V__P))))
)

Mid-level-ontology.kif 10598-10606
( ∀ [V__R]
   (s__instance(V__R,s__Raping) ⇒
     (∃ [V__A]
       (s__experiencer(V__R,V__A)
       ∧
       (¬ s__wants(V__A,V__R)))))
)

Mid-level-ontology.kif 21836-21842
( ∀ [V__AGENT,V__OBJECT]
   (s__needs(V__AGENT,V__OBJECT)
   ⇒
   s__wants(V__AGENT,V__OBJECT))
)

Merge.kif 2933-2935
( ∀ [V__A,V__H]
   (s__punishes(V__A,V__H)
   ⇒
   (∃ [V__O,V__POS,V__PROC]
     (s__occupiesPosition(V__A,V__POS,V__O)
     ∧
     s__agent(V__PROC,V__A)
   ∧
   s__wants(V__O,V__PROC))))
)

Law.kif 172-178
( ∀ [V__A,V__H]
   (s__punishes(V__A,V__H)
   ⇒
   (∃ [V__P]
     (s__agent(V__P,V__H)
     ∧
     (¬ s__wants(V__A,V__P)))))
)

Law.kif 159-165
( ∀ [V__A,V__H]
   (s__rewards(V__A,V__H)
   ⇒
   (∃ [V__O,V__POS,V__PROC]
     (s__occupiesPosition(V__A,V__POS,V__O)
     ∧
     s__agent(V__PROC,V__A)
   ∧
   s__wants(V__O,V__PROC))))
)

Law.kif 128-134
( ∀ [V__A,V__H]
   (s__rewards(V__A,V__H)
   ⇒
   (∃ [V__P]
     (s__agent(V__P,V__H)
     ∧
     s__wants(V__A,V__P))))
)

Law.kif 116-121
( ∀ [V__A,V__B]
   (s__suffers(V__A,V__B)
   ⇒
   (¬ s__wants(V__B,V__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