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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 18528-18529
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 18527-18527 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 18522-18522 Unconscious is the opposite of awake
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1268-1268 Unconscious is the opposite of awake
No TPTP formula. May not be expressible in strict first order. english_format.kif 1757-1757 Unconscious is the opposite of awake
No TPTP formula. May not be expressible in strict first order. french_format.kif 946-946 Unconscious is the opposite of awake
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 481-481 Unconscious is the opposite of awake
No TPTP formula. May not be expressible in strict first order. terms-it.txt 485-485 Unconscious is the opposite of awake
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2630-2630 Unconscious is the opposite of awake
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 898-898 Unconscious is the opposite of awake
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 487-487 Unconscious is the opposite of awake
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 521-521 Unconscious is the opposite of awake
No TPTP formula. May not be expressible in strict first order. terms-de.txt 780-780 Unconscious is the opposite of awake
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 967-967 Unconscious is the opposite of awake
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 486-486 Unconscious is the opposite of awake

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18531-18535

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17767-17776
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17852-17864
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17871-17881
No TPTP formula. May not be expressible in strict first order. Merge.kif 10643-10648
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17782-17791


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