| 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 1266-1269 | |
| (externalImage MaritimeExclusiveEconomicZone "http://upload.wikimedia.org/ wikipedia/ commons/ 7/ 7d/ Zonmar_en.svg") | pictureList.kif 2487-2487 | |
| (subclass MaritimeExclusiveEconomicZone MaritimeClaimArea) | Geography.kif 1263-1263 | MaritimeExclusiveEconomicZone は MaritimeClaimArea の subclass では |
| (subclass MaritimeExclusiveEconomicZone SaltWaterArea) | Geography.kif 1264-1264 | MaritimeExclusiveEconomicZone は 塩水地域 の subclass では |
| appearance as argument number 2 |
|
|
| (range MaritimeExclusiveEconomicZoneFn MaritimeExclusiveEconomicZone) | Geography.kif 1282-1282 | MaritimeExclusiveEconomicZoneFn の range は MaritimeExclusiveEconomicZone のインスタンス では |
| (termFormat ChineseLanguage MaritimeExclusiveEconomicZone "海上专属经济区") | domainEnglishFormat.kif 36230-36230 | MaritimeExclusiveEconomicZoneFn の range は MaritimeExclusiveEconomicZone のインスタンス では |
| (termFormat ChineseTraditionalLanguage MaritimeExclusiveEconomicZone "海上專屬經濟區") | domainEnglishFormat.kif 36229-36229 | MaritimeExclusiveEconomicZoneFn の range は MaritimeExclusiveEconomicZone のインスタンス では |
| (termFormat EnglishLanguage MaritimeExclusiveEconomicZone "maritime exclusive economic zone") | domainEnglishFormat.kif 36228-36228 | MaritimeExclusiveEconomicZoneFn の range は MaritimeExclusiveEconomicZone のインスタンス では |
| antecedent |
|
|
| (=> (and (instance ?AREA GeopoliticalArea) (instance (MaritimeExclusiveEconomicZoneFn ?AREA) MaritimeExclusiveEconomicZone)) (claimedTerritory (MaritimeExclusiveEconomicZoneFn ?AREA) ?AREA)) |
Geography.kif 1289-1293 | |
| (=> (and (instance ?ZONE MaritimeExclusiveEconomicZone) (linearExtent ?ZONE (MeasureFn ?WIDTH NauticalMile))) (lessThanOrEqualTo ?WIDTH 200.0)) |
Geography.kif 1273-1278 |
|
|
|
|