| 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 794-796 | |
| (domain InnerBoundaryFn 1 Region) | Geography.kif 791-791 | Le nombre 1 argument de InnerBoundaryFn est une instance de r�gion |
| (instance InnerBoundaryFn UnaryFunction) | Geography.kif 790-790 | InnerBoundaryFn est une instance de function unaire |
| (range InnerBoundaryFn Region) | Geography.kif 792-792 | Le domaine de InnerBoundaryFn est une instance de r�gion |
| 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 30233-30233 | |
| (termFormat ChineseTraditionalLanguage InnerBoundaryFn "內部邊界") | domainEnglishFormat.kif 30232-30232 | |
| (termFormat EnglishLanguage InnerBoundaryFn "inner boundary") | domainEnglishFormat.kif 30231-30231 |
| 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 832-845 |
|
| consequent |
|
|
| (=> (instance ?AREA UniformPerimeterArea) (exists (?WIDTH) (distance (InnerBoundaryFn ?AREA) (OuterBoundaryFn ?AREA) ?WIDTH))) |
Geography.kif 820-823 |
|
| (=> (instance ?REGION Region) (superficialPart (InnerBoundaryFn ?REGION) ?REGION)) |
Geography.kif 798-800 |
|
|
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