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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MaritimeContiguousZone

Sigma KEE - MaritimeContiguousZone
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 1033-1040
(subclass MaritimeContiguousZone MaritimeClaimArea) Geography.kif 1030-1030 Maritime contiguous zone is a subclass of maritime claim area
(subclass MaritimeContiguousZone SaltWaterArea) Geography.kif 1031-1031 Maritime contiguous zone is a subclass of salt water area

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


(range MaritimeContiguousZoneFn MaritimeContiguousZone) Geography.kif 1044-1044 The range of maritime contiguous zone is an instance of maritime contiguous zone
(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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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