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 810-812
(domain OuterBoundaryFn 1 Region)	Geography.kif 807-807	domain OuterBoundaryFn, 1 and Region
(instance OuterBoundaryFn UnaryFunction)	Geography.kif 806-806	instance OuterBoundaryFn and UnaryFunction
(range OuterBoundaryFn Region)	Geography.kif 808-808	range OuterBoundaryFn and 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 43588-43588
(termFormat ChineseTraditionalLanguage OuterBoundaryFn "外邊界")	domainEnglishFormat.kif 43587-43587
(termFormat EnglishLanguage OuterBoundaryFn "outer boundary")	domainEnglishFormat.kif 43586-43586

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 (OuterBoundaryFn ?REGION) ?REGION))	Geography.kif 814-816	instance Region and Region superficialPart OuterBoundaryFn Region and Region

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

KB Term:			Term intersection

English Word: