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 931-933
(domain InnerBoundaryFn 1 Region)	Geography.kif 928-928	InnerBoundaryFn の数値 1 引数は地域の instance では
(instance InnerBoundaryFn UnaryFunction)	Geography.kif 927-927	InnerBoundaryFn は 1変数関数の instance では
(range InnerBoundaryFn Region)	Geography.kif 929-929	InnerBoundaryFn の range は地域のインスタンスでは

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

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 969-982

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

consequent

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

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

KB Term:			Term intersection

English Word: