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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Awake

Sigma KEE - Awake
Awake

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 Awake and ConsciousnessAttribute

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18414-18414 相反的屬性 Unconscious and Awake
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 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