TreeView Knowledge Base Browser

appearance as argument number 1

(documentation HoleSkinFn ChineseLanguage "这是一个 UnaryFunction，它把一个 Hole 和 Hole 的表层联系。一个 Hole 的表层是这个 Hole 的主要主体 (见 HoleHostFn)和这个 Hole waibu 相连的表层部分(见 superficialPart)所融合而成的。")	chinese_format.kif 2890-2892
(documentation HoleSkinFn EnglishLanguage "A UnaryFunction that maps a Hole to the skin of the Hole. The skin of a Hole is the fusion of those superficial parts (see superficialPart) of the Hole's principal host (see HoleHostFn) with which the Hole is externally connected.")	Merge.kif 9993-9996
(domain HoleSkinFn 1 Hole)	Merge.kif 9990-9990
(instance HoleSkinFn UnaryFunction)	Merge.kif 9987-9987
(range HoleSkinFn Object)	Merge.kif 9991-9991

appearance as argument number 2

(format ChineseLanguage HoleSkinFn "洞 %1 的 surface")	chinese_format.kif 403-403
(format EnglishLanguage HoleSkinFn "the surface of the hole %1")	english_format.kif 409-409
(termFormat ChineseLanguage HoleSkinFn "洞皮")	domainEnglishFormat.kif 28368-28368
(termFormat ChineseLanguage HoleSkinFn "洞表面函数")	chinese_format.kif 404-404
(termFormat ChineseTraditionalLanguage HoleSkinFn "洞皮")	domainEnglishFormat.kif 28367-28367
(termFormat EnglishLanguage HoleSkinFn "hole skin")	domainEnglishFormat.kif 28366-28366

antecedent

(=>
    (equal ?OBJ1
        (HoleSkinFn ?HOLE))
    (forall (?OBJ2)
        (<=>
            (overlapsSpatially ?OBJ2 ?OBJ1)
            (exists (?OBJ3)
                (and
                    (superficialPart ?OBJ3
                        (HoleHostFn ?HOLE))
                    (meetsSpatially ?HOLE ?OBJ3)
                    (overlapsSpatially ?OBJ2 ?OBJ3))))))

Merge.kif 9998-10007

consequent

(=>
    (and
        (instance ?land CaveMatrix)
        (instance ?cave Cave)
        (hole ?cave ?land))
    (equal ?land
        (HoleSkinFn ?cave)))

Geography.kif 5957-5962

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

KB Term:			Term intersection

English Word: