Unconscious - Sigma Knowledge base Browser

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 18335-18335	Unconscious is the opposite of awake
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 4042-4044
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18336-18338
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3025-3025
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3268-3268
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18334-18334	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 435-435	Conscious is the opposite of unconscious
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5205-5205	Coma is a subattribute of unconscious
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18092-18092	Dead is a subattribute of unconscious
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1267-1267
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1755-1755
No TPTP formula. May not be expressible in strict first order.	french_format.kif 945-945
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 480-480
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 484-484
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2629-2629
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 897-897
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 520-520
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 966-966
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 485-485

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 966-975	If a process is an instance of anesthetizing and an entity is a patient of the process, then unconscious is an attribute of the entity and pain is not an attribute of the entity holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 949-958	If a process is an instance of anesthetizing and an entity is a patient of the process, then unconscious is an attribute of the entity or pain is not an attribute of the entity holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16465-16477	If a process is an instance of gaining consciousness and an agent experiences the process, then unconscious is an attribute of the agent holds during the beginning of the time of existence of the process and awake is an attribute of the agent holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16484-16494	If a process is an instance of losing consciousness and an agent experiences the process, then awake is an attribute of the agent holds during the beginning of the time of existence of the process and unconscious is an attribute of the agent holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1314-1326	If mild traumatic brain injury is an attribute of an entity doesn't hold during a time interval and mild traumatic brain injury is an attribute of the entity holds during another time interval and the time interval meets the other time interval, then the statement unconscious is an attribute of the entity holds during the beginning of the other time interval has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6491-6495	If AVPU unconscious status is an attribute of an entity holds during a time position, then unconscious is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 730-740	If a physical is an instance of nose hose, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of breathing and the other entity is located at the entity and unconscious is an attribute of the entity holds during the time of existence of the other entity and the physical is path along which the other entity occurs

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