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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ExtendedFishingZone

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 1167-1171
(subclass ExtendedFishingZone MaritimeClaimArea) Geography.kif 1164-1164 ExtendedFishingZone e' uma sub-classe de MaritimeClaimArea
(subclass ExtendedFishingZone SaltWaterArea) Geography.kif 1165-1165 ExtendedFishingZone e' uma sub-classe de Area Aquatica salgada

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


(range ExtendedFishingZoneFn ExtendedFishingZone) Geography.kif 1182-1182 O contra-dominio de ExtendedFishingZoneFn e' uma instancia de ExtendedFishingZone
(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 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