(=> (and (instance ?AREA LandlockedArea) (subclass ?CLAIM MaritimeClaimArea)) (not (maritimeClaimType ?AREA ?CLAIM))) |
Geography.kif 983-987 | |
(=> (and (instance ?AREA ?TYPE) (subclass ?TYPE MaritimeClaimArea) (claimedTerritory ?AREA ?POLITY)) (maritimeClaimType ?POLITY ?TYPE)) |
Geography.kif 998-1003 | |
(=> (and (maritimeClaimType ?AREA ?TYPE) (subclass ?TYPE MaritimeClaimArea)) (exists (?CLAIM) (and (instance ?CLAIM ?TYPE) (claimedTerritory ?CLAIM ?AREA)))) |
Geography.kif 989-996 | |
(subclass MaritimeClaimArea GeographicArea) | Geography.kif 1021-1021 | |
(subclass MaritimeContiguousZone MaritimeClaimArea) | Geography.kif 1030-1030 | |
(subclass MaritimeShelfArea MaritimeClaimArea) | Geography.kif 1057-1057 | |
(subclass MaritimeExclusiveEconomicZone MaritimeClaimArea) | Geography.kif 1099-1099 | |
(subclass ExclusiveFishingZone MaritimeClaimArea) | Geography.kif 1132-1132 | |
(subclass ExtendedFishingZone MaritimeClaimArea) | Geography.kif 1164-1164 | |
(subclass TerritorialSea MaritimeClaimArea) | Geography.kif 1196-1196 |