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 |
(=> (and (instance ?AREA GeopoliticalArea) (instance (ExclusiveFishingZoneFn ?AREA) ExclusiveFishingZone)) (claimedTerritory (ExclusiveFishingZoneFn ?AREA) ?AREA)) |
Geography.kif 1157-1161 |
|