(subclass WeatherFront WeatherProcess) | Weather.kif 812-812 | |
(subclass WarmFront WeatherFront) | Weather.kif 818-818 | |
(subclass ColdFront WeatherFront) | Weather.kif 824-824 | |
(subclass OccludedFront WeatherFront) | Weather.kif 830-830 | |
(subclass StationaryFront WeatherFront) | Weather.kif 836-836 |