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 806-808
(domain OuterBoundaryFn 1 Region)	Geography.kif 803-803	OuterBoundaryFn の数値 1 引数は地域の instance では
(instance OuterBoundaryFn UnaryFunction)	Geography.kif 802-802	OuterBoundaryFn は 1変数関数の instance では
(range OuterBoundaryFn Region)	Geography.kif 804-804	OuterBoundaryFn の range は地域のインスタンスでは

appearance as argument number 2

(format ChineseLanguage OuterBoundaryFn "%1 的 outer 边界")	domainEnglishFormat.kif 1883-1883
(format ChineseTraditionalLanguage OuterBoundaryFn "%1 的 outer 邊界")	domainEnglishFormat.kif 1882-1882
(format EnglishLanguage OuterBoundaryFn "the outer boundary of %1")	domainEnglishFormat.kif 1881-1881
(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 832-845

地域は UniformPerimeterArea の instance ではオブジェクトは InnerBoundaryFn 地域の part ではオブジェクトは OuterBoundaryFn 地域の part ではオブジェクトとオブジェクトの distance は長さ測定ではオブジェクトは InnerBoundaryFn 地域の part ではオブジェクトは OuterBoundaryFn 地域の part ではオブジェクトとオブジェクトの distance は長さ測定では
長さ測定は長さ測定と equal では

consequent

(=> (instance ?AREA UniformPerimeterArea) (exists (?WIDTH) (distance (InnerBoundaryFn ?AREA) (OuterBoundaryFn ?AREA) ?WIDTH)))	Geography.kif 820-823	地域は UniformPerimeterArea の instance では長さ測定 InnerBoundaryFn 地域と OuterBoundaryFn 地域の distance は長さ測定では
(=> (instance ?REGION Region) (superficialPart (OuterBoundaryFn ?REGION) ?REGION))	Geography.kif 810-812	地域は地域の instance では OuterBoundaryFn 地域は地域の superficial 部分では

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

KB Term:			Term intersection

English Word: