Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MaritimeContiguousZone(maritime contiguous zone) |
| appearance as argument number 1 |
|
| (subclass MaritimeContiguousZone MaritimeClaimArea) | Geography.kif 2487-2487 | Maritime contiguous zone is a subclass of maritime claim area |
| (subclass MaritimeContiguousZone SaltWaterArea) | Geography.kif 2488-2488 | Maritime contiguous zone is a subclass of salt water area |
| (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 2490-2497 | Maritime contiguous zone is a subclass of salt water area |
| appearance as argument number 2 |
|
|
| (range MaritimeContiguousZoneFn MaritimeContiguousZone) | Geography.kif 2501-2501 | The range of maritime contiguous zone is an instance of maritime contiguous zone |
| (termFormat EnglishLanguage MaritimeContiguousZone "maritime contiguous zone") | domainEnglishFormat.kif 36209-36209 | The range of maritime contiguous zone is an instance of maritime contiguous zone |
| (termFormat ChineseTraditionalLanguage MaritimeContiguousZone "海上毗連區") | domainEnglishFormat.kif 36210-36210 | The range of maritime contiguous zone is an instance of maritime contiguous zone |
| (termFormat ChineseLanguage MaritimeContiguousZone "海上毗连区") | domainEnglishFormat.kif 36211-36211 | 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 2507-2511 | If X is an instance of geopolitical area and the maritime contiguous zone of X is an instance of maritime contiguous zone, then X is a claimed territory of the maritime contiguous zone of X |
| (=> (and (instance ?ZONE MaritimeContiguousZone) (claimedTerritory ?ZONE ?AREA) (instance ?WATER TerritorialSea) (claimedTerritory ?WATER ?AREA)) (between ?AREA ?WATER ?ZONE)) |
Geography.kif 2663-2669 | If X is an instance of maritime contiguous zone, Y is a claimed territory of X, Z is an instance of territorial sea, and Y is a claimed territory of Z, then Z is between Y and X |
|