| (subclass Precipitation WeatherProcess) | Merge.kif 11205-11205 | Precipitation e' uma sub-classe de WeatherProcess |
| (subclass Precipitation WaterMotion) | Merge.kif 11206-11206 | Precipitation e' uma sub-classe de WaterMotion |
| (subclass Precipitation Falling) | Merge.kif 11207-11207 | Precipitation e' uma sub-classe de Falling |
| (subclass Raining Precipitation) | Weather.kif 1042-1042 | Raining e' uma sub-classe de Precipitation |
| (subclass FreezingRain Precipitation) | Weather.kif 1074-1074 | FreezingRain e' uma sub-classe de Precipitation |
| (subclass Snowing Precipitation) | Weather.kif 1135-1135 | Snowing e' uma sub-classe de Precipitation |
| (subclass Sleeting Precipitation) | Weather.kif 1151-1151 | Sleeting e' uma sub-classe de Precipitation |
| (subclass Hailing Precipitation) | Weather.kif 1174-1174 | Hailing e' uma sub-classe de Precipitation |
|
|