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



KB Term:  Term intersection
English Word: 

Sigma KEE - HighBloodPressure
HighBloodPressure(hypertension)

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


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners