| 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 1032-1039 | |
| (subclass MaritimeContiguousZone MaritimeClaimArea) | Geography.kif 1029-1029 | Maritime contiguous zone is a subclass of maritime claim area |
| (subclass MaritimeContiguousZone SaltWaterArea) | Geography.kif 1030-1030 | Maritime contiguous zone is a subclass of salt water area |
| appearance as argument number 2 |
|
|
| (range MaritimeContiguousZoneFn MaritimeContiguousZone) | Geography.kif 1043-1043 | The range of maritime contiguous zone is an instance of maritime contiguous zone |
| (termFormat ChineseLanguage MaritimeContiguousZone "海上毗连区") | domainEnglishFormat.kif 36124-36124 | |
| (termFormat ChineseTraditionalLanguage MaritimeContiguousZone "海上毗連區") | domainEnglishFormat.kif 36123-36123 | |
| (termFormat EnglishLanguage MaritimeContiguousZone "maritime contiguous zone") | domainEnglishFormat.kif 36122-36122 |
| antecedent |
|
|
| (=> (and (instance ?AREA GeopoliticalArea) (instance (MaritimeContiguousZoneFn ?AREA) MaritimeContiguousZone)) (claimedTerritory (MaritimeContiguousZoneFn ?AREA) ?AREA)) |
Geography.kif 1049-1053 |
|
| (=> (and (instance ?ZONE MaritimeContiguousZone) (claimedTerritory ?ZONE ?AREA) (instance ?WATER TerritorialSea) (claimedTerritory ?WATER ?AREA)) (between ?AREA ?WATER ?ZONE)) |
Geography.kif 1201-1207 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners