| (subclass Precipitation WeatherProcess) | Merge.kif 11227-11227 | Precipitation est une sous-classe de WeatherProcess |
| (subclass Precipitation WaterMotion) | Merge.kif 11228-11228 | Precipitation est une sous-classe de WaterMotion |
| (subclass Precipitation Falling) | Merge.kif 11229-11229 | Precipitation est une sous-classe de Falling |
| (subclass Raining Precipitation) | Weather.kif 1038-1038 | Raining est une sous-classe de Precipitation |
| (subclass FreezingRain Precipitation) | Weather.kif 1070-1070 | FreezingRain est une sous-classe de Precipitation |
| (subclass Snowing Precipitation) | Weather.kif 1131-1131 | Snowing est une sous-classe de Precipitation |
| (subclass Sleeting Precipitation) | Weather.kif 1147-1147 | Sleeting est une sous-classe de Precipitation |
| (subclass Hailing Precipitation) | Weather.kif 1170-1170 | Hailing est une sous-classe de Precipitation |
|
|