| (subclass LowPressureWeatherSystem WeatherSystem) | Weather.kif 540-540 | LowPressureWeatherSystem は WeatherSystem の subclass では %n |
| (subclass CyclonicStorm LowPressureWeatherSystem) | Weather.kif 551-551 | CyclonicStorm は LowPressureWeatherSystem の subclass では %n |
|
|