(subclass WeatherFront WeatherProcess) | Weather.kif 808-808 | Weather front is a subclass of weather process |
(subclass WarmFront WeatherFront) | Weather.kif 814-814 | Warm front is a subclass of weather front |
(subclass ColdFront WeatherFront) | Weather.kif 820-820 | Cold front is a subclass of weather front |
(subclass OccludedFront WeatherFront) | Weather.kif 826-826 | Occluded front is a subclass of weather front |
(subclass StationaryFront WeatherFront) | Weather.kif 832-832 | Stationary front is a subclass of weather front |