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

KB Term:  Term intersection
English Word: 

Sigma KEE - barometricPressure
barometricPressure

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


(instance barometricPressure BinaryPredicate) Merge.kif 7988-7988 barometric pressure is an instance of binary predicate
(subrelation barometricPressure measure) Merge.kif 7989-7989 barometric pressure is a subrelation of measure
(domain barometricPressure 1 Object) Merge.kif 7990-7990 The number 1 argument of barometric pressure is an instance of object
(domain barometricPressure 2 PhysicalQuantity) Merge.kif 7991-7991 The number 2 argument of barometric pressure is an instance of physical quantity
(documentation barometricPressure EnglishLanguage "(barometricPressure ?AREA ?PRESSURE) means that the atmospheric pressure measured at ?AREA is ?PRESSURE. Barometric pressure is typically expressed in units of InchMercury or MmMercury. For example, standard sea level pressure is 29.92 inches (760 mm) of mercury: (barometricPressure SeaLevel (MeasureFn 29.92 InchMercury)).") Merge.kif 7993-7998 The number 2 argument of barometric pressure is an instance of physical quantity
(externalImage barometricPressure "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 41/ Barometer.JPG") pictureList.kif 2645-2645 The number 2 argument of barometric pressure is an instance of physical quantity
(externalImage barometricPressure "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4b/ Tagesgang_luftdruck.jpg") pictureList.kif 2751-2751 The number 2 argument of barometric pressure is an instance of physical quantity
(externalImage barometricPressure "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 38/ Air_pressure_crushing_a_plastic_bottle_p1180559.jpg") pictureList.kif 2752-2752 The number 2 argument of barometric pressure is an instance of physical quantity

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


(format EnglishLanguage barometricPressure "%2 is %n a barometric pressure of %1") domainEnglishFormat.kif 254-254
(format ChineseTraditionalLanguage barometricPressure "%2 是 %1 的 barometric 壓力") domainEnglishFormat.kif 255-255
(format ChineseLanguage barometricPressure "%2 是 %1 的 barometric 压力") domainEnglishFormat.kif 256-256
(termFormat EnglishLanguage barometricPressure "barometric pressure") domainEnglishFormat.kif 9982-9982
(termFormat ChineseTraditionalLanguage barometricPressure "氣壓") domainEnglishFormat.kif 9983-9983
(termFormat ChineseLanguage barometricPressure "气压") domainEnglishFormat.kif 9984-9984

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