| TerritorialSea(领海)
|
| appearance as argument number 1 |
|
| (documentation TerritorialSea EnglishLanguage "TerritorialSea is the class of contiguous waters over which a GeopoliticalArea claims jurisdiction in accordance with the United Nations Convention on the LawOfTheSea (LOS), Part II. A territorial sea may be up to 12 miles (NauticalMiles) in breadth. A subclass of MaritimeClaimArea.") | Geography.kif 1330-1335 | |
| (externalImage TerritorialSea "http://upload.wikimedia.org/wikipedia/commons/ 8/ 86/ Map_of_Sealand_with_territorial_waters.png") | pictureList.kif 3004-3004 | |
| (subclass TerritorialSea MaritimeClaimArea) | Geography.kif 1327-1327 | 领海 是 海事索赔区 的 subclass |
| (subclass TerritorialSea SaltWaterArea) | Geography.kif 1328-1328 | 领海 是 盐水区 的 subclass |
| appearance as argument number 2 |
|
|
| (range TerritorialSeaFn TerritorialSea) | Geography.kif 1354-1354 | 领海 的 range 是 领海 的实例 |
| (termFormat ChineseLanguage TerritorialSea "领海") | domainEnglishFormat.kif 57602-57602 | 领海 的 range 是 领海 的实例 |
| (termFormat ChineseTraditionalLanguage TerritorialSea "領海") | domainEnglishFormat.kif 57601-57601 | 领海 的 range 是 领海 的实例 |
| (termFormat EnglishLanguage TerritorialSea "territorial sea") | domainEnglishFormat.kif 57600-57600 | 领海 的 range 是 领海 的实例 |
| antecedent |
|
|
| (=> (and (instance ?AREA GeopoliticalArea) (instance (TerritorialSeaFn ?AREA) TerritorialSea)) (claimedTerritory (TerritorialSeaFn ?AREA) ?AREA)) |
Geography.kif 1359-1363 | |
| (=> (and (instance ?ZONE MaritimeContiguousZone) (claimedTerritory ?ZONE ?AREA) (instance ?WATER TerritorialSea) (claimedTerritory ?WATER ?AREA)) (between ?AREA ?WATER ?ZONE)) |
Geography.kif 1337-1343 | |
| (=> (and (instance ?ZONE TerritorialSea) (linearExtent ?ZONE (MeasureFn ?WIDTH NauticalMile))) (lessThanOrEqualTo ?WIDTH 12.0)) |
Geography.kif 1345-1350 |
|
|
|