InnerBoundaryFn - Sigma Knowledge base Browser

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	The number 1 argument of inner boundary is an instance of region
(instance InnerBoundaryFn UnaryFunction)	Geography.kif 960-960	Inner boundary is an instance of unary function
(range InnerBoundaryFn Region)	Geography.kif 962-962	The range of inner boundary is an instance of region

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

If a region is an instance of uniform perimeter area and an object is a part of the inner boundary of the region and another object is a part of the outer boundary of the region and the distance between the object and the other object is a length measure and a third object is a part of the inner boundary of the region and a fourth object is a part of the outer boundary of the region and the distance between the third object and the fourth object is another length measure,
then equal the length measure and the other length measure

consequent

(=> (instance ?AREA UniformPerimeterArea) (exists (?WIDTH) (distance (InnerBoundaryFn ?AREA) (OuterBoundaryFn ?AREA) ?WIDTH)))	Geography.kif 990-993	If a region is an instance of uniform perimeter area, then there exists a length measure such that the distance between the inner boundary of the region and the outer boundary of the region is the length measure
(=> (instance ?REGION Region) (superficialPart (InnerBoundaryFn ?REGION) ?REGION))	Geography.kif 968-970	If a region is an instance of region, then the inner boundary of the region is a superficial part of the region

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

KB Term:			Term intersection

English Word: