| (subclass SaltWaterArea WaterArea) | Merge.kif 14133-14133 | |
| (subclass MaritimeContiguousZone SaltWaterArea) | Geography.kif 1031-1031 | |
| (subclass MaritimeExclusiveEconomicZone SaltWaterArea) | Geography.kif 1100-1100 | |
| (subclass ExclusiveFishingZone SaltWaterArea) | Geography.kif 1133-1133 | |
| (subclass ExtendedFishingZone SaltWaterArea) | Geography.kif 1165-1165 | |
| (subclass TerritorialSea SaltWaterArea) | Geography.kif 1197-1197 | |
| (subclass Ocean SaltWaterArea) | Geography.kif 4512-4512 | |
| (subclass Sea SaltWaterArea) | Geography.kif 4757-4757 | |
| (subclass Tide SaltWaterArea) | Geography.kif 4944-4944 | |
| (subclass SaltLake SaltWaterArea) | Geography.kif 5086-5086 | |
| (subclass Gulf SaltWaterArea) | Geography.kif 5123-5123 | |
| (subclass Estuary SaltWaterArea) | Geography.kif 5180-5180 |
|
|