(subclass Raining Precipitation) | Weather.kif 1042-1042 | Raining は Precipitation の subclass では %n |
(subclass HeavyRaining Raining) | Weather.kif 1107-1107 | HeavyRaining は Raining の subclass では %n |
(subclass Drizzling Raining) | Weather.kif 2801-2801 | Drizzling は Raining の subclass では %n |
(subclass RainShowering Raining) | Weather.kif 2863-2863 | RainShowering は Raining の subclass では %n |
(subclass AcidRainfall Raining) | Geography.kif 2493-2493 | AcidRainfall は Raining の subclass では %n |