OuterBoundaryFn |
appearance as argument number 1 |
(documentation OuterBoundaryFn EnglishLanguage "(OuterBoundaryFn ?REGION) denotes the outer boundary of the Region ?REGION, where ?REGION has an inner and outer orientation with respect to another object.") | Geography.kif 811-813 | |
(domain OuterBoundaryFn 1 Region) | Geography.kif 808-808 | OuterBoundaryFn の数値 1 引数は 地域 の instance では %n |
(instance OuterBoundaryFn UnaryFunction) | Geography.kif 807-807 | OuterBoundaryFn は 1変数関数 の instance では %n |
(range OuterBoundaryFn Region) | Geography.kif 809-809 | OuterBoundaryFn の range は 地域 のインスタンス では %n |
appearance as argument number 2 |
(format ChineseLanguage OuterBoundaryFn "%1 的 outer 边界") | domainEnglishFormat.kif 1879-1879 | |
(format ChineseTraditionalLanguage OuterBoundaryFn "%1 的 outer 邊界") | domainEnglishFormat.kif 1878-1878 | |
(format EnglishLanguage OuterBoundaryFn "the outer boundary of %1") | domainEnglishFormat.kif 1877-1877 | |
(termFormat ChineseLanguage OuterBoundaryFn "外边界") | domainEnglishFormat.kif 43680-43680 | |
(termFormat ChineseTraditionalLanguage OuterBoundaryFn "外邊界") | domainEnglishFormat.kif 43679-43679 | |
(termFormat EnglishLanguage OuterBoundaryFn "outer boundary") | domainEnglishFormat.kif 43678-43678 |
antecedent |
(=> (and (instance ?ZONE UniformPerimeterArea) (part ?INNER1 (InnerBoundaryFn ?ZONE)) (part ?OUTER1 (OuterBoundaryFn ?ZONE)) (distance ?INNER1 ?OUTER1 ?WIDTH1) (part ?INNER2 (InnerBoundaryFn ?ZONE)) (part ?OUTER2 (OuterBoundaryFn ?ZONE)) (distance ?INNER2 ?OUTER2 ?WIDTH2)) (equal ?WIDTH1 ?WIDTH2)) |
Geography.kif 837-850 |
|
consequent |
(=> (instance ?AREA UniformPerimeterArea) (exists (?WIDTH) (distance (InnerBoundaryFn ?AREA) (OuterBoundaryFn ?AREA) ?WIDTH))) |
Geography.kif 825-828 |
|
(=> (instance ?REGION Region) (superficialPart (OuterBoundaryFn ?REGION) ?REGION)) |
Geography.kif 815-817 |
|