HighPressureWeatherSystem(高壓天氣系統) |
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 | 子類 高壓天氣系統 and 天氣系統 |
appearance as argument number 2 |
(partition LowPressureWeatherSystem HighPressureWeatherSystem) | Weather.kif 529-529 | 劃分 低壓天氣系統 and 高壓天氣系統 |
(termFormat ChineseLanguage HighPressureWeatherSystem "高压天气系统") | domainEnglishFormat.kif 28171-28171 | 劃分 低壓天氣系統 and 高壓天氣系統 |
(termFormat ChineseTraditionalLanguage HighPressureWeatherSystem "高壓天氣系統") | domainEnglishFormat.kif 28170-28170 | 劃分 低壓天氣系統 and 高壓天氣系統 |
(termFormat EnglishLanguage HighPressureWeatherSystem "high pressure weather system") | domainEnglishFormat.kif 28169-28169 | 劃分 低壓天氣系統 and 高壓天氣系統 |
antecedent |
(=> (and (instance ?SYSTEM HighPressureWeatherSystem) (eventLocated ?SYSTEM ?AREA)) (and (barometricPressure ?AREA (MeasureFn ?AMOUNT InchMercury)) (greaterThan ?AMOUNT 30.2))) |
Weather.kif 786-792 |
|