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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HighBloodPressure

Sigma KEE - HighBloodPressure
HighBloodPressure

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


(diseaseMedicine HighBloodPressure BetaBlocker Ingesting) Medicine.kif 4681-4681 diseaseMedicine HighBloodPressure, BetaBlocker and Ingestione
(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 HighBloodPressure è un' istanza di MalattiaOSindrome

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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