(subclass LowPressureWeatherSystem WeatherSystem) | Weather.kif 540-540 | LowPressureWeatherSystem e' uma sub-classe de WeatherSystem |
(subclass CyclonicStorm LowPressureWeatherSystem) | Weather.kif 551-551 | CyclonicStorm e' uma sub-classe de LowPressureWeatherSystem |