| 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 803-805 | |
| (domain OuterBoundaryFn 1 Region) | Geography.kif 800-800 | domain OuterBoundaryFn, 1 and 地域 |
| (instance OuterBoundaryFn UnaryFunction) | Geography.kif 799-799 | instance OuterBoundaryFn and 1変数関数 |
| (range OuterBoundaryFn Region) | Geography.kif 801-801 | range OuterBoundaryFn and 地域 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage OuterBoundaryFn "the outer boundary of %1") | domainEnglishFormat.kif 478-478 | |
| (termFormat EnglishLanguage OuterBoundaryFn "outer boundary") | domainEnglishFormat.kif 7698-7698 | termFormat EnglishLanguage, OuterBoundaryFn and "outer boundary" |
| consequent |
|
|
| (=> (and (instance ?ZONE UniformPerimeterArea) (part ?INNER (InnerBoundaryFn ?ZONE))) (exists (?OUTER) (and (part ?OUTER (OuterBoundaryFn ?ZONE)) (distance ?INNER ?OUTER ?WIDTH)))) |
Geography.kif 829-836 | |
| (=> (instance ?AREA UniformPerimeterArea) (exists (?WIDTH) (distance (InnerBoundaryFn ?AREA) (OuterBoundaryFn ?AREA) ?WIDTH))) |
Geography.kif 817-820 | |
| (=> (instance ?REGION Region) (superficialPart (OuterBoundaryFn ?REGION) ?REGION)) |
Geography.kif 807-809 |
|
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners