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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 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 36103-36103
(termFormat ChineseTraditionalLanguage MaritimeContiguousZone "海上毗連區") domainEnglishFormat.kif 36102-36102
(termFormat EnglishLanguage MaritimeContiguousZone "maritime contiguous zone") domainEnglishFormat.kif 36101-36101

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners