Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Coma(in a coma) |
| appearance as argument number 1 |
|
| (instance Coma DiseaseOrSyndrome) | Medicine.kif 5225-5225 | In a coma is an instance of disease or syndrome |
| (subAttribute Coma Unconscious) | Medicine.kif 5226-5226 | In a coma is a subattribute of unconscious |
| (documentation Coma EnglishLanguage "A coma is a deep state of prolonged unconsciousness in which a person cannot be awakened, fails to respond normally to painful stimuli, light, or sound, lacks a normal wake-sleep cycle and does not initiate voluntary actions. Coma patients exhibit a complete absence of wakefulness and are unable to consciously feel, speak or move. Comas can be derived by natural causes, or can be medically induced. [from Wikipedia]") | Medicine.kif 5227-5233 | In a coma is a subattribute of unconscious |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Coma "in a coma") | Medicine.kif 5234-5234 |
| antecedent |
|
|
| (=> (holdsDuring ?T (attribute ?H Coma)) (not (exists (?IP) (and (instance ?IP IntentionalProcess) (agent ?IP ?H) (during ?T (WhenFn ?IP)))))) |
Medicine.kif 5236-5245 | If in a coma is an attribute of X holds during Y, then there doesn't exist Z such that Z is an instance of intentional process, X is an agent of Z, and Y takes place during the time of existence of Z |
|