(subclass MaritimeShelfArea MaritimeClaimArea) | Geography.kif 1057-1057 | MaritimeShelfArea は MaritimeClaimArea の subclass では %n |
(subclass MaritimeShelfArea SubmergedLandArea) | Geography.kif 1058-1058 | MaritimeShelfArea は SubmergedLandArea の subclass では %n |