Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| systolicBloodPressure |
| appearance as argument number 1 |
|
| (instance systolicBloodPressure BinaryPredicate) | Mid-level-ontology.kif 11880-11880 | systolic blood pressure is an instance of binary predicate |
| (domain systolicBloodPressure 1 Mammal) | Mid-level-ontology.kif 11881-11881 | The number 1 argument of systolic blood pressure is an instance of mammal |
| (domain systolicBloodPressure 2 PhysicalQuantity) | Mid-level-ontology.kif 11882-11882 | The number 2 argument of systolic blood pressure is an instance of physical quantity |
| (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 11884-11888 | The number 2 argument of systolic blood pressure is an instance of physical quantity |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage systolicBloodPressure "the systolic blood pressure of %1 is %2") | Mid-level-ontology.kif 11889-11889 | |
| (termFormat EnglishLanguage systolicBloodPressure "systolic blood pressure") | Mid-level-ontology.kif 11890-11890 |
| 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 |
|