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

KB Term:  Term intersection
English Word: 

Sigma KEE - MmMercury
MmMercury(mm mercury)

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


(instance MmMercury UnitOfAtmosphericPressure) Merge.kif 8013-8013 Mm mercury is an instance of unit of atmospheric pressure
(documentation MmMercury EnglishLanguage "MmMercury is a UnitOfMeasure for barometricPressure. It is used to express the number of millimeters of mercury supported in a mercurial barometer by the surrounding air pressure.") Merge.kif 8015-8018 Mm mercury is an instance of unit of atmospheric pressure

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


(termFormat EnglishLanguage MmMercury "mm mercury") domainEnglishFormat.kif 38145-38145
(termFormat ChineseTraditionalLanguage MmMercury "mm汞") domainEnglishFormat.kif 38146-38146
(termFormat ChineseLanguage MmMercury "mm汞") domainEnglishFormat.kif 38147-38147

antecedent
-------------------------


(=>
    (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
(=>
    (holdsDuring ?T
        (and
            (systolicBloodPressure ?H
                (MeasureFn ?NS MmMercury))
            (diastolicBloodPressure ?H
                (MeasureFn ?ND MmMercury))
            (greaterThan 90.0 ?NS)
            (greaterThan 60.0 ?ND)))
    (holdsDuring ?T
        (attribute ?H LowBloodPressure)))		 Mid-level-ontology.kif 11922-11932 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 90.0 is greater than Y and 60.0 is greater than Z holds during W, then hypotension 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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners