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 2737-2741
No TPTP formula. May not be expressible in strict first order. Merge.kif 2734-2734 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 2735-2735 The number 2 argument of desires is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 2731-2731 desires is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 2730-2730 desires is an instance of propositional attitude
No TPTP formula. May not be expressible in strict first order. Merge.kif 2733-2733 desires is internally related to wants
No TPTP formula. May not be expressible in strict first order. Merge.kif 2732-2732 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 7119-7119 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. Merge.kif 2710-2710 wants is internally related to desires
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19251-19251
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 19250-19250
No TPTP formula. May not be expressible in strict first order. 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 1876-1888

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28919-28931
No TPTP formula. May not be expressible in strict first order. Government.kif 1847-1851
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 702-711
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17782-17791
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 21258-21277
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3461-3475
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 909-917
No TPTP formula. May not be expressible in strict first order. Merge.kif 11988-11993
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12415-12422
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4480-4495
No TPTP formula. May not be expressible in strict first order. Government.kif 2359-2366
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15891-15903
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5413-5424
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3442-3451
No TPTP formula. May not be expressible in strict first order. Merge.kif 10559-10569
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 2260-2266
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 837-845
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 12960-12966
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12613-12623
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 825-830
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