TreeView Knowledge Base Browser - ExclusiveFishingZoneFn

appearance as argument number 1

(documentation ExclusiveFishingZoneFn EnglishLanguage "(ExclusiveFishingZoneFn ?POLITY) denotes the ExclusiveFishingZone that is claimed by the GeopoliticalArea ?POLITY.")	Geography.kif 1152-1155
(domain ExclusiveFishingZoneFn 1 GeopoliticalArea)	Geography.kif 1149-1149	ExclusiveFishingZoneFn の数値 1 引数は地政学的地域の instance では %n
(instance ExclusiveFishingZoneFn UnaryFunction)	Geography.kif 1148-1148	ExclusiveFishingZoneFn は 1変数関数の instance では %n
(range ExclusiveFishingZoneFn ExclusiveFishingZone)	Geography.kif 1150-1150	ExclusiveFishingZoneFn の range は ExclusiveFishingZone のインスタンスでは %n

appearance as argument number 2

(format ChineseLanguage ExclusiveFishingZoneFn "%1 的 exclusive 钓鱼区")	domainEnglishFormat.kif 927-927
(format ChineseTraditionalLanguage ExclusiveFishingZoneFn "%1 的 exclusive 釣魚區")	domainEnglishFormat.kif 926-926
(format EnglishLanguage ExclusiveFishingZoneFn "the exclusive fishing zone of %1")	domainEnglishFormat.kif 925-925
(termFormat ChineseLanguage ExclusiveFishingZoneFn "专属捕鱼区")	domainEnglishFormat.kif 22678-22678
(termFormat ChineseTraditionalLanguage ExclusiveFishingZoneFn "專屬捕魚區")	domainEnglishFormat.kif 22677-22677
(termFormat EnglishLanguage ExclusiveFishingZoneFn "exclusive fishing zone")	domainEnglishFormat.kif 22676-22676

antecedent

(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (ExclusiveFishingZoneFn ?AREA) ExclusiveFishingZone))
    (claimedTerritory
        (ExclusiveFishingZoneFn ?AREA) ?AREA))

Geography.kif 1157-1161

consequent

Geography.kif 1157-1161