Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - wants
wants

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1934-1935
No TPTP formula. May not be expressible in strict first order. Merge.kif 2673-2675
No TPTP formula. May not be expressible in strict first order. Merge.kif 2670-2670 The number 1 argument of wants is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. Merge.kif 2671-2671 The number 2 argument of wants is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 2667-2667 wants is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 2666-2666 wants is an instance of object attitude
No TPTP formula. May not be expressible in strict first order. Merge.kif 2669-2669 wants is internally related to desires
No TPTP formula. May not be expressible in strict first order. Merge.kif 2668-2668 wants 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 7108-7108 dislikes and wants are disjoint
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 199-199
No TPTP formula. May not be expressible in strict first order. english_format.kif 203-203
No TPTP formula. May not be expressible in strict first order. Merge.kif 2692-2692 desires is internally related to wants
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 200-200
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62122-62122
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62121-62121

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2682-2687
No TPTP formula. May not be expressible in strict first order. Merge.kif 2677-2680

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 374-387
No TPTP formula. May not be expressible in strict first order. emotion.kif 349-363
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27715-27727
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. Mid-level-ontology.kif 27830-27842
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10587-10594
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1418-1430
No TPTP formula. May not be expressible in strict first order. Merge.kif 11974-11979
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14516-14520
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4151-4161
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10783-10793
No TPTP formula. May not be expressible in strict first order. Law.kif 361-371
No TPTP formula. May not be expressible in strict first order. Dining.kif 965-973
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27682-27693
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27814-27816
No TPTP formula. May not be expressible in strict first order. emotion.kif 1033-1044
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10631-10639
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21911-21917
No TPTP formula. May not be expressible in strict first order. Merge.kif 2662-2664
No TPTP formula. May not be expressible in strict first order. Law.kif 173-179
No TPTP formula. May not be expressible in strict first order. Law.kif 160-166
No TPTP formula. May not be expressible in strict first order. Law.kif 129-135
No TPTP formula. May not be expressible in strict first order. Law.kif 117-122
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27818-27821


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 3.0 is open source software produced by Articulate Software and its partners