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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ExtendedFishingZone
ExtendedFishingZone

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


(documentation ExtendedFishingZone EnglishLanguage "ExtendedFishingZone is the subclass of MaritimeClaimArea that includes offshore areas over which a nation claims fishing rights, beyond that nation's ExclusiveFishingZone. Zone widths vary, from as little as 12 miles (NM) up to a width of 200 miles (NM).") Geography.kif 1174-1178
(subclass ExtendedFishingZone MaritimeClaimArea) Geography.kif 1171-1171
(subclass ExtendedFishingZone SaltWaterArea) Geography.kif 1172-1172

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


(range ExtendedFishingZoneFn ExtendedFishingZone) Geography.kif 1189-1189
(termFormat ChineseLanguage ExtendedFishingZone "延伸捕鱼区") domainEnglishFormat.kif 22971-22971
(termFormat ChineseTraditionalLanguage ExtendedFishingZone "延伸捕魚區") domainEnglishFormat.kif 22970-22970
(termFormat EnglishLanguage ExtendedFishingZone "extended fishing zone") domainEnglishFormat.kif 22969-22969

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


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (ExtendedFishingZoneFn ?AREA) ExtendedFishingZone))
    (claimedTerritory
        (ExtendedFishingZoneFn ?AREA) ?AREA))
Geography.kif 1196-1200
(=>
    (and
        (instance ?ZONE ExtendedFishingZone)
        (linearExtent ?ZONE
            (MeasureFn ?WIDTH NauticalMile)))
    (lessThanOrEqualTo ?WIDTH 200.0))
Geography.kif 1180-1185


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