Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - InnerBoundaryFn
InnerBoundaryFn

appearance as argument number 1
-------------------------


(instance InnerBoundaryFn UnaryFunction) Geography.kif 2266-2266 Inner boundary is an instance of unary function
(domain InnerBoundaryFn 1 Region) Geography.kif 2267-2267 The number 1 argument of inner boundary is an instance of region
(range InnerBoundaryFn Region) Geography.kif 2268-2268 The range of inner boundary is an instance of region
(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 2270-2272 The range of inner boundary is an instance of region

appearance as argument number 2
-------------------------


(format EnglishLanguage InnerBoundaryFn "the inner boundary of %1") domainEnglishFormat.kif 1347-1347
(format ChineseTraditionalLanguage InnerBoundaryFn "%1 的 inner 邊界") domainEnglishFormat.kif 1348-1348
(format ChineseLanguage InnerBoundaryFn "%1 的 inner 边界") domainEnglishFormat.kif 1349-1349
(termFormat EnglishLanguage InnerBoundaryFn "inner boundary") domainEnglishFormat.kif 30207-30207
(termFormat ChineseTraditionalLanguage InnerBoundaryFn "內部邊界") domainEnglishFormat.kif 30208-30208
(termFormat ChineseLanguage InnerBoundaryFn "内部边界") domainEnglishFormat.kif 30209-30209

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 2295-2308 If All of the following hold: (1) X is an instance of uniform perimeter area (2) Y is a part of the inner boundary of X (3) Z is a part of the outer boundary of X (4) the distance between Y and Z is W (5) V is a part of the inner boundary of X (6) U is a part of the outer boundary of X (7) the distance between V and U is T, then equal W and T

consequent
-------------------------


(=>
    (instance ?REGION Region)
    (superficialPart
        (InnerBoundaryFn ?REGION) ?REGION))		 Geography.kif 2274-2276 If X is an instance of region, then the inner boundary of X is a superficial part of X
(=>
    (instance ?AREA UniformPerimeterArea)
    (exists (?WIDTH)
        (distance
            (InnerBoundaryFn ?AREA)
            (OuterBoundaryFn ?AREA) ?WIDTH)))		 Geography.kif 2283-2286 If X is an instance of uniform perimeter area, then there exists Y such that the distance between the inner boundary of X and the outer boundary of X is Y


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners