Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CheckingVitals(checking vitals) |
| appearance as argument number 1 |
|
| (subclass CheckingVitals DiagnosticProcess) | Medicine.kif 6544-6544 | Checking vitals is a subclass of diagnostic process |
| (documentation CheckingVitals EnglishLanguage "There are four primary vital signs that are standard in most medical settings: (1) Body temperature (2) Heart rate or Pulse (3) Respiratory rate (4) Blood pressure. The equipment needed is a thermometer, a sphygmomanometer, and a watch. Although a pulse can be taken by hand, a stethoscope may be required for a clinician to take a patient's apical pulse.[from Wikipedia]") | Medicine.kif 6545-6549 | Checking vitals is a subclass of diagnostic process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CheckingVitals "checking vitals") | Medicine.kif 6550-6550 |
| antecedent |
|
|
| (=> (and (instance ?C CheckingVitals) (agent ?C ?A) (patient ?C ?P) (instance ?H Heart) (part ?H ?P) (instance ?L Lung) (part ?L ?P) (holdsDuring (WhenFn ?C) (and (systolicBloodPressure ?P ?SYS) (diastolicBloodPressure ?P ?DIA) (measure ?P (MeasureFn ?T FahrenheitDegree)))) (heartRate ?H (WhenFn ?C) ?I) (breathingRate ?L (WhenFn ?C) ?R)) (knows ?A (and (holdsDuring (WhenFn ?C) (and (systolicBloodPressure ?P ?SYS) (diastolicBloodPressure ?P ?DIA) (measure ?P (MeasureFn ?T FahrenheitDegree)))) (heartRate ?H (WhenFn ?C) ?I) (breathingRate ?L (WhenFn ?C) ?R)))) |
Medicine.kif 6552-6576 | If All of the following hold: (1) X is an instance of checking vitals (2) Y is an agent of X (3) Z is a patient of X (4) W is an instance of heart (5) W is a part of Z (6) V is an instance of lung (7) V is a part of Z (8) the systolic blood pressure of Z is U and the diastolic blood pressure of Z is T and the measure of Z is S fahrenheit degree(s) holds during the time of existence of X (9) W beats at a rate of R beats per the time of existence of X (10) V breathes at a rate of Q breaths per the time of existence of X, then Y knows the systolic blood pressure of Z is U and the diastolic blood pressure of Z is T and the measure of Z is S fahrenheit degree(s) holds during the time of existence of X and W beats at a rate of R beats per the time of existence of X and V breathes at a rate of Q breaths per the time of existence of X |
|