(subclass MaritimeContiguousZone MaritimeClaimArea) | Geography.kif 1030-1030 | MaritimeContiguousZone は MaritimeClaimArea の subclass では %n |
(subclass MaritimeContiguousZone SaltWaterArea) | Geography.kif 1031-1031 | MaritimeContiguousZone は 塩水地域 の subclass では %n |