(subclass WaterMotion LiquidMotion) | Merge.kif 11254-11254 | WaterMotion は LiquidMotion の subclass では %n |
(subclass HeavySurf WaterMotion) | Weather.kif 1551-1551 | HeavySurf は WaterMotion の subclass では %n |
(subclass Precipitation WaterMotion) | Merge.kif 11228-11228 | Precipitation は WaterMotion の subclass では %n |