HighPressureWeatherSystem - Sigma Knowledge base Browser

antecedent

(=>
    (and
        (instance ?SYSTEM HighPressureWeatherSystem)
        (eventLocated ?SYSTEM ?AREA))
    (exists (?AMOUNT)
        (and
            (barometricPressure ?AREA
                (MeasureFn ?AMOUNT InchMercury))
            (greaterThan ?AMOUNT 30.2))))

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

consequent

(=>
    (instance ?W SantaAnaWinds)
    (exists (?H ?D ?A)
        (and
            (instance ?H HighPressureWeatherSystem)
            (eventLocated ?H GreatBasin)
            (causes ?H ?W)
            (path ?W ?D)
            (instance ?D Desert)
            (destination ?W ?A)
            (instance ?A SouthernCalifornia))))

If X is an instance of Santa Ana winds, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of high pressure weather system (3) Y is located at Great Basin (4) Y causes X (5) Z is path along which X occurs (6) Z is an instance of desert (7) X ends up at W (8) W is an instance of Southern California

(subclass HighPressureWeatherSystem WeatherSystem)	Weather.kif 1221-1221	High pressure weather system is a subclass of weather system
(documentation HighPressureWeatherSystem EnglishLanguage "HighPressureWeatherSystem is the class of weather systems characterized by high barometricPressures. High pressure systems typically cause clear weather.")	Weather.kif 1223-1225	High 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
(termFormat EnglishLanguage HighPressureWeatherSystem "high pressure weather system")	domainEnglishFormat.kif 28139-28139	Low pressure weather system is exhaustively partitioned into high pressure weather system
(termFormat ChineseTraditionalLanguage HighPressureWeatherSystem "高壓天氣系統")	domainEnglishFormat.kif 28140-28140	Low pressure weather system is exhaustively partitioned into high pressure weather system
(termFormat ChineseLanguage HighPressureWeatherSystem "高压天气系统")	domainEnglishFormat.kif 28141-28141	Low pressure weather system is exhaustively partitioned into high pressure weather system