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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TerritorialSea

Sigma KEE - TerritorialSea
TerritorialSea

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 1206-1211
(externalImage TerritorialSea "http://upload.wikimedia.org/wikipedia/commons/ 8/ 86/ Map_of_Sealand_with_territorial_waters.png") pictureList.kif 3006-3006
(subclass TerritorialSea MaritimeClaimArea) Geography.kif 1203-1203
(subclass TerritorialSea SaltWaterArea) Geography.kif 1204-1204

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


(range TerritorialSeaFn TerritorialSea) Geography.kif 1230-1230
(termFormat ChineseLanguage TerritorialSea "领海") domainEnglishFormat.kif 57563-57563
(termFormat ChineseTraditionalLanguage TerritorialSea "領海") domainEnglishFormat.kif 57562-57562
(termFormat EnglishLanguage TerritorialSea "territorial sea") domainEnglishFormat.kif 57561-57561

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


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (TerritorialSeaFn ?AREA) TerritorialSea))
    (claimedTerritory
        (TerritorialSeaFn ?AREA) ?AREA))
Geography.kif 1235-1239
(=>
    (and
        (instance ?ZONE MaritimeContiguousZone)
        (claimedTerritory ?ZONE ?AREA)
        (instance ?WATER TerritorialSea)
        (claimedTerritory ?WATER ?AREA))
    (between ?AREA ?WATER ?ZONE))
Geography.kif 1213-1219
(=>
    (and
        (instance ?ZONE TerritorialSea)
        (linearExtent ?ZONE
            (MeasureFn ?WIDTH NauticalMile)))
    (lessThanOrEqualTo ?WIDTH 12.0))
Geography.kif 1221-1226


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