| 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 818-820 | |
| (domain OuterBoundaryFn 1 Region) | Geography.kif 815-815 | 外边界 的 1 数量 是 地区 的 instance |
| (instance OuterBoundaryFn UnaryFunction) | Geography.kif 814-814 | 外边界 是 一元函数 的 instance |
| (range OuterBoundaryFn Region) | Geography.kif 816-816 | 外边界 的 range 是 地区 的实例 |
| 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 43657-43657 | |
| (termFormat ChineseTraditionalLanguage OuterBoundaryFn "外邊界") | domainEnglishFormat.kif 43656-43656 | |
| (termFormat EnglishLanguage OuterBoundaryFn "outer boundary") | domainEnglishFormat.kif 43655-43655 |
| 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 844-857 |
| consequent |
|
|
| (=> (instance ?AREA UniformPerimeterArea) (exists (?WIDTH) (distance (InnerBoundaryFn ?AREA) (OuterBoundaryFn ?AREA) ?WIDTH))) |
Geography.kif 832-835 | |
| (=> (instance ?REGION Region) (superficialPart (OuterBoundaryFn ?REGION) ?REGION)) |
Geography.kif 822-824 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners