TreeView 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 798-800
(domain InnerBoundaryFn 1 Region)	Geography.kif 795-795	domain InnerBoundaryFn, 1 and Region
(instance InnerBoundaryFn UnaryFunction)	Geography.kif 794-794	instance InnerBoundaryFn and UnaryFunction
(range InnerBoundaryFn Region)	Geography.kif 796-796	range InnerBoundaryFn and 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 30103-30103
(termFormat ChineseTraditionalLanguage InnerBoundaryFn "內部邊界")	domainEnglishFormat.kif 30102-30102
(termFormat EnglishLanguage InnerBoundaryFn "inner boundary")	domainEnglishFormat.kif 30101-30101

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 836-849

instance Region and UniformPerimeterArea part Object and InnerBoundaryFn Region part Object and OuterBoundaryFn Region distance Object, Object and LengthMeasure part Object and InnerBoundaryFn Region part Object and OuterBoundaryFn Region distance Object, Object and LengthMeasure
equal LengthMeasure and LengthMeasure

consequent

(=> (instance ?AREA UniformPerimeterArea) (exists (?WIDTH) (distance (InnerBoundaryFn ?AREA) (OuterBoundaryFn ?AREA) ?WIDTH)))	Geography.kif 824-827	instance Region and UniformPerimeterArea LengthMeasure distance InnerBoundaryFn Region, OuterBoundaryFn Region and LengthMeasure
(=> (instance ?REGION Region) (superficialPart (InnerBoundaryFn ?REGION) ?REGION))	Geography.kif 802-804	instance Region and Region superficialPart InnerBoundaryFn Region and Region

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

KB Term:			Term intersection

English Word: