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

Formal Language: 



KB Term:  Term intersection
English Word: 

  desires

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 7003-7003 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 28216-28228
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 17091-17100
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 20553-20572
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 11806-11813
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 15239-15251
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 12004-12014
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 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 3.0 is open source software produced by Articulate Software and its partners