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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 1199-1204
(externalImage TerritorialSea " 8/ 86/ Map_of_Sealand_with_territorial_waters.png") pictureList.kif 3005-3005
(subclass TerritorialSea MaritimeClaimArea) Geography.kif 1196-1196 TerritorialSea est une sous-classe de MaritimeClaimArea
(subclass TerritorialSea SaltWaterArea) Geography.kif 1197-1197 TerritorialSea est une sous-classe de plan d'eau sal�

appearance as argument number 2

(range TerritorialSeaFn TerritorialSea) Geography.kif 1223-1223 Le domaine de TerritorialSeaFn est une instance de TerritorialSea
(termFormat ChineseLanguage TerritorialSea "领海") domainEnglishFormat.kif 57596-57596
(termFormat ChineseTraditionalLanguage TerritorialSea "領海") domainEnglishFormat.kif 57595-57595
(termFormat EnglishLanguage TerritorialSea "territorial sea") domainEnglishFormat.kif 57594-57594


        (instance ?AREA GeopoliticalArea)
            (TerritorialSeaFn ?AREA) TerritorialSea))
        (TerritorialSeaFn ?AREA) ?AREA))
Geography.kif 1228-1232
        (instance ?ZONE MaritimeContiguousZone)
        (claimedTerritory ?ZONE ?AREA)
        (instance ?WATER TerritorialSea)
        (claimedTerritory ?WATER ?AREA))
    (between ?AREA ?WATER ?ZONE))
Geography.kif 1206-1212
        (instance ?ZONE TerritorialSea)
        (linearExtent ?ZONE
            (MeasureFn ?WIDTH NauticalMile)))
    (lessThanOrEqualTo ?WIDTH 12.0))
Geography.kif 1214-1219

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