(subclass CyclonicStorm LowPressureWeatherSystem) | Weather.kif 552-552 | CyclonicStorm は LowPressureWeatherSystem の subclass では %n |
(subclass CyclonicStorm Storm) | Weather.kif 553-553 | CyclonicStorm は Storm の subclass では %n |
(subclass TropicalCyclonicSystem CyclonicStorm) | Weather.kif 601-601 | TropicalCyclonicSystem は CyclonicStorm の subclass では %n |
(subclass Tornado CyclonicStorm) | Weather.kif 1645-1645 | Tornado は CyclonicStorm の subclass では %n |