| MaritimeExclusiveEconomicZone(maritime exclusive economic zone)
|
| 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 1096-1099 | |
| (externalImage MaritimeExclusiveEconomicZone "http://upload.wikimedia.org/ wikipedia/ commons/ 7/ 7d/ Zonmar_en.svg") | pictureList.kif 2487-2487 | |
| (subclass MaritimeExclusiveEconomicZone MaritimeClaimArea) | Geography.kif 1093-1093 | Maritime exclusive economic zone is a subclass of maritime claim area |
| (subclass MaritimeExclusiveEconomicZone SaltWaterArea) | Geography.kif 1094-1094 | Maritime exclusive economic zone is a subclass of salt water area |
| appearance as argument number 2 |
|
|
| (range MaritimeExclusiveEconomicZoneFn MaritimeExclusiveEconomicZone) | Geography.kif 1112-1112 | The range of maritime exclusive economic zone is an instance of maritime exclusive economic zone |
| (termFormat ChineseLanguage MaritimeExclusiveEconomicZone "海上专属经济区") | domainEnglishFormat.kif 36247-36247 | The range of maritime exclusive economic zone is an instance of maritime exclusive economic zone |
| (termFormat ChineseTraditionalLanguage MaritimeExclusiveEconomicZone "海上專屬經濟區") | domainEnglishFormat.kif 36246-36246 | The range of maritime exclusive economic zone is an instance of maritime exclusive economic zone |
| (termFormat EnglishLanguage MaritimeExclusiveEconomicZone "maritime exclusive economic zone") | domainEnglishFormat.kif 36245-36245 | The range of maritime exclusive economic zone is an instance of maritime exclusive economic zone |
| antecedent |
|
|
| (=> (and (instance ?AREA GeopoliticalArea) (instance (MaritimeExclusiveEconomicZoneFn ?AREA) MaritimeExclusiveEconomicZone)) (claimedTerritory (MaritimeExclusiveEconomicZoneFn ?AREA) ?AREA)) |
Geography.kif 1119-1123 |
|
| (=> (and (instance ?ZONE MaritimeExclusiveEconomicZone) (linearExtent ?ZONE (MeasureFn ?WIDTH NauticalMile))) (lessThanOrEqualTo ?WIDTH 200.0)) |
Geography.kif 1103-1108 |
|
|
|
|