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

Formal Language: 



KB Term:  Term intersection
English Word: 

  wants

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 2768-2770
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 562-564
No TPTP formula. May not be expressible in strict first order. Merge.kif 2765-2765 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 2766-2766 The number 2 argument of wants is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 2762-2762 wants is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 2761-2761 wants is an instance of object attitude
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. Merge.kif 2763-2763 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 7423-7423 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 200-200
No TPTP formula. May not be expressible in strict first order. french_format.kif 119-119
No TPTP formula. May not be expressible in strict first order. relations-it.txt 312-312
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1948-1948
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 71-71
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 97-97
No TPTP formula. May not be expressible in strict first order. relations-de.txt 255-255
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 347-347
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 138-138
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 124-124
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 504-504
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. chinese_format.kif 200-200
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62138-62138
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62137-62137
No TPTP formula. May not be expressible in strict first order. terms-de.txt 81-81

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2777-2782
No TPTP formula. May not be expressible in strict first order. Merge.kif 2772-2775

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 29507-29519
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. Mid-level-ontology.kif 29620-29632
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. MilitaryProcesses.kif 1419-1431
No TPTP formula. May not be expressible in strict first order. Merge.kif 12885-12890
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16933-16937
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4210-4220
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. Law.kif 318-328
No TPTP formula. May not be expressible in strict first order. Dining.kif 1012-1020
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5037-5045
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5010-5022
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4025-4038
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29474-29485
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29606-29608
No TPTP formula. May not be expressible in strict first order. emotion.kif 1025-1036
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4783-4793
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12995-13003
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24104-24110
No TPTP formula. May not be expressible in strict first order. Merge.kif 2757-2759
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 147-153

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