PerimeterAreaFn |
appearance as argument number 1 |
![]() |
(documentation PerimeterAreaFn EnglishLanguage "(PerimeterAreaFn ?REGION) denotes a class including any peripheral zones extending outward from the Region ?REGION.") | Geography.kif 937-939 | |
(domain PerimeterAreaFn 1 Region) | Geography.kif 934-934 | The number 1 argument of perimeter area is an instance of region |
(instance PerimeterAreaFn UnaryFunction) | Geography.kif 933-933 | Perimeter area is an instance of unary function |
(rangeSubclass PerimeterAreaFn PerimeterArea) | Geography.kif 935-935 | The values returned by perimeter area are subclasses of perimeter area |
appearance as argument number 2 |
![]() |
(format ChineseLanguage PerimeterAreaFn "%1 的 perimeter 地区") | domainEnglishFormat.kif 1947-1947 | |
(format ChineseTraditionalLanguage PerimeterAreaFn "%1 的 perimeter 地區") | domainEnglishFormat.kif 1946-1946 | |
(format EnglishLanguage PerimeterAreaFn "the perimeter area of %1") | domainEnglishFormat.kif 1945-1945 | |
(termFormat ChineseLanguage PerimeterAreaFn "周边区域") | domainEnglishFormat.kif 45182-45182 | |
(termFormat ChineseTraditionalLanguage PerimeterAreaFn "周邊區域") | domainEnglishFormat.kif 45181-45181 | |
(termFormat EnglishLanguage PerimeterAreaFn "perimeter area") | domainEnglishFormat.kif 45180-45180 |
antecedent |
![]() |
consequent |
![]() |
(=> (instance ?region GeopoliticalArea) (instance (MaritimeClaimsTerritorialSeaFn ?region) (PerimeterAreaFn ?region))) |
Geography.kif 952-954 |
|
![]() |
![]() |