(subclass FreshWaterArea WaterArea) | Merge.kif 14184-14184 | Fresh water area is a subclass of water area |
(subclass River FreshWaterArea) | Geography.kif 5473-5473 | River is a subclass of fresh water area |
(subclass Reservoir FreshWaterArea) | Geography.kif 5624-5624 | Reservoir is a subclass of fresh water area |
(subclass Creek FreshWaterArea) | Geography.kif 5674-5674 | Creek is a subclass of fresh water area |