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 799-801
(domain InnerBoundaryFn 1 Region)	Geography.kif 796-796
(instance InnerBoundaryFn UnaryFunction)	Geography.kif 795-795
(range InnerBoundaryFn Region)	Geography.kif 797-797

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 30205-30205
(termFormat ChineseTraditionalLanguage InnerBoundaryFn "內部邊界")	domainEnglishFormat.kif 30204-30204
(termFormat EnglishLanguage InnerBoundaryFn "inner boundary")	domainEnglishFormat.kif 30203-30203

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

consequent

(=> (instance ?AREA UniformPerimeterArea) (exists (?WIDTH) (distance (InnerBoundaryFn ?AREA) (OuterBoundaryFn ?AREA) ?WIDTH)))	Geography.kif 825-828
(=> (instance ?REGION Region) (superficialPart (InnerBoundaryFn ?REGION) ?REGION))	Geography.kif 803-805

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

KB Term:			Term intersection

English Word: