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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MaritimeExclusiveEconomicZone

Sigma KEE - MaritimeExclusiveEconomicZone
MaritimeExclusiveEconomicZone(海上专属经济区)

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


(documentation MaritimeExclusiveEconomicZone EnglishLanguage "MaritimeExclusiveEconomicZone is the subclass of MaritimeClaimArea that represents the offshore area that coastal nations can claim for fishing and other uses of the ocean water and seabed found there.") Geography.kif 1102-1105
(externalImage MaritimeExclusiveEconomicZone "http://upload.wikimedia.org/ wikipedia/ commons/ 7/ 7d/ Zonmar-en.svg") pictureList.kif 2488-2488
(subclass MaritimeExclusiveEconomicZone MaritimeClaimArea) Geography.kif 1099-1099 海上专属经济区海事索赔区subclass
(subclass MaritimeExclusiveEconomicZone SaltWaterArea) Geography.kif 1100-1100 海上专属经济区盐水区subclass

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


(range MaritimeExclusiveEconomicZoneFn MaritimeExclusiveEconomicZone) Geography.kif 1118-1118 海上专属经济区range海上专属经济区 的实例
(termFormat ChineseLanguage MaritimeExclusiveEconomicZone "海上专属经济区") domainEnglishFormat.kif 36221-36221
(termFormat ChineseTraditionalLanguage MaritimeExclusiveEconomicZone "海上專屬經濟區") domainEnglishFormat.kif 36220-36220
(termFormat EnglishLanguage MaritimeExclusiveEconomicZone "maritime exclusive economic zone") domainEnglishFormat.kif 36219-36219

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


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeExclusiveEconomicZoneFn ?AREA) MaritimeExclusiveEconomicZone))
    (claimedTerritory
        (MaritimeExclusiveEconomicZoneFn ?AREA) ?AREA))
Geography.kif 1125-1129
(=>
    (and
        (instance ?ZONE MaritimeExclusiveEconomicZone)
        (linearExtent ?ZONE
            (MeasureFn ?WIDTH NauticalMile)))
    (lessThanOrEqualTo ?WIDTH 200.0))
Geography.kif 1109-1114


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