Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   LinguisticCommunication
|
|
|
| appearance as argument number 1 |
|
|
| (instance AVPUPainStatus AVPUStatus) | Medicine.kif 6508-6508 | AVPU pain status is an instance of AVPU status |
| (documentation AVPUPainStatus EnglishLanguage "The patient makes a response on any of the three component measures on the application of Pain stimulus, such as a central pain stimulus like a sternal rub or a peripheral stimulus such as squeezing the Fingers. A patient with some level of consciousness (a fully conscious patient would not require a pain stimulus) may respond by using their voice, moving their Eyes, or moving part of their body (including abnormal posturing).[from Wikipedia]") | Medicine.kif 6509-6514 | AVPU pain status is an instance of AVPU status |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AVPUPainStatus "AVPU pain status") | Medicine.kif 6515-6515 |
| antecedent |
|
|
| (=> (and (holdsDuring ?T (attribute ?H AVPUPainStatus)) (instance ?P Pain) (during (WhenFn ?P) ?T) (experiencer ?P ?H)) (exists (?BM) (and (instance ?BM BodyMotion) (experiencer ?BM ?H) (during (WhenFn ?BM) ?T) (causes ?P ?BM)))) |
Medicine.kif 6517-6529 | If AVPU pain status is an attribute of X holds during Y, Z is an instance of pain, the time of existence of Z takes place during Y, and X experiences Z, then there exists W such that W is an instance of body motion, X experiences W, the time of existence of W takes place during Y, and Z causes W |
|