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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1142-1146
(subclass ExclusiveFishingZone MaritimeClaimArea) Geography.kif 1139-1139
(subclass ExclusiveFishingZone SaltWaterArea) Geography.kif 1140-1140

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


(range ExclusiveFishingZoneFn ExclusiveFishingZone) Geography.kif 1157-1157
(termFormat ChineseLanguage ExclusiveFishingZone "专属捕鱼区") domainEnglishFormat.kif 22665-22665
(termFormat ChineseTraditionalLanguage ExclusiveFishingZone "專屬捕魚區") domainEnglishFormat.kif 22664-22664
(termFormat EnglishLanguage ExclusiveFishingZone "exclusive fishing zone") domainEnglishFormat.kif 22663-22663

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


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (ExclusiveFishingZoneFn ?AREA) ExclusiveFishingZone))
    (claimedTerritory
        (ExclusiveFishingZoneFn ?AREA) ?AREA))
Geography.kif 1164-1168
(=>
    (and
        (instance ?ZONE ExclusiveFishingZone)
        (linearExtent ?ZONE
            (MeasureFn ?WIDTH NauticalMile)))
    (lessThanOrEqualTo ?WIDTH 200.0))
Geography.kif 1148-1153


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 3.0 is open source software produced by Articulate Software and its partners