| MaritimeShelfArea
| |
| appearance as argument number 1 |
|
|
| (documentation MaritimeShelfArea EnglishLanguage "MaritimeShelfArea is a subclass of MaritimeClaimArea that covers SubmergedLandAreas claimed by an adjacent geopolitical area. The LawOfTheSea defines the continental shelf as extending up to 200 miles (NM) offshore and including the resources found therein. The defined claim area does not correspond exactly to a geological ContinentalShelf, but if there is one, the two areas will overlap spatially.") | Geography.kif 1059-1065 | |
| (externalImage MaritimeShelfArea "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1a/ Ross_Ice_Shelf_1997.jpg") | pictureList.kif 2490-2490 | |
| (subclass MaritimeShelfArea MaritimeClaimArea) | Geography.kif 1056-1056 | |
| (subclass MaritimeShelfArea SubmergedLandArea) | Geography.kif 1057-1057 |
| appearance as argument number 2 |
|
|
| (range MaritimeShelfAreaFn MaritimeShelfArea) | Geography.kif 1084-1084 | |
| (termFormat ChineseLanguage MaritimeShelfArea "海运货架区") | domainEnglishFormat.kif 36151-36151 | |
| (termFormat ChineseTraditionalLanguage MaritimeShelfArea "海運貨架區") | domainEnglishFormat.kif 36150-36150 | |
| (termFormat EnglishLanguage MaritimeShelfArea "maritime shelf area") | domainEnglishFormat.kif 36149-36149 |
| antecedent |
|
|
| (=> (and (instance ?AREA GeopoliticalArea) (instance (MaritimeShelfAreaFn ?AREA) MaritimeShelfArea)) (claimedTerritory (MaritimeShelfAreaFn ?AREA) ?AREA)) |
Geography.kif 1090-1094 | |
| (=> (and (instance ?ZONE MaritimeShelfArea) (linearExtent ?ZONE ?WIDTH)) (lessThanOrEqualTo ?WIDTH (MeasureFn 200 NauticalMile))) |
Geography.kif 1067-1071 | |
| (=> (and (instance ?zone MaritimeShelfArea) (instance ?shelf ContinentalShelf) (instance ?country Nation) (meetsSpatially ?shelf ?country) (claimedTerritory ?zone ?country)) (overlapsSpatially ?zone ?shelf)) |
Geography.kif 1073-1080 |
|
|
|