MaritimeClaimArea(海事索赔区) |
appearance as argument number 1 |
(documentation MaritimeClaimArea EnglishLanguage "A MaritimeClaimArea is a GeographicArea delimited by a geopolitical state's claim, under the LawOfTheSea, of rights to certain resources, activities, or jurisdiction in the claimed area. MaritimeClaimAreas can pertain to WaterAreas, SubmergedLandAreas, and Airspace.") | Geography.kif 1023-1026 | |
(subclass MaritimeClaimArea GeographicArea) | Geography.kif 1021-1021 | 海事索赔区 是 地理区域 的 subclass |
appearance as argument number 2 |
(subclass ExclusiveFishingZone MaritimeClaimArea) | Geography.kif 1132-1132 | 专属捕鱼区 是 海事索赔区 的 subclass |
(subclass ExtendedFishingZone MaritimeClaimArea) | Geography.kif 1164-1164 | 延伸捕鱼区 是 海事索赔区 的 subclass |
(subclass MaritimeContiguousZone MaritimeClaimArea) | Geography.kif 1030-1030 | 海上毗连区 是 海事索赔区 的 subclass |
(subclass MaritimeExclusiveEconomicZone MaritimeClaimArea) | Geography.kif 1099-1099 | 海上专属经济区 是 海事索赔区 的 subclass |
(subclass MaritimeShelfArea MaritimeClaimArea) | Geography.kif 1057-1057 | 海运货架区 是 海事索赔区 的 subclass |
(subclass TerritorialSea MaritimeClaimArea) | Geography.kif 1196-1196 | 领海 是 海事索赔区 的 subclass |
(termFormat ChineseLanguage MaritimeClaimArea "海事索赔区") | domainEnglishFormat.kif 36191-36191 | |
(termFormat ChineseTraditionalLanguage MaritimeClaimArea "海事索賠區") | domainEnglishFormat.kif 36190-36190 | |
(termFormat EnglishLanguage MaritimeClaimArea "maritime claim area") | domainEnglishFormat.kif 36189-36189 |
appearance as argument number 3 |
(domainSubclass maritimeClaimType 2 MaritimeClaimArea) | Geography.kif 977-977 | 海事索赔类型 的 2 数量 是 海事索赔区 的 subclass |
antecedent |
(=> (and (instance ?AREA ?TYPE) (subclass ?TYPE MaritimeClaimArea) (claimedTerritory ?AREA ?POLITY)) (maritimeClaimType ?POLITY ?TYPE)) |
Geography.kif 998-1003 | |
(=> (and (instance ?AREA LandlockedArea) (subclass ?CLAIM MaritimeClaimArea)) (not (maritimeClaimType ?AREA ?CLAIM))) |
Geography.kif 983-987 | |
(=> (and (maritimeClaimType ?AREA ?TYPE) (subclass ?TYPE MaritimeClaimArea)) (exists (?CLAIM) (and (instance ?CLAIM ?TYPE) (claimedTerritory ?CLAIM ?AREA)))) |
Geography.kif 989-996 |
consequent |
(=> (and (instance ?AREA LandlockedArea) (instance ?AREA GeopoliticalArea)) (not (exists (?CLAIM) (and (instance ?CLAIM MaritimeClaimArea) (claimedTerritory ?CLAIM ?AREA))))) |
Geography.kif 924-932 |