Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MaritimeContiguousZone
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 1040-1047
(subclass MaritimeContiguousZone MaritimeClaimArea) Geography.kif 1037-1037
(subclass MaritimeContiguousZone SaltWaterArea) Geography.kif 1038-1038

appearance as argument number 2
-------------------------


(range MaritimeContiguousZoneFn MaritimeContiguousZone) Geography.kif 1051-1051
(termFormat ChineseLanguage MaritimeContiguousZone "海上毗连区") domainEnglishFormat.kif 36192-36192
(termFormat ChineseTraditionalLanguage MaritimeContiguousZone "海上毗連區") domainEnglishFormat.kif 36191-36191
(termFormat EnglishLanguage MaritimeContiguousZone "maritime contiguous zone") domainEnglishFormat.kif 36190-36190

antecedent
-------------------------


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeContiguousZoneFn ?AREA) MaritimeContiguousZone))
    (claimedTerritory
        (MaritimeContiguousZoneFn ?AREA) ?AREA))
Geography.kif 1057-1061
(=>
    (and
        (instance ?ZONE MaritimeContiguousZone)
        (claimedTerritory ?ZONE ?AREA)
        (instance ?WATER TerritorialSea)
        (claimedTerritory ?WATER ?AREA))
    (between ?AREA ?WATER ?ZONE))
Geography.kif 1213-1219


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