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。')

Merge.kif 2985-2987
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 2980-2984
s__domain(s__desires__m,1,s__CognitiveAgent)

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

Merge.kif 2979-2979 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 2975-2975 desires is an instance of binary predicate
s__instance(s__PropositionalAttitude,s__SetOrClass)

s__instance(s__desires__m,s__PropositionalAttitude)

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

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

Merge.kif 2976-2976 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 7142-7142 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 72-72
s__relatedInternalConcept(s__wants__m,s__desires__m)

Merge.kif 2953-2953 wants is internally related to desires
s__termFormat(s__ChineseLanguage,s__desires__m,'渴望')

chinese_format.kif 92-92 "渴望" is the printable form of desires in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__desires__m,'desires')

domainEnglishFormat.kif 3631-3631 "desires" is the printable form of desires in english language

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


No TPTP formula. May not be expressible in strict first order. Law.kif 520-529
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1844-1856

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27677-27689
No TPTP formula. May not be expressible in strict first order. Government.kif 1810-1814
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. UXExperimentalTerms.kif 1509-1521
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19561-19580
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3297-3311
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1333-1341
No TPTP formula. May not be expressible in strict first order. Merge.kif 12138-12143
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10554-10561
No TPTP formula. May not be expressible in strict first order. Government.kif 2309-2316
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3278-3287
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 393-405
No TPTP formula. May not be expressible in strict first order. Government.kif 2223-2228
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1259-1267
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1172-1182
No TPTP formula. May not be expressible in strict first order. Merge.kif 13169-13175
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. Mid-level-ontology.kif 1246-1252
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 1834-1844
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. Merge.kif 2967-2972
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1454-1468
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 864-874
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17575-17581

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