Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HighBloodPressure
HighBloodPressure(hypertension)

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


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

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 10669-10679


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners