![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| HighBloodPressure(hypertension) |
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage HighBloodPressure "high blood pressure") | Mid-level-ontology.kif 11919-11919 | |
| (termFormat EnglishLanguage HighBloodPressure "hypertension") | Mid-level-ontology.kif 11920-11920 |
| consequent |
|
|
| (=> (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 |