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 1033-1040
(subclass MaritimeContiguousZone MaritimeClaimArea) Geography.kif 1030-1030 MaritimeContiguousZone è una sottoclasse di MaritimeClaimArea
(subclass MaritimeContiguousZone SaltWaterArea) Geography.kif 1031-1031 MaritimeContiguousZone è una sottoclasse di SuperficieAcquaticaSalata

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


(range MaritimeContiguousZoneFn MaritimeContiguousZone) Geography.kif 1044-1044 rango di MaritimeContiguousZoneFn è un'istanza di MaritimeContiguousZone
(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 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