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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HighBloodPressure
HighBloodPressure

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


(diseaseMedicine HighBloodPressure BetaBlocker Ingesting) Medicine.kif 4681-4681
(documentation HighBloodPressure EnglishLanguage "systolicBloodPressure and diastolicBloodPressure of greater than 140/ 90.") Mid-level-ontology.kif 10491-10492
(instance HighBloodPressure DiseaseOrSyndrome) Mid-level-ontology.kif 10490-10490

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


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

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 10478-10488


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