MaritimeContiguousZone |
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 1033-1040 | |
(subclass MaritimeContiguousZone MaritimeClaimArea) | Geography.kif 1030-1030 | MaritimeContiguousZone è una sottoclasse di MaritimeClaimArea |
(subclass MaritimeContiguousZone SaltWaterArea) | Geography.kif 1031-1031 | MaritimeContiguousZone è una sottoclasse di SuperficieAcquaticaSalata |
appearance as argument number 2 |
(range MaritimeContiguousZoneFn MaritimeContiguousZone) | Geography.kif 1044-1044 | rango di MaritimeContiguousZoneFn è un'istanza di MaritimeContiguousZone |
(termFormat ChineseLanguage MaritimeContiguousZone "海上毗连区") | domainEnglishFormat.kif 36209-36209 | |
(termFormat ChineseTraditionalLanguage MaritimeContiguousZone "海上毗連區") | domainEnglishFormat.kif 36208-36208 | |
(termFormat EnglishLanguage MaritimeContiguousZone "maritime contiguous zone") | domainEnglishFormat.kif 36207-36207 |
antecedent |
(=> (and (instance ?AREA GeopoliticalArea) (instance (MaritimeContiguousZoneFn ?AREA) MaritimeContiguousZone)) (claimedTerritory (MaritimeContiguousZoneFn ?AREA) ?AREA)) |
Geography.kif 1050-1054 | |
(=> (and (instance ?ZONE MaritimeContiguousZone) (claimedTerritory ?ZONE ?AREA) (instance ?WATER TerritorialSea) (claimedTerritory ?WATER ?AREA)) (between ?AREA ?WATER ?ZONE)) |
Geography.kif 1206-1212 |