TreeView Knowledge Base Browser - LowPressureWeatherSystem

appearance as argument number 1

(documentation LowPressureWeatherSystem EnglishLanguage "LowPressureWeatherSystem is the class of WeatherSystems characterized by barometricPressures of 29.5 Inchmercury (998.98mbar) or less. Low pressure systems typically introduce unsettled weather, frequently including storms.")	Weather.kif 960-963
(documentation LowPressureWeatherSystem ChineseLanguage "LowPressureWeatherSystem 低气压天气系统是一类天气系统 WeatherSystem，它的特点是大气气压 barometricPressures 处于 29.5 寸水銀柱 Inchmercury (998.98mbar)或更低数值。低气压系统一般带来不稳定的天气，如常伴随有风暴。")	Weather.kif 965-967
(subclass LowPressureWeatherSystem WeatherSystem)	Weather.kif 968-968	Low pressure weather system is a subclass of weather system
(partition LowPressureWeatherSystem HighPressureWeatherSystem)	Weather.kif 969-969	Low pressure weather system is exhaustively partitioned into high pressure weather system
(externalImage LowPressureWeatherSystem "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ b/ bc/ Low_pressure_system_over_Iceland.jpg/ 350px_Low_pressure_system_over_Iceland.jpg")	pictureList.kif 1160-1160	Low pressure weather system is exhaustively partitioned into high pressure weather system

appearance as argument number 2

(subclass CyclonicStorm LowPressureWeatherSystem)	Weather.kif 981-981	Cyclonic storm is a subclass of low pressure weather system
(termFormat EnglishLanguage LowPressureWeatherSystem "low pressure weather system")	domainEnglishFormat.kif 35197-35197	Cyclonic storm is a subclass of low pressure weather system
(termFormat ChineseTraditionalLanguage LowPressureWeatherSystem "低壓天氣系統")	domainEnglishFormat.kif 35198-35198	Cyclonic storm is a subclass of low pressure weather system
(termFormat ChineseLanguage LowPressureWeatherSystem "低压天气系统")	domainEnglishFormat.kif 35199-35199	Cyclonic storm is a subclass of low pressure weather system

antecedent

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

consequent

(=>
    (instance ?STORM Storm)
    (holdsDuring
        (WhenFn ?STORM)
        (exists (?LOW ?AREA ?AIR ?RISE)
            (and
                (instance ?LOW LowPressureWeatherSystem)
                (instance ?AREA Region)
                (eventLocated ?LOW ?AREA)
                (instance ?AIR Air)
                (instance ?RISE MotionUpward)
                (patient ?RISE ?AIR)
                (eventLocated ?RISE ?AREA)
                (subProcess ?RISE ?LOW)))))

Weather.kif 4184-4197

If X is an instance of storm, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of low pressure weather system (3) Z is an instance of region (4) Y is located at Z (5) W is an instance of air (6) V is an instance of motion upward (7) W is a patient of V (8) V is located at Z (9) V is a subprocess of Y holds during the time of existence of X

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

KB Term:			Term intersection

English Word: