(subclass WeatherSystem WeatherProcess) | Weather.kif 521-521 | WeatherSystem est une sous-classe de WeatherProcess |
(subclass LowPressureWeatherSystem WeatherSystem) | Weather.kif 540-540 | LowPressureWeatherSystem est une sous-classe de WeatherSystem |
(subclass HighPressureWeatherSystem WeatherSystem) | Weather.kif 796-796 | HighPressureWeatherSystem est une sous-classe de WeatherSystem |