(subclass WaterMotion LiquidMotion) | Merge.kif 11266-11266 | WaterMotion è una sottoclasse di LiquidMotion |
(subclass HeavySurf WaterMotion) | Weather.kif 1538-1538 | HeavySurf è una sottoclasse di WaterMotion |
(subclass Precipitation WaterMotion) | Merge.kif 11240-11240 | Precipitation è una sottoclasse di WaterMotion |