| appearance as argument number 1 |
|
| (documentation InnerBoundaryFn EnglishLanguage "(InnerBoundaryFn ?REGION) denotes the inner boundary of the Region ?REGION, where ?REGION has an inner and outer orientation with respect to another object.") | Geography.kif 791-793 | |
| (domain InnerBoundaryFn 1 Region) | Geography.kif 788-788 | domain InnerBoundaryFn, 1 and 地域 |
| (instance InnerBoundaryFn UnaryFunction) | Geography.kif 787-787 | instance InnerBoundaryFn and 1変数関数 |
| (range InnerBoundaryFn Region) | Geography.kif 789-789 | range InnerBoundaryFn and 地域 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage InnerBoundaryFn "the inner boundary of %1") | domainEnglishFormat.kif 345-345 | |
| (termFormat EnglishLanguage InnerBoundaryFn "inner boundary") | domainEnglishFormat.kif 5451-5451 | termFormat EnglishLanguage, InnerBoundaryFn and "inner boundary" |
| antecedent |
|
|
| (=> (and (instance ?ZONE UniformPerimeterArea) (part ?INNER (InnerBoundaryFn ?ZONE))) (exists (?OUTER) (and (part ?OUTER (OuterBoundaryFn ?ZONE)) (distance ?INNER ?OUTER ?WIDTH)))) |
Geography.kif 829-836 |
| consequent |
|
|
| (=> (instance ?AREA UniformPerimeterArea) (exists (?WIDTH) (distance (InnerBoundaryFn ?AREA) (OuterBoundaryFn ?AREA) ?WIDTH))) |
Geography.kif 817-820 | |
| (=> (instance ?REGION Region) (superficialPart (InnerBoundaryFn ?REGION) ?REGION)) |
Geography.kif 795-797 |
|
|
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