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 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 |
![]() |
(=> (and (instance ?AREA GeopoliticalArea) (instance (ExtendedFishingZoneFn ?AREA) ExtendedFishingZone)) (claimedTerritory (ExtendedFishingZoneFn ?AREA) ?AREA)) |
Geography.kif 1353-1357 |
![]() |
![]() |