(subclass WeatherFront WeatherProcess) | Weather.kif 808-808 | |
(subclass WarmFront WeatherFront) | Weather.kif 814-814 | |
(subclass ColdFront WeatherFront) | Weather.kif 820-820 | |
(subclass OccludedFront WeatherFront) | Weather.kif 826-826 | |
(subclass StationaryFront WeatherFront) | Weather.kif 832-832 |