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 diseaseMedicine HighBloodPressure, BetaBlocker and ing�rer
(documentation HighBloodPressure EnglishLanguage "systolicBloodPressure and diastolicBloodPressure of greater than 140/ 90.") Mid-level-ontology.kif 10464-10465
(instance HighBloodPressure DiseaseOrSyndrome) Mid-level-ontology.kif 10463-10463 HighBloodPressure est une instance de maladie ou syndrome

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


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

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 10451-10461


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