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 2779-2781
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 2776-2776 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 2777-2777 The number 2 argument of wants is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 2773-2773 wants is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 2772-2772 wants is an instance of object attitude
No TPTP formula. May not be expressible in strict first order. Merge.kif 2775-2775 wants is internally related to desires
No TPTP formula. May not be expressible in strict first order. Merge.kif 2774-2774 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 8588-8588 dislikes and wants are disjoint
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 199-199 dislikes and wants are disjoint
No TPTP formula. May not be expressible in strict first order. english_format.kif 200-200 dislikes and wants are disjoint
No TPTP formula. May not be expressible in strict first order. french_format.kif 119-119 dislikes and wants are disjoint
No TPTP formula. May not be expressible in strict first order. relations-it.txt 312-312 dislikes and wants are disjoint
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1948-1948 dislikes and wants are disjoint
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 71-71 dislikes and wants are disjoint
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 97-97 dislikes and wants are disjoint
No TPTP formula. May not be expressible in strict first order. relations-de.txt 255-255 dislikes and wants are disjoint
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 347-347 dislikes and wants are disjoint
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 138-138 dislikes and wants are disjoint
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 124-124 dislikes and wants are disjoint
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 504-504 dislikes and wants are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 2798-2798 desires is internally related to wants
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 200-200 desires is internally related to wants
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62132-62132 desires is internally related to wants
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62131-62131 desires is internally related to wants
No TPTP formula. May not be expressible in strict first order. terms-de.txt 81-81 desires is internally related to wants

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2788-2793
No TPTP formula. May not be expressible in strict first order. Merge.kif 2783-2786

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 31426-31438
No TPTP formula. May not be expressible in strict first order. Law.kif 300-311
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31539-31551
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14281-14288
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 13039-13044
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18320-18324
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4205-4215
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14479-14489
No TPTP formula. May not be expressible in strict first order. Law.kif 324-334
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 5044-5052
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5017-5029
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4028-4041
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31393-31404
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31525-31527
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 4790-4800
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14326-14334
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25750-25756
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. 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 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