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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Awake

Sigma KEE - Awake
Awake(awake)
aesthesia, alert, alerting, alertness, argus-eyed, arousal, astir, awake, awakened, conscious, consciously, esthesia, insomniac, lie_awake, open-eyed, resuscitated, self-aware, self-conscious, semiconscious, sensibility, sentient, sleepless, sleeplessness, unsleeping, up, vigil, vigilant, wakeful, wakefulness, waking, watchful, wide-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 18341-18342
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 18340-18340 Awake is an instance of consciousness attribute

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18335-18335 Unconscious is the opposite of 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 18344-18348

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16380-16389
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16465-16477
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16484-16494
No TPTP formula. May not be expressible in strict first order. Merge.kif 10505-10510
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16395-16404


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