(subclass WeatherSystem WeatherProcess) | Weather.kif 521-521 | WeatherSystem は WeatherProcess の subclass では %n |
(subclass LowPressureWeatherSystem WeatherSystem) | Weather.kif 540-540 | LowPressureWeatherSystem は WeatherSystem の subclass では %n |
(subclass HighPressureWeatherSystem WeatherSystem) | Weather.kif 796-796 | HighPressureWeatherSystem は WeatherSystem の subclass では %n |