| (subclass Storm WeatherProcess) | Weather.kif 3614-3614 | Storm is a subclass of weather process |
| (subclass CyclonicStorm Storm) | Weather.kif 541-541 | Cyclonic storm is a subclass of storm |
| (subclass Thunderstorm Storm) | Weather.kif 934-934 | Thunderstorm is a subclass of storm |
| (subclass Windstorm Storm) | Weather.kif 1477-1477 | Windstorm is a subclass of storm |
| (subclass DustStorm Storm) | Weather.kif 1969-1969 | Dust storm is a subclass of storm |
| (subclass Tornado Storm) | Weather.kif 2372-2372 | Tornado is a subclass of storm |
| (subclass Blizzard Storm) | Weather.kif 3341-3341 | Blizzard is a subclass of storm |
| (subclass Snowstorm Storm) | Weather.kif 3661-3661 | Snow storm is a subclass of storm |
|
|