HighPressureWeatherSystem - Sigma Knowledge base Browser

appearance as argument number 1

(documentation HighPressureWeatherSystem EnglishLanguage "HighPressureWeatherSystem is the class of weather systems characterized by high barometricPressures. High pressure systems typically cause clear weather.")	Weather.kif 782-784
(subclass HighPressureWeatherSystem WeatherSystem)	Weather.kif 780-780	High pressure weather system is a subclass of weather system

appearance as argument number 2

(partition LowPressureWeatherSystem HighPressureWeatherSystem)	Weather.kif 529-529	Low pressure weather system is exhaustively partitioned into high pressure weather system
(termFormat ChineseLanguage HighPressureWeatherSystem "高压天气系统")	domainEnglishFormat.kif 28171-28171	Low pressure weather system is exhaustively partitioned into high pressure weather system
(termFormat ChineseTraditionalLanguage HighPressureWeatherSystem "高壓天氣系統")	domainEnglishFormat.kif 28170-28170	Low pressure weather system is exhaustively partitioned into high pressure weather system
(termFormat EnglishLanguage HighPressureWeatherSystem "high pressure weather system")	domainEnglishFormat.kif 28169-28169	Low pressure weather system is exhaustively partitioned into high pressure weather system

antecedent

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

Weather.kif 786-792