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 799-801
(domain InnerBoundaryFn 1 Region)	Geography.kif 796-796	The number 1 argument of inner boundary is an instance of region
(instance InnerBoundaryFn UnaryFunction)	Geography.kif 795-795	Inner boundary is an instance of unary function
(range InnerBoundaryFn Region)	Geography.kif 797-797	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 30239-30239
(termFormat ChineseTraditionalLanguage InnerBoundaryFn "內部邊界")	domainEnglishFormat.kif 30238-30238
(termFormat EnglishLanguage InnerBoundaryFn "inner boundary")	domainEnglishFormat.kif 30237-30237

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 837-850

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 the length measure is equal to the other length measure

consequent

(=> (instance ?AREA UniformPerimeterArea) (exists (?WIDTH) (distance (InnerBoundaryFn ?AREA) (OuterBoundaryFn ?AREA) ?WIDTH)))	Geography.kif 825-828	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 803-805	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: