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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - desires
desires

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


s__documentation(s__desires__m,s__ChineseLanguage,'"(desires ?AGENT ?FORMULA) 的意思是 ?AGENT 想要 实现 ?FORMULA 所表达的事态。注:这并不意味着施事体想要的东西不能成真。另外要注意的是 desireswants 的区别只在于前者是一个 PropositionalAttitude, 而 wants 是一个 ObjectAttitude。"')

chinese_format.kif 1936-1938
s__documentation(s__desires__m,s__EnglishLanguage,'"(desires ?AGENT ?FORMULA) means that ?AGENT wants to bring about the state of affairs expressed by ?FORMULA. Note that there is no implication that what is desired by the agent is not already true. Note too that desires is distinguished from wants only in that the former is a PropositionalAttitude, while wants is an ObjectAttitude."')

Merge.kif 2692-2696
s__domain(s__desires__m,n__1,s__CognitiveAgent)

Merge.kif 2689-2689 The number 1 argument of desires is an instance of cognitive agent
s__domain(s__desires__m,n__2,s__Formula)

Merge.kif 2690-2690 The number 2 argument of desires is an instance of formula
s__instance(s__desires__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 2686-2686 desires is an instance of binary predicate
s__instance(s__PropositionalAttitude,s__SetOrClass)

s__instance(s__desires__m,s__PropositionalAttitude)

Merge.kif 2685-2685 desires is an instance of propositional attitude
s__relatedInternalConcept(s__desires__m,s__wants__m)

Merge.kif 2688-2688 desires is internally related to wants
s__subrelation(s__desires__m,s__inScopeOfInterest__m)

Merge.kif 2687-2687 desires is a subrelation of in scope of interest

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


s__disjointRelation(s__disapproves__m,s__desires__m)

Mid-level-ontology.kif 7144-7144 disapproves and desires are disjoint
s__format(s__ChineseLanguage,s__desires__m,'"%1 %n{doesnt} desires %2"')

chinese_format.kif 91-91
s__format(s__EnglishLanguage,s__desires__m,'"%1 %n{doesnt} desire%p{s} %2"')

english_format.kif 91-91
s__relatedInternalConcept(s__wants__m,s__desires__m)

Merge.kif 2665-2665 wants is internally related to desires
s__termFormat(s__ChineseLanguage,s__desires__m,'"欲望"')

domainEnglishFormat.kif 19183-19183
s__termFormat(s__ChineseLanguage,s__desires__m,'"渴望"')

chinese_format.kif 92-92
s__termFormat(s__ChineseTraditionalLanguage,s__desires__m,'"慾望"')

domainEnglishFormat.kif 19182-19182
s__termFormat(s__EnglishLanguage,s__desires__m,'"desires"')

domainEnglishFormat.kif 19181-19181

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 332-346
No TPTP formula. May not be expressible in strict first order. Law.kif 524-533
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1857-1869

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27682-27694
No TPTP formula. May not be expressible in strict first order. Government.kif 1804-1808
No TPTP formula. May not be expressible in strict first order. Law.kif 338-349
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 711-720
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16070-16079
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1506-1518
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19574-19593
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3490-3504
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1328-1336
No TPTP formula. May not be expressible in strict first order. Merge.kif 11315-11320
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10560-10567
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4442-4457
No TPTP formula. May not be expressible in strict first order. Government.kif 2303-2310
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3471-3480
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 391-403
No TPTP formula. May not be expressible in strict first order. Government.kif 2217-2222
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1254-1262
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1183-1193
No TPTP formula. May not be expressible in strict first order. Merge.kif 12223-12229
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10756-10766
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1242-1247
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 73-80
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1838-1848
No TPTP formula. May not be expressible in strict first order. Law.kif 361-371
No TPTP formula. May not be expressible in strict first order. Merge.kif 2678-2683

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners