(subclass WeatherSeason WeatherProcess) | Weather.kif 503-503 | Weather season is a subclass of weather process |
(subclass Monsoon WeatherSeason) | Weather.kif 510-510 | Monsoon is a subclass of weather season |
(subclass HurricaneSeason WeatherSeason) | Weather.kif 511-511 | Hurricane season is a subclass of weather season |
(subclass ElNino WeatherSeason) | Weather.kif 512-512 | El nino is a subclass of weather season |