| (subclass WeatherFront WeatherProcess) | Weather.kif 812-812 | WeatherFront est une sous-classe de WeatherProcess |
| (subclass WarmFront WeatherFront) | Weather.kif 818-818 | WarmFront est une sous-classe de WeatherFront |
| (subclass ColdFront WeatherFront) | Weather.kif 824-824 | ColdFront est une sous-classe de WeatherFront |
| (subclass OccludedFront WeatherFront) | Weather.kif 830-830 | OccludedFront est une sous-classe de WeatherFront |
| (subclass StationaryFront WeatherFront) | Weather.kif 836-836 | StationaryFront est une sous-classe de WeatherFront |
|
|