| (subclass WeatherFront WeatherProcess) | Weather.kif 812-812 | WeatherFront e' uma sub-classe de WeatherProcess |
| (subclass WarmFront WeatherFront) | Weather.kif 818-818 | WarmFront e' uma sub-classe de WeatherFront |
| (subclass ColdFront WeatherFront) | Weather.kif 824-824 | ColdFront e' uma sub-classe de WeatherFront |
| (subclass OccludedFront WeatherFront) | Weather.kif 830-830 | OccludedFront e' uma sub-classe de WeatherFront |
| (subclass StationaryFront WeatherFront) | Weather.kif 836-836 | StationaryFront e' uma sub-classe de WeatherFront |
|
|