| 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 1194-1199 | |
| (externalImage TerritorialSea "http://upload.wikimedia.org/wikipedia/commons/ 8/ 86/ Map_of_Sealand_with_territorial_waters.png") | pictureList.kif 3006-3006 | |
| (subclass TerritorialSea MaritimeClaimArea) | Geography.kif 1191-1191 | |
| (subclass TerritorialSea SaltWaterArea) | Geography.kif 1192-1192 |
| appearance as argument number 2 |
|
|
| (range TerritorialSeaFn TerritorialSea) | Geography.kif 1217-1217 | |
| (termFormat ChineseLanguage TerritorialSea "领海") | domainEnglishFormat.kif 57535-57535 | |
| (termFormat ChineseTraditionalLanguage TerritorialSea "領海") | domainEnglishFormat.kif 57534-57534 | |
| (termFormat EnglishLanguage TerritorialSea "territorial sea") | domainEnglishFormat.kif 57533-57533 |
| antecedent |
|
|
| (=> (and (instance ?AREA GeopoliticalArea) (instance (TerritorialSeaFn ?AREA) TerritorialSea)) (claimedTerritory (TerritorialSeaFn ?AREA) ?AREA)) |
Geography.kif 1222-1226 | |
| (=> (and (instance ?ZONE MaritimeContiguousZone) (claimedTerritory ?ZONE ?AREA) (instance ?WATER TerritorialSea) (claimedTerritory ?WATER ?AREA)) (between ?AREA ?WATER ?ZONE)) |
Geography.kif 1201-1207 | |
| (=> (and (instance ?ZONE TerritorialSea) (linearExtent ?ZONE ?WIDTH)) (lessThanOrEqualTo ?WIDTH (MeasureFn 12 NauticalMile))) |
Geography.kif 1209-1213 |
|
|
|