(subclass LowPressureWeatherSystem WeatherSystem) | Weather.kif 540-540 | Low pressure weather system is a subclass of weather system |
(subclass CyclonicStorm LowPressureWeatherSystem) | Weather.kif 551-551 | Cyclonic storm is a subclass of low pressure weather system |