(subclass WeatherSeason WeatherProcess) | Weather.kif 503-503 | WeatherSeason est une sous-classe de WeatherProcess |
(subclass Monsoon WeatherSeason) | Weather.kif 510-510 | Monsoon est une sous-classe de WeatherSeason |
(subclass HurricaneSeason WeatherSeason) | Weather.kif 511-511 | HurricaneSeason est une sous-classe de WeatherSeason |
(subclass ElNino WeatherSeason) | Weather.kif 512-512 | ElNino est une sous-classe de WeatherSeason |