| 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 964-966 | |
| (domain InnerBoundaryFn 1 Region) | Geography.kif 961-961 | InnerBoundaryFn の数値 1 引数は 地域 の instance では |
| (instance InnerBoundaryFn UnaryFunction) | Geography.kif 960-960 | InnerBoundaryFn は 1変数関数 の instance では |
| (range InnerBoundaryFn Region) | Geography.kif 962-962 | InnerBoundaryFn の range は 地域 のインスタンス では |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage InnerBoundaryFn "%1 的 inner 边界") | domainEnglishFormat.kif 1349-1349 | |
| (format ChineseTraditionalLanguage InnerBoundaryFn "%1 的 inner 邊界") | domainEnglishFormat.kif 1348-1348 | |
| (format EnglishLanguage InnerBoundaryFn "the inner boundary of %1") | domainEnglishFormat.kif 1347-1347 | |
| (termFormat ChineseLanguage InnerBoundaryFn "内部边界") | domainEnglishFormat.kif 30216-30216 | |
| (termFormat ChineseTraditionalLanguage InnerBoundaryFn "內部邊界") | domainEnglishFormat.kif 30215-30215 | |
| (termFormat EnglishLanguage InnerBoundaryFn "inner boundary") | domainEnglishFormat.kif 30214-30214 |
| 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 1002-1015 |
| consequent |
|
|
| (=> (instance ?AREA UniformPerimeterArea) (exists (?WIDTH) (distance (InnerBoundaryFn ?AREA) (OuterBoundaryFn ?AREA) ?WIDTH))) |
Geography.kif 990-993 |
|
| (=> (instance ?REGION Region) (superficialPart (InnerBoundaryFn ?REGION) ?REGION)) |
Geography.kif 968-970 |
|
|
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