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 4688-4688 Hypertension is disease treatment beta blocker for ingesting
(documentation HighBloodPressure EnglishLanguage "systolicBloodPressure and diastolicBloodPressure of greater than 140/ 90.") Mid-level-ontology.kif 11813-11814 Hypertension is disease treatment beta blocker for ingesting
(instance HighBloodPressure DiseaseOrSyndrome) Mid-level-ontology.kif 11812-11812 Hypertension is an instance of disease or syndrome

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


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

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 11800-11810


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