(subclass ExclusiveFishingZone MaritimeClaimArea) | Geography.kif 1132-1132 | ExclusiveFishingZone は MaritimeClaimArea の subclass では %n |
(subclass ExclusiveFishingZone SaltWaterArea) | Geography.kif 1133-1133 | ExclusiveFishingZone は 塩水地域 の subclass では %n |