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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Unconscious
Unconscious(unconscious)
KO'd, Kussmaul's_coma, automatic_pilot, autopilot, blackout, cold, coma, comatose, comatoseness, diabetic_coma, electrosleep, enchantment, general_anaesthesia, general_anesthesia, hepatic_coma, inhalation_anesthesia, innocent, insensible, kayoed, knocked_out, narcosis, nitrogen_narcosis, nonconscious, out, senseless, spell, stunned, trance, unawareness, unconscious, unconsciously, unconsciousness, unknowingness

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


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 4042-4044 Unconscious is the opposite of awake
No TPTP formula. May not be expressible in strict first order. Merge.kif 18523-18525 Unconscious is the opposite of awake
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3024-3024 Unconscious is the opposite of awake
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3267-3267 Unconscious is the opposite of awake
No TPTP formula. May not be expressible in strict first order. Merge.kif 18521-18521 Unconscious is an instance of consciousness attribute

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 424-424 Conscious is the opposite of unconscious
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5213-5213 In a coma is a subattribute of unconscious
No TPTP formula. May not be expressible in strict first order. Merge.kif 18278-18278 Dead is a subattribute of unconscious
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1267-1267 Dead is a subattribute of unconscious
No TPTP formula. May not be expressible in strict first order. english_format.kif 1755-1755 Dead is a subattribute of unconscious
No TPTP formula. May not be expressible in strict first order. french_format.kif 945-945 Dead is a subattribute of unconscious
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 480-480 Dead is a subattribute of unconscious
No TPTP formula. May not be expressible in strict first order. terms-it.txt 484-484 Dead is a subattribute of unconscious
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2629-2629 Dead is a subattribute of unconscious
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 897-897 Dead is a subattribute of unconscious
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 520-520 Dead is a subattribute of unconscious
No TPTP formula. May not be expressible in strict first order. terms-de.txt 779-779 Dead is a subattribute of unconscious
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 966-966 Dead is a subattribute of unconscious
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 485-485 Dead is a subattribute of unconscious

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 957-966
No TPTP formula. May not be expressible in strict first order. Medicine.kif 940-949
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. Medicine.kif 1306-1318
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6509-6513
No TPTP formula. May not be expressible in strict first order. Medicine.kif 721-731


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