(subclass MaritimeShelfArea MaritimeClaimArea) | Geography.kif 1057-1057 | MaritimeShelfArea est une sous-classe de MaritimeClaimArea |
(subclass MaritimeShelfArea SubmergedLandArea) | Geography.kif 1058-1058 | MaritimeShelfArea est une sous-classe de SubmergedLandArea |