(subclass WeatherSeason WeatherProcess) | Weather.kif 503-503 | WeatherSeason è una sottoclasse di WeatherProcess |
(subclass Monsoon WeatherSeason) | Weather.kif 510-510 | Monsoon è una sottoclasse di WeatherSeason |
(subclass HurricaneSeason WeatherSeason) | Weather.kif 511-511 | HurricaneSeason è una sottoclasse di WeatherSeason |
(subclass ElNino WeatherSeason) | Weather.kif 512-512 | ElNino è una sottoclasse di WeatherSeason |