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
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 2962-2964
No TPTP formula. May not be expressible in strict first order. Merge.kif 2957-2961
No TPTP formula. May not be expressible in strict first order. Merge.kif 2955-2955 The number 1 argument of desires is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 2956-2956 The number 2 argument of desires is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 2952-2952 desires is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 2951-2951 desires is an instance of propositional attitude
No TPTP formula. May not be expressible in strict first order. Merge.kif 2954-2954 desires is internally related to wants
No TPTP formula. May not be expressible in strict first order. Merge.kif 2953-2953 desires is a subrelation of in scope of interest

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7138-7138 disapproves and desires are disjoint
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 91-91
No TPTP formula. May not be expressible in strict first order. english_format.kif 72-72
No TPTP formula. May not be expressible in strict first order. french_format.kif 68-68
No TPTP formula. May not be expressible in strict first order. relations-it.txt 70-70
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 20-20
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 18-18
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 104-104
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 98-98
No TPTP formula. May not be expressible in strict first order. relations-de.txt 101-101
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 111-111
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 156-156
No TPTP formula. May not be expressible in strict first order. Merge.kif 2930-2930 wants is internally related to desires
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 92-92 "渴望" is the printable form of desires in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3631-3631 "desires" is the printable form of desires in english language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 468-468 "«يَرْغَب فِي»" is the printable form of desires in ar
No TPTP formula. May not be expressible in strict first order. 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 27236-27248
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 1510-1522
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19142-19161
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 12001-12006
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10542-10549
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 394-406
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 13032-13038
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10738-10748
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 2944-2949
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1455-1469
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 865-875
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17216-17222
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