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


KB Term:  Term intersection
English Word: 

  defaultMinimumWidth

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