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


KB Term:  Term intersection
English Word: 

  InchMercury

 Sigma KEE - InchMercury
InchMercury(inch mercury)

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


(instance InchMercury UnitOfAtmosphericPressure) Merge.kif 8006-8006 Inch mercury is an instance of unit of atmospheric pressure
(documentation InchMercury EnglishLanguage "InchMercury is a UnitOfMeasure for barometricPressure. It is used to express the number of inches of mercury supported in a mercurial barometer by the surrounding air pressure.") Merge.kif 8008-8011 Inch mercury is an instance of unit of atmospheric pressure

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


(termFormat EnglishLanguage InchMercury "inch mercury") domainEnglishFormat.kif 29499-29499
(termFormat ChineseTraditionalLanguage InchMercury "英寸汞") domainEnglishFormat.kif 29500-29500
(termFormat ChineseLanguage InchMercury "英寸汞") domainEnglishFormat.kif 29501-29501

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


(=>
    (and
        (instance ?X ?Y)
        (subclass ?Y PureSubstance)
        (barometricPressure ?X
            (MeasureFn ?PRES InchMercury))
        (greaterThan 29.92 ?PRES)
        (boilingPoint ?Y
            (MeasureFn ?BOIL KelvinDegree))
        (measure ?X
            (MeasureFn ?TEMP KelvinDegree))
        (greaterThan ?TEMP ?BOIL))
    (attribute ?X Gas))		 Merge.kif 14107-14116 If All of the following hold: (1) X is an instance of Y (2) Y is a subclass of pure substance (3) Z inch mercury(s) is a barometric pressure of X (4) 29.92 is greater than Z (5) W kelvin degree(s) is a boiling point of Y (6) the measure of X is V kelvin degree(s) (7) V is greater than W, then gas is an attribute of X
(=>
    (and
        (instance ?X ?Y)
        (subclass ?Y PureSubstance)
        (meltingPoint ?Y
            (MeasureFn ?MELT KelvinDegree))
        (barometricPressure ?X
            (MeasureFn ?PRES InchMercury))
        (greaterThan ?PRES 29.92)
        (measure ?X
            (MeasureFn ?TEMP KelvinDegree))
        (lessThan ?TEMP ?MELT))
    (attribute ?X Solid))		 Merge.kif 14129-14138 If All of the following hold: (1) X is an instance of Y (2) Y is a subclass of pure substance (3) Z kelvin degree(s) is a melting point of Y (4) W inch mercury(s) is a barometric pressure of X (5) W is greater than 29.92 (6) the measure of X is V kelvin degree(s) (7) V is less than Z, then solid is an attribute of X
(=>
    (and
        (instance ?W KatabaticWind)
        (origin ?W ?TOP)
        (top ?TOP ?A)
        (instance ?A SlopedArea)
        (barometricPressure ?TOP
            (MeasureFn ?H InchMercury))
        (destination ?W ?BOTTOM)
        (bottom ?BOTTIM ?A)
        (barometricPressure ?BOTTOM
            (MeasureFn ?L InchMercury)))
    (holdsDuring
        (WhenFn ?W)
        (greaterThan ?H ?L)))		 Weather.kif 2510-2524 If All of the following hold: (1) X is an instance of katabatic wind (2) X originates at Y (3) the top of Z is Y (4) Z is an instance of sloped area (5) W inch mercury(s) is a barometric pressure of Y (6) X ends up at V (7) the bottom of Z is U (8) T inch mercury(s) is a barometric pressure of V, then W is greater than T holds during the time of existence of X

consequent
-------------------------


(=>
    (and
        (instance ?SYSTEM LowPressureWeatherSystem)
        (instance ?AREA Region)
        (eventLocated ?SYSTEM ?AREA))
    (exists (?AMOUNT)
        (and
            (barometricPressure ?AREA
                (MeasureFn ?AMOUNT InchMercury))
            (lessThan ?AMOUNT 29.5))))		 Weather.kif 971-979 If X is an instance of low pressure weather system, Y is an instance of region, and X is located at Y, then there exists Z such that Z inch mercury(s) is a barometric pressure of Y and Z is less than 29.5
(=>
    (and
        (instance ?SYSTEM HighPressureWeatherSystem)
        (eventLocated ?SYSTEM ?AREA))
    (exists (?AMOUNT)
        (and
            (barometricPressure ?AREA
                (MeasureFn ?AMOUNT InchMercury))
            (greaterThan ?AMOUNT 30.2))))		 Weather.kif 1227-1234 If X is an instance of high pressure weather system and X is located at Y, then there exists Z such that Z inch mercury(s) is a barometric pressure of Y and Z is greater than 30.2
(<=>
    (and
        (instance ?X Region)
        (holdsDuring ?T
            (property ?X StandardAmbientTemperaturePressure)))
    (holdsDuring ?T
        (and
            (airTemperature ?X
                (MeasureFn 298.15 KelvinDegree))
            (barometricPressure ?X
                (MeasureFn 29.530 InchMercury)))))		 Weather.kif 3947-3957 X is an instance of region and X the attribute standard ambient temperature and pressure holds during Y if and only if 298.15 kelvin degree(s) is an air temperature of X and 29.530 inch mercury(s) is a barometric pressure of X holds during Y


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