(subclass WeatherSystem WeatherProcess) | Weather.kif 521-521 | WeatherSystem e' uma sub-classe de WeatherProcess |
(subclass LowPressureWeatherSystem WeatherSystem) | Weather.kif 540-540 | LowPressureWeatherSystem e' uma sub-classe de WeatherSystem |
(subclass HighPressureWeatherSystem WeatherSystem) | Weather.kif 792-792 | HighPressureWeatherSystem e' uma sub-classe de WeatherSystem |