(subclass WeatherSeason WeatherProcess) | Weather.kif 503-503 | WeatherSeason は WeatherProcess の subclass では %n |
(subclass Monsoon WeatherSeason) | Weather.kif 510-510 | Monsoon は WeatherSeason の subclass では %n |
(subclass HurricaneSeason WeatherSeason) | Weather.kif 511-511 | HurricaneSeason は WeatherSeason の subclass では %n |
(subclass ElNino WeatherSeason) | Weather.kif 512-512 | ElNino は WeatherSeason の subclass では %n |