Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  AVPUAlertStatus
|
|
|
| appearance as argument number 1 |
|
|
| (instance AVPUAlertStatus AVPUStatus) | Medicine.kif 6468-6468 | AVPU alert status is an instance of AVPU status |
| (documentation AVPUAlertStatus EnglishLanguage "The patient is fully awake (although not necessarily oriented). This patient will have spontaneously open eyes, will respond to voice (although may be confused) and will have bodily motor function. [from Wikipedia]") | Medicine.kif 6469-6471 | AVPU alert status is an instance of AVPU status |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AVPUAlertStatus "AVPU alert status") | Medicine.kif 6472-6472 |
| antecedent |
|
|
| (=> (holdsDuring ?T (attribute ?H AVPUAlertStatus)) (holdsDuring ?T (capability ?H agent Communication))) |
Medicine.kif 6474-6478 | If AVPU alert status is an attribute of X holds during Y, then communication is capable of doing X as a agent holds during Y |
| (=> (holdsDuring ?T (attribute ?H AVPUAlertStatus)) (holdsDuring ?T (attribute ?H Conscious))) |
Medicine.kif 6480-6484 | If AVPU alert status is an attribute of X holds during Y, then conscious is an attribute of X holds during Y |
|