UniformPerimeterArea
|
|
appearance as argument number 1 |
(documentation UniformPerimeterArea EnglishLanguage "A UniformPerimeterArea is one that has a defined uniform width.") | Geography.kif 822-823 | |
(subclass UniformPerimeterArea PerimeterArea) | Geography.kif 820-820 | UniformPerimeterArea は PerimeterArea の subclass では %n |
appearance as argument number 2 |
(termFormat ChineseLanguage UniformPerimeterArea "均匀的周边区域") | domainEnglishFormat.kif 59956-59956 | |
(termFormat ChineseTraditionalLanguage UniformPerimeterArea "均勻的周邊區域") | domainEnglishFormat.kif 59955-59955 | |
(termFormat EnglishLanguage UniformPerimeterArea "uniform perimeter area") | domainEnglishFormat.kif 59954-59954 |
antecedent |
consequent |
(=> (instance ?region GeopoliticalArea) (instance (MaritimeClaimsTerritorialSeaFn ?region) UniformPerimeterArea)) |
Geography.kif 791-793 |
|