Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BrainDead(brain dead) |
| appearance as argument number 1 |
|
| (instance BrainDead DiseaseOrSyndrome) | Medicine.kif 5197-5197 | Brain dead is an instance of disease or syndrome |
| (documentation BrainDead EnglishLanguage "Brain death is the complete loss of Brain function, including involuntary activity necessary to sustain life. It differs from persistent vegetative state, in which the person is Living and some autonomic functions remain. It is also distinct from an ordinary coma, whether induced medically or caused by injury and/ or illness, even if it is very deep, as long as some brain and bodily activity and function remain; and it is also not the same as the condition locked-in syndrome. A differential diagnosis can medically distinguish these differing conditions.[from Wikipedia]") | Medicine.kif 5199-5208 | Brain dead is an instance of disease or syndrome |
| (equal BrainDead (DeadOrMissingBodyPartFn Brain)) |
Medicine.kif 5210-5210 | equal brain dead and dead or missing body part fn brain |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BrainDead "brain dead") | Medicine.kif 5209-5209 |
|