Storm(storm) |
appearance as argument number 1 |
![]() |
(documentation Storm ChineseLanguage "Storm 发生于由 LowPressureWeatherSystem 的 Atmosphere 占领的地区,里面的 Air 的流动方向是 MotionUpward。地面 Wind 速 Likely 高于30 KnotUnitOfSpeed 并或伴有 Precipitation。") | Weather.kif 3611-3613 | |
(documentation Storm EnglishLanguage "Storms occurs in an area where its Atmosphere is dominated by a LowPressureWeatherSystem with Air moving in MotionUpward.Surface Wind of over 30 KnotUnitOfSpeed and or Precipitation are Likely associated with Storms.") | Weather.kif 3607-3610 | |
(subclass Storm WeatherProcess) | Weather.kif 3614-3614 | Storm is a subclass of weather process |
appearance as argument number 2 |
![]() |
(subclass Blizzard Storm) | Weather.kif 3341-3341 | Blizzard is a subclass of storm |
(subclass CyclonicStorm Storm) | Weather.kif 541-541 | Cyclonic storm is a subclass of storm |
(subclass DustStorm Storm) | Weather.kif 1969-1969 | Dust storm is a subclass of storm |
(subclass Snowstorm Storm) | Weather.kif 3661-3661 | Snow storm is a subclass of storm |
(subclass Thunderstorm Storm) | Weather.kif 934-934 | Thunderstorm is a subclass of storm |
(subclass Tornado Storm) | Weather.kif 2372-2372 | Tornado is a subclass of storm |
(subclass Windstorm Storm) | Weather.kif 1477-1477 | Windstorm is a subclass of storm |
(termFormat ChineseLanguage Storm "风暴") | Weather.kif 3616-3616 | Windstorm is a subclass of storm |
(termFormat EnglishLanguage Storm "storm") | Weather.kif 3615-3615 | Windstorm is a subclass of storm |
antecedent |
![]() |
consequent |
![]() |
(=> (instance ?W StrongWind) (modalAttribute (exists (?S) (and (instance ?S Storm) (causes ?S ?W))) Likely)) |
Weather.kif 1491-1497 |
|
![]() |
![]() |