ExtendedFishingZoneFn - Sigma Knowledge base Browser

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 1348-1351
(domain ExtendedFishingZoneFn 1 GeopoliticalArea)	Geography.kif 1345-1345	ExtendedFishingZoneFn の数値 1 引数は地政学的地域の instance では
(instance ExtendedFishingZoneFn UnaryFunction)	Geography.kif 1344-1344	ExtendedFishingZoneFn は 1変数関数の instance では
(range ExtendedFishingZoneFn ExtendedFishingZone)	Geography.kif 1346-1346	ExtendedFishingZoneFn の range は 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 22987-22987
(termFormat ChineseTraditionalLanguage ExtendedFishingZoneFn "延伸捕魚區")	domainEnglishFormat.kif 22986-22986
(termFormat EnglishLanguage ExtendedFishingZoneFn "extended fishing zone")	domainEnglishFormat.kif 22985-22985

antecedent

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

Geography.kif 1353-1357

consequent

Geography.kif 1353-1357