TreeView Knowledge Base Browser - ExtendedFishingZoneFn

appearance as argument number 1

(documentation ExtendedFishingZoneFn EnglishLanguage "(ExtendedFishingZoneFn ?POLITY) denotes the ExtendedFishingZoneFn that is claimed by the GeopoliticalArea ?POLITY, beyond its ExclusiveFishingZone.")	Geography.kif 1184-1187
(domain ExtendedFishingZoneFn 1 GeopoliticalArea)	Geography.kif 1181-1181	Il numero 1 argomenti di ExtendedFishingZoneFn è un istanza di AreaGeopolitica
(instance ExtendedFishingZoneFn UnaryFunction)	Geography.kif 1180-1180	ExtendedFishingZoneFn è un' istanza di FunzioneUnaria
(range ExtendedFishingZoneFn ExtendedFishingZone)	Geography.kif 1182-1182	rango di ExtendedFishingZoneFn è un'istanza di ExtendedFishingZone

appearance as argument number 2

(format ChineseLanguage ExtendedFishingZoneFn "%1 的 extended 钓鱼区")	domainEnglishFormat.kif 979-979
(format ChineseTraditionalLanguage ExtendedFishingZoneFn "%1 的 extended 釣魚區")	domainEnglishFormat.kif 978-978
(format EnglishLanguage ExtendedFishingZoneFn "the extended fishing zone of %1")	domainEnglishFormat.kif 977-977
(termFormat ChineseLanguage ExtendedFishingZoneFn "延伸捕鱼区")	domainEnglishFormat.kif 22984-22984
(termFormat ChineseTraditionalLanguage ExtendedFishingZoneFn "延伸捕魚區")	domainEnglishFormat.kif 22983-22983
(termFormat EnglishLanguage ExtendedFishingZoneFn "extended fishing zone")	domainEnglishFormat.kif 22982-22982

antecedent

(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (ExtendedFishingZoneFn ?AREA) ExtendedFishingZone))
    (claimedTerritory
        (ExtendedFishingZoneFn ?AREA) ?AREA))

Geography.kif 1189-1193

consequent

Geography.kif 1189-1193