MaritimeContiguousZone(maritime contiguous zone) |
appearance as argument number 1 |
![]() |
(documentation MaritimeContiguousZone EnglishLanguage "MaritimeContiguousZone is the subclass of MaritimeClaimArea that includes areas over which a geopolitical state may exercise some control of activities beyond the 12-mile zone of its TerritorialSea. In general, the authorized control is for preventing or punishing activities that would violate laws applying within the 12-mile zone (that is, authorization to chase and intercept). According to the LawOfTheSea, a MaritimeContiguousZone may extend up to 24 nautical miles from the coast.") | Geography.kif 1197-1204 | |
(subclass MaritimeContiguousZone MaritimeClaimArea) | Geography.kif 1194-1194 | Maritime contiguous zone is a subclass of maritime claim area |
(subclass MaritimeContiguousZone SaltWaterArea) | Geography.kif 1195-1195 | Maritime contiguous zone is a subclass of salt water area |
appearance as argument number 2 |
![]() |
(range MaritimeContiguousZoneFn MaritimeContiguousZone) | Geography.kif 1208-1208 | The range of maritime contiguous zone is an instance of maritime contiguous zone |
(termFormat ChineseLanguage MaritimeContiguousZone "海上毗连区") | domainEnglishFormat.kif 36218-36218 | The range of maritime contiguous zone is an instance of maritime contiguous zone |
(termFormat ChineseTraditionalLanguage MaritimeContiguousZone "海上毗連區") | domainEnglishFormat.kif 36217-36217 | The range of maritime contiguous zone is an instance of maritime contiguous zone |
(termFormat EnglishLanguage MaritimeContiguousZone "maritime contiguous zone") | domainEnglishFormat.kif 36216-36216 | The range of maritime contiguous zone is an instance of maritime contiguous zone |
antecedent |
![]() |
(=> (and (instance ?AREA GeopoliticalArea) (instance (MaritimeContiguousZoneFn ?AREA) MaritimeContiguousZone)) (claimedTerritory (MaritimeContiguousZoneFn ?AREA) ?AREA)) |
Geography.kif 1214-1218 |
|
(=> (and (instance ?ZONE MaritimeContiguousZone) (claimedTerritory ?ZONE ?AREA) (instance ?WATER TerritorialSea) (claimedTerritory ?WATER ?AREA)) (between ?AREA ?WATER ?ZONE)) |
Geography.kif 1370-1376 |
|
![]() |
![]() |