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 2972-2974
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 2967-2971
s__domain(s__desires__m,1,s__CognitiveAgent)

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

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

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

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

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

Merge.kif 2963-2963 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__format(s__FrenchLanguage,s__desires__m,'%1 %n{ne} desire %n{pas} %2')

french_format.kif 68-68
s__format(s__ItalianLanguage,s__desires__m,'%1 %n{non} desidera%p{s} %2')

relations-it.txt 70-70
s__format(s__PortugueseLanguage,s__desires__m,'%1 %n{nao} deseja %n %2')

portuguese_format.kif 20-20
s__format(s__ar__m,s__desires__m,'%1 %n{لا} يَرْغَب فِي %2')

arabic_format.kif 18-18
s__format(s__cb__m,s__desires__m,'%1 %n kagustuhan %2')

relations-cb.txt 104-104
s__format(s__cz__m,s__desires__m,'%1 %n{doesnt} desire%p{s} %2')

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

relations-de.txt 101-101
s__format(s__hi__m,s__desires__m,'%1 %2 kii ichchha %n{nahiin} karataa hai')

relations-hindi.txt 111-111
s__format(s__tg__m,s__desires__m,'%1 %n gusto %2')

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

Merge.kif 2940-2940 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
s__termFormat(s__ar__m,s__desires__m,'«يَرْغَب فِي»')

arabic_format.kif 468-468 "«يَرْغَب فِي»" is the printable form of desires in ar
s__termFormat(s__tg__m,s__desires__m,'gusto')

relations-tg.txt 157-157 "gusto" is the printable form of desires in tg

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 27597-27609
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 19503-19522
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 12080-12085
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. 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 13111-13117
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. TravelPolicies.kif 499-505
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 2954-2959
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 17517-17523
No TPTP formula. May not be expressible in strict first order. emotion.kif 784-790

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