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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ExclusiveFishingZone

Sigma KEE - ExclusiveFishingZone
ExclusiveFishingZone(专属捕鱼区)

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


(documentation ExclusiveFishingZone EnglishLanguage "ExclusiveFishingZone is the subclass of MaritimeClaimArea including offshore areas over which a nation claims exclusive jurisdiction only for fishing purposes (cf. MaritimeExclusiveEconomicZone). Zone widths vary up to 200 miles (NM).") Geography.kif 1135-1139
(subclass ExclusiveFishingZone MaritimeClaimArea) Geography.kif 1132-1132 专属捕鱼区海事索赔区subclass
(subclass ExclusiveFishingZone SaltWaterArea) Geography.kif 1133-1133 专属捕鱼区盐水区subclass

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


(range ExclusiveFishingZoneFn ExclusiveFishingZone) Geography.kif 1150-1150 专属捕鱼区range专属捕鱼区 的实例
(termFormat ChineseLanguage ExclusiveFishingZone "专属捕鱼区") domainEnglishFormat.kif 22672-22672
(termFormat ChineseTraditionalLanguage ExclusiveFishingZone "專屬捕魚區") domainEnglishFormat.kif 22671-22671
(termFormat EnglishLanguage ExclusiveFishingZone "exclusive fishing zone") domainEnglishFormat.kif 22670-22670

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


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (ExclusiveFishingZoneFn ?AREA) ExclusiveFishingZone))
    (claimedTerritory
        (ExclusiveFishingZoneFn ?AREA) ?AREA))
Geography.kif 1157-1161
(=>
    (and
        (instance ?ZONE ExclusiveFishingZone)
        (linearExtent ?ZONE
            (MeasureFn ?WIDTH NauticalMile)))
    (lessThanOrEqualTo ?WIDTH 200.0))
Geography.kif 1141-1146


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