(subclass WaterMotion LiquidMotion) | Merge.kif 11232-11232 | WaterMotion est une sous-classe de LiquidMotion |
(subclass HeavySurf WaterMotion) | Weather.kif 1555-1555 | HeavySurf est une sous-classe de WaterMotion |
(subclass Precipitation WaterMotion) | Merge.kif 11206-11206 | Precipitation est une sous-classe de WaterMotion |