TreeView Knowledge Base Browser

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 811-813
(domain OuterBoundaryFn 1 Region)	Geography.kif 808-808	The number 1 argument of outer boundary is an instance of region
(instance OuterBoundaryFn UnaryFunction)	Geography.kif 807-807	Outer boundary is an instance of unary function
(range OuterBoundaryFn Region)	Geography.kif 809-809	The range of outer boundary is an instance of region

appearance as argument number 2

(format ChineseLanguage OuterBoundaryFn "%1 的 outer 边界")	domainEnglishFormat.kif 1879-1879
(format ChineseTraditionalLanguage OuterBoundaryFn "%1 的 outer 邊界")	domainEnglishFormat.kif 1878-1878
(format EnglishLanguage OuterBoundaryFn "the outer boundary of %1")	domainEnglishFormat.kif 1877-1877
(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 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 (OuterBoundaryFn ?REGION) ?REGION))	Geography.kif 815-817	If a region is an instance of region, then the outer boundary of the region is a superficial part of the region

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: