| 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 976-978 | |
| (domain OuterBoundaryFn 1 Region) | Geography.kif 973-973 | Le nombre 1 argument de OuterBoundaryFn est une instance de r�gion |
| (instance OuterBoundaryFn UnaryFunction) | Geography.kif 972-972 | OuterBoundaryFn est une instance de function unaire |
| (range OuterBoundaryFn Region) | Geography.kif 974-974 | Le domaine de OuterBoundaryFn est une instance de r�gion |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage OuterBoundaryFn "%1 的 outer 边界") | domainEnglishFormat.kif 1883-1883 | |
| (format ChineseTraditionalLanguage OuterBoundaryFn "%1 的 outer 邊界") | domainEnglishFormat.kif 1882-1882 | |
| (format EnglishLanguage OuterBoundaryFn "the outer boundary of %1") | domainEnglishFormat.kif 1881-1881 | |
| (termFormat ChineseLanguage OuterBoundaryFn "外边界") | domainEnglishFormat.kif 43682-43682 | |
| (termFormat ChineseTraditionalLanguage OuterBoundaryFn "外邊界") | domainEnglishFormat.kif 43681-43681 | |
| (termFormat EnglishLanguage OuterBoundaryFn "outer boundary") | domainEnglishFormat.kif 43680-43680 |
| 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 (OuterBoundaryFn ?REGION) ?REGION)) |
Geography.kif 980-982 |
|
|
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