systolicBloodPressure |
appearance as argument number 1 |
(documentation systolicBloodPressure EnglishLanguage "The systole is the part of the cardiac cycle during which some chambers of the heart muscle contract after refilling with blood. Systolic pressure is the highest pressure in the arteries during this period. [from Wikipedia].") | Mid-level-ontology.kif 10431-10435 | |
(domain systolicBloodPressure 1 Mammal) | Mid-level-ontology.kif 10428-10428 | |
(domain systolicBloodPressure 2 PhysicalQuantity) | Mid-level-ontology.kif 10429-10429 | |
(instance systolicBloodPressure BinaryPredicate) | Mid-level-ontology.kif 10427-10427 |
appearance as argument number 2 |
(format EnglishLanguage systolicBloodPressure "the systolic blood pressure of %1 is %2") | Mid-level-ontology.kif 10436-10436 | |
(termFormat EnglishLanguage systolicBloodPressure "systolic blood pressure") | Mid-level-ontology.kif 10437-10437 |
antecedent |
consequent |
(=> (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 6505-6529 |