|
|
   LowPressureWeatherSystem
|
|
|
| appearance as argument number 1 |
|
|
| (documentation LowPressureWeatherSystem ChineseLanguage "LowPressureWeatherSystem 低气压天气系统是一类天气系统 WeatherSystem，它的特点是大气气压 barometricPressures 处于 29.5 寸水銀柱 Inchmercury (998.98mbar)或更低数值。低气压系统一般带来不稳定的天气， 如常伴随有风暴。") | Weather.kif 525-527 | |
| (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 520-523 | |
| (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 | |
| (partition LowPressureWeatherSystem HighPressureWeatherSystem) | Weather.kif 529-529 | |
| (subclass LowPressureWeatherSystem WeatherSystem) | Weather.kif 528-528 |
| appearance as argument number 2 |
|
|
| (subclass CyclonicStorm LowPressureWeatherSystem) | Weather.kif 540-540 | |
| (termFormat ChineseLanguage LowPressureWeatherSystem "低压天气系统") | domainEnglishFormat.kif 35195-35195 | |
| (termFormat ChineseTraditionalLanguage LowPressureWeatherSystem "低壓天氣系統") | domainEnglishFormat.kif 35194-35194 | |
| (termFormat EnglishLanguage LowPressureWeatherSystem "low pressure weather system") | domainEnglishFormat.kif 35193-35193 |
| antecedent |
|
|
| (=> (and (instance ?SYSTEM LowPressureWeatherSystem) (instance ?AREA Region) (eventLocated ?SYSTEM ?AREA)) (and (barometricPressure ?AREA (MeasureFn ?AMOUNT InchMercury)) (lessThan ?AMOUNT 29.5))) |
Weather.kif 531-538 |
| 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 2899-2912 |
|
|
|
