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 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 O argumento numero 1 de wants e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order. Merge.kif 2766-2766 O argumento numero 2 de wants e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order. Merge.kif 2762-2762 wants e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Merge.kif 2761-2761 wants e' uma instancia de Atitude em relacao a um Objeto
No TPTP formula. May not be expressible in strict first order. Merge.kif 2764-2764 wants e' relacionado internamente por SUMO a desires
No TPTP formula. May not be expressible in strict first order. Merge.kif 2763-2763 wants e' uma sub-relacao de inScopeOfInterest

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7450-7450 dislikes e wants sao disjuntos
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 e' relacionado internamente por SUMO a 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 62140-62140
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62139-62139
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 29558-29570
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 29671-29683
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12977-12984
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 12931-12936
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16960-16964
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 13175-13185
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 29525-29536
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29657-29659
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 13022-13030
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24161-24167
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 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