HighBloodPressure - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage HighBloodPressure "high blood pressure")	Mid-level-ontology.kif 11362-11362
(termFormat EnglishLanguage HighBloodPressure "hypertension")	Mid-level-ontology.kif 11363-11363

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 11347-11357