(subclass WeatherSystem WeatherProcess) | Weather.kif 521-521 | Weather system is a subclass of weather process |
(subclass LowPressureWeatherSystem WeatherSystem) | Weather.kif 540-540 | Low pressure weather system is a subclass of weather system |
(subclass HighPressureWeatherSystem WeatherSystem) | Weather.kif 796-796 | High pressure weather system is a subclass of weather system |