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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Awake
Awake(Acordado)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 4045-4046
No TPTP formula. May not be expressible in strict first order. Merge.kif 18420-18421
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1040-1040
No TPTP formula. May not be expressible in strict first order. Merge.kif 18419-18419 Acordado e' uma instancia de Atributo de Consciencia

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18414-18414 Inconsciente e' &o oposto de Acordado
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1268-1268
No TPTP formula. May not be expressible in strict first order. english_format.kif 1757-1757
No TPTP formula. May not be expressible in strict first order. french_format.kif 946-946
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 481-481
No TPTP formula. May not be expressible in strict first order. terms-it.txt 485-485
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2630-2630
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 898-898
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 487-487
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 521-521
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 967-967
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 486-486

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18423-18427

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16407-16416
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16492-16504
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16511-16521
No TPTP formula. May not be expressible in strict first order. Merge.kif 10539-10544
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16422-16431


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