TreeView Knowledge Base Browser

appearance as argument number 1

(instance HighBloodPressure DiseaseOrSyndrome)	Mid-level-ontology.kif 11916-11916	Hypertension is an instance of disease or syndrome
(documentation HighBloodPressure EnglishLanguage "systolicBloodPressure and diastolicBloodPressure of greater than 140/ 90.")	Mid-level-ontology.kif 11917-11918	Hypertension is an instance of disease or syndrome
(diseaseMedicine HighBloodPressure BetaBlocker Ingesting)	Medicine.kif 4702-4702	Hypertension is disease treatment beta blocker for ingesting

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)))

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