(subclass WeatherFront WeatherProcess) | Weather.kif 812-812 | Weather front is a subclass of weather process |
(subclass WarmFront WeatherFront) | Weather.kif 818-818 | Warm front is a subclass of weather front |
(subclass ColdFront WeatherFront) | Weather.kif 824-824 | Cold front is a subclass of weather front |
(subclass OccludedFront WeatherFront) | Weather.kif 830-830 | Occluded front is a subclass of weather front |
(subclass StationaryFront WeatherFront) | Weather.kif 836-836 | Stationary front is a subclass of weather front |