Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| diastolicBloodPressure |
| appearance as argument number 1 |
|
| (instance diastolicBloodPressure BinaryPredicate) | Mid-level-ontology.kif 11892-11892 | diastolic blood pressure is an instance of binary predicate |
| (domain diastolicBloodPressure 1 Mammal) | Mid-level-ontology.kif 11893-11893 | The number 1 argument of diastolic blood pressure is an instance of mammal |
| (domain diastolicBloodPressure 2 PhysicalQuantity) | Mid-level-ontology.kif 11894-11894 | The number 2 argument of diastolic blood pressure is an instance of physical quantity |
| (documentation diastolicBloodPressure EnglishLanguage "The systole is the part of the cardiac cycle during which some chambers of the heart muscle relax after refilling with blood. Diastolic pressure is the lowest pressure in the arteries during this period. [from Wikipedia].") | Mid-level-ontology.kif 11896-11900 | The number 2 argument of diastolic blood pressure is an instance of physical quantity |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage diastolicBloodPressure "the diastolic blood pressure of %1 is %2") | Mid-level-ontology.kif 11901-11901 | |
| (termFormat EnglishLanguage diastolicBloodPressure "diastolic blood pressure") | Mid-level-ontology.kif 11902-11902 |
| antecedent |
|
|
| (=> (holdsDuring ?T (and (systolicBloodPressure ?H (MeasureFn ?NS MmMercury)) (diastolicBloodPressure ?H (MeasureFn ?ND MmMercury)) (greaterThan ?NS 140.0) (greaterThan ?ND 90.0))) (holdsDuring ?T (attribute ?H HighBloodPressure))) |
Mid-level-ontology.kif 11904-11914 | If the systolic blood pressure of X is Y mm mercury(s) and the diastolic blood pressure of X is Z mm mercury(s) and Y is greater than 140.0 and Z is greater than 90.0 holds during W, then hypertension is an attribute of X holds during W |
| (=> (holdsDuring ?T (and (systolicBloodPressure ?H (MeasureFn ?NS MmMercury)) (diastolicBloodPressure ?H (MeasureFn ?ND MmMercury)) (greaterThan 90.0 ?NS) (greaterThan 60.0 ?ND))) (holdsDuring ?T (attribute ?H LowBloodPressure))) |
Mid-level-ontology.kif 11922-11932 | If the systolic blood pressure of X is Y mm mercury(s) and the diastolic blood pressure of X is Z mm mercury(s) and 90.0 is greater than Y and 60.0 is greater than Z holds during W, then hypotension is an attribute of X holds during W |
| (=> (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 |
| 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 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 |
|