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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1936-1938
No TPTP formula. May not be expressible in strict first order. Merge.kif 2791-2795
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 565-568
No TPTP formula. May not be expressible in strict first order. Merge.kif 2788-2788 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 2789-2789 The number 2 argument of desires is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 2785-2785 desires is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 2784-2784 desires is an instance of propositional attitude
No TPTP formula. May not be expressible in strict first order. Merge.kif 2787-2787 desires is internally related to wants
No TPTP formula. May not be expressible in strict first order. Merge.kif 2786-2786 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 7439-7439 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 91-91
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. japanese_format.kif 1894-1894
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. 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-ro.kif 87-87
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 67-67
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 2764-2764 wants is internally related to desires
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19260-19260
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 92-92
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19259-19259
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19258-19258
No TPTP formula. May not be expressible in strict first order. terms-de.txt 28-28
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 157-157

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 336-350
No TPTP formula. May not be expressible in strict first order. Law.kif 480-489
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1876-1888

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29507-29519
No TPTP formula. May not be expressible in strict first order. Government.kif 1850-1854
No TPTP formula. May not be expressible in strict first order. Law.kif 295-306
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 734-743
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2200-2216
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1312-1324
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21776-21795
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3496-3510
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 944-952
No TPTP formula. May not be expressible in strict first order. Merge.kif 12212-12217
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12950-12957
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4517-4532
No TPTP formula. May not be expressible in strict first order. Government.kif 2362-2369
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16447-16459
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5725-5736
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3476-3486
No TPTP formula. May not be expressible in strict first order. Merge.kif 10665-10675
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 313-325
No TPTP formula. May not be expressible in strict first order. Government.kif 2263-2269
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 872-880
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1184-1194
No TPTP formula. May not be expressible in strict first order. Merge.kif 13200-13206
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13148-13158
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 860-865
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 61-68

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