(subclass WeatherSeason WeatherProcess) | Weather.kif 503-503 | WeatherSeason e' uma sub-classe de WeatherProcess |
(subclass Monsoon WeatherSeason) | Weather.kif 510-510 | Monsoon e' uma sub-classe de WeatherSeason |
(subclass HurricaneSeason WeatherSeason) | Weather.kif 511-511 | HurricaneSeason e' uma sub-classe de WeatherSeason |
(subclass ElNino WeatherSeason) | Weather.kif 512-512 | ElNino e' uma sub-classe de WeatherSeason |