(subclass LowPressureWeatherSystem WeatherSystem) | Weather.kif 528-528 | LowPressureWeatherSystem è una sottoclasse di WeatherSystem |
(subclass CyclonicStorm LowPressureWeatherSystem) | Weather.kif 540-540 | CyclonicStorm è una sottoclasse di LowPressureWeatherSystem |