| MaritimeExclusiveEconomicZone
| |
| appearance as argument number 1 |
|
|
| (documentation MaritimeExclusiveEconomicZone EnglishLanguage "MaritimeExclusiveEconomicZone is the subclass of MaritimeClaimArea that represents the offshore area that coastal nations can claim for fishing and other uses of the ocean water and seabed found there.") | Geography.kif 1100-1103 | |
| (externalImage MaritimeExclusiveEconomicZone "http://upload.wikimedia.org/ wikipedia/ commons/ 7/ 7d/ Zonmar-en.svg") | pictureList.kif 2489-2489 | externalImage MaritimeExclusiveEconomicZone and "http://upload.wikimedia.org/wikipedia/commons/7/7d/ Zonmar-en.svg" |
| (subclass MaritimeExclusiveEconomicZone MaritimeClaimArea) | Geography.kif 1097-1097 | subclass MaritimeExclusiveEconomicZone and MaritimeClaimArea |
| (subclass MaritimeExclusiveEconomicZone SaltWaterArea) | Geography.kif 1098-1098 | subclass MaritimeExclusiveEconomicZone and SaltWaterArea |
| appearance as argument number 2 |
|
|
| (range MaritimeExclusiveEconomicZoneFn MaritimeExclusiveEconomicZone) | Geography.kif 1115-1115 | range MaritimeExclusiveEconomicZoneFn and MaritimeExclusiveEconomicZone |
| (termFormat ChineseLanguage MaritimeExclusiveEconomicZone "海上专属经济区") | domainEnglishFormat.kif 36133-36133 | termFormat ChineseLanguage, MaritimeExclusiveEconomicZone and "海上专属经济区" |
| (termFormat ChineseTraditionalLanguage MaritimeExclusiveEconomicZone "海上專屬經濟區") | domainEnglishFormat.kif 36132-36132 | termFormat ChineseTraditionalLanguage, MaritimeExclusiveEconomicZone and "海上專屬經濟區" |
| (termFormat EnglishLanguage MaritimeExclusiveEconomicZone "maritime exclusive economic zone") | domainEnglishFormat.kif 36131-36131 | termFormat EnglishLanguage, MaritimeExclusiveEconomicZone and "maritime exclusive economic zone" |
| antecedent |
|
|
| (=> (and (instance ?AREA GeopoliticalArea) (instance (MaritimeExclusiveEconomicZoneFn ?AREA) MaritimeExclusiveEconomicZone)) (claimedTerritory (MaritimeExclusiveEconomicZoneFn ?AREA) ?AREA)) |
Geography.kif 1122-1126 | |
| (=> (and (instance ?ZONE MaritimeExclusiveEconomicZone) (linearExtent ?ZONE ?WIDTH)) (lessThanOrEqualTo ?WIDTH (MeasureFn 200 NauticalMile))) |
Geography.kif 1107-1111 |
|
|
|