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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TerritorialSea
TerritorialSea(territorial sea)
territorial_sea, 領海, 领海

appearance as argument number 1
-------------------------


(documentation TerritorialSea EnglishLanguage "TerritorialSea is the class of contiguous waters over which a GeopoliticalArea claims jurisdiction in accordance with the United Nations Convention on the LawOfTheSea (LOS), Part II. A territorial sea may be up to 12 miles (NauticalMiles) in breadth. A subclass of MaritimeClaimArea.") Geography.kif 1194-1199
(externalImage TerritorialSea "http://upload.wikimedia.org/wikipedia/commons/ 8/ 86/ Map_of_Sealand_with_territorial_waters.png") pictureList.kif 3006-3006 "http://upload.wikimedia.org/wikipedia/commons/8/86/ Map_of_Sealand_with_territorial_waters.png" is a URL depicting territorial sea
(subclass TerritorialSea MaritimeClaimArea) Geography.kif 1191-1191 Territorial sea is a subclass of maritime claim area
(subclass TerritorialSea SaltWaterArea) Geography.kif 1192-1192 Territorial sea is a subclass of salt water area

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


(range TerritorialSeaFn TerritorialSea) Geography.kif 1217-1217 The range of territorial sea is an instance of territorial sea
(termFormat ChineseLanguage TerritorialSea "领海") domainEnglishFormat.kif 57535-57535 "领海" is the printable form of territorial sea in ChineseLanguage
(termFormat ChineseTraditionalLanguage TerritorialSea "領海") domainEnglishFormat.kif 57534-57534 "領海" is the printable form of territorial sea in ChineseTraditionalLanguage
(termFormat EnglishLanguage TerritorialSea "territorial sea") domainEnglishFormat.kif 57533-57533 "territorial sea" is the printable form of territorial sea in english language

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


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (TerritorialSeaFn ?AREA) TerritorialSea))
    (claimedTerritory
        (TerritorialSeaFn ?AREA) ?AREA))
Geography.kif 1222-1226
(=>
    (and
        (instance ?ZONE MaritimeContiguousZone)
        (claimedTerritory ?ZONE ?AREA)
        (instance ?WATER TerritorialSea)
        (claimedTerritory ?WATER ?AREA))
    (between ?AREA ?WATER ?ZONE))
Geography.kif 1201-1207
(=>
    (and
        (instance ?ZONE TerritorialSea)
        (linearExtent ?ZONE ?WIDTH))
    (lessThanOrEqualTo ?WIDTH
        (MeasureFn 12 NauticalMile)))
Geography.kif 1209-1213


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