(subclass CyclonicStorm LowPressureWeatherSystem) | Weather.kif 551-551 | Cyclonic storm is a subclass of low pressure weather system |
(subclass CyclonicStorm Storm) | Weather.kif 552-552 | Cyclonic storm is a subclass of storm |
(subclass TropicalCyclonicSystem CyclonicStorm) | Weather.kif 605-605 | Tropical cyclonic system is a subclass of cyclonic storm |
(subclass Tornado CyclonicStorm) | Weather.kif 1649-1649 | Tornado is a subclass of cyclonic storm |