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 2778-2782
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 2775-2775 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 2776-2776 The number 2 argument of desires is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 2772-2772 desires is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 2771-2771 desires is an instance of propositional attitude
No TPTP formula. May not be expressible in strict first order. Merge.kif 2774-2774 desires is internally related to wants
No TPTP formula. May not be expressible in strict first order. Merge.kif 2773-2773 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 7406-7406 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 2751-2751 wants is internally related to desires
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19257-19257
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 19256-19256
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19255-19255
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 499-508
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 29612-29624
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 314-325
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. UXExperimentalTerms.kif 1509-1521
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21856-21875
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3494-3508
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 916-924
No TPTP formula. May not be expressible in strict first order. Merge.kif 12103-12108
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12821-12828
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4515-4530
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 16317-16329
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5692-5703
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3474-3484
No TPTP formula. May not be expressible in strict first order. Merge.kif 10649-10659
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 2263-2269
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 844-852
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 13091-13097
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13019-13029
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 832-837
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 1890-1900

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