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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ExtendedFishingZone
ExtendedFishingZone(extended fishing zone)

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 1167-1171
(subclass ExtendedFishingZone MaritimeClaimArea) Geography.kif 1164-1164 Extended fishing zone is a subclass of maritime claim area
(subclass ExtendedFishingZone SaltWaterArea) Geography.kif 1165-1165 Extended fishing zone is a subclass of salt water area

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


(range ExtendedFishingZoneFn ExtendedFishingZone) Geography.kif 1182-1182 The range of extended fishing zone is an instance of extended fishing zone
(termFormat ChineseLanguage ExtendedFishingZone "延伸捕鱼区") domainEnglishFormat.kif 22978-22978
(termFormat ChineseTraditionalLanguage ExtendedFishingZone "延伸捕魚區") domainEnglishFormat.kif 22977-22977
(termFormat EnglishLanguage ExtendedFishingZone "extended fishing zone") domainEnglishFormat.kif 22976-22976

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


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (ExtendedFishingZoneFn ?AREA) ExtendedFishingZone))
    (claimedTerritory
        (ExtendedFishingZoneFn ?AREA) ?AREA))
Geography.kif 1189-1193
(=>
    (and
        (instance ?ZONE ExtendedFishingZone)
        (linearExtent ?ZONE
            (MeasureFn ?WIDTH NauticalMile)))
    (lessThanOrEqualTo ?WIDTH 200.0))
Geography.kif 1173-1178


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