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 2699-2703
s__domain(s__desires__m,n__1,s__CognitiveAgent)

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

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

s__instance(s__desires__m,s__PropositionalAttitude)

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

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

Merge.kif 2694-2694 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 6990-6990 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 2672-2672 wants is internally related to desires
s__termFormat(s__ChineseLanguage,s__desires__m,'"欲望"')

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

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

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

domainEnglishFormat.kif 19249-19249

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 28115-28127
No TPTP formula. May not be expressible in strict first order. Government.kif 1836-1840
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 703-712
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16990-16999
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 20452-20471
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3469-3483
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 887-895
No TPTP formula. May not be expressible in strict first order. Merge.kif 11598-11603
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11705-11712
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4488-4503
No TPTP formula. May not be expressible in strict first order. Government.kif 2343-2350
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15138-15150
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5384-5395
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3450-3459
No TPTP formula. May not be expressible in strict first order. Merge.kif 10206-10216
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 2249-2255
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 815-823
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 12544-12550
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11903-11913
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 803-808
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 73-80

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