TreeView Knowledge Base Browser

appearance as argument number 1

(instance HoleSkinFn UnaryFunction)	Merge.kif 10292-10292	Hole skin is an instance of unary function
(domain HoleSkinFn 1 HoleRegion)	Merge.kif 10294-10294	The number 1 argument of hole skin is an instance of hole
(range HoleSkinFn Object)	Merge.kif 10295-10295	The range of hole skin is an instance of object
(documentation HoleSkinFn EnglishLanguage "A UnaryFunction that maps a HoleRegion to the skin of the HoleRegion. The skin of a HoleRegion is the fusion of those superficial parts (see superficialPart) of the HoleRegion's principal host (see HoleHostFn) with which the HoleRegion is externally connected.")	Merge.kif 10297-10300	The range of hole skin is an instance of object

appearance as argument number 2

(termFormat EnglishLanguage HoleSkinFn "hole skin")	domainEnglishFormat.kif 28379-28379
(termFormat ChineseTraditionalLanguage HoleSkinFn "洞皮")	domainEnglishFormat.kif 28380-28380
(termFormat ChineseLanguage HoleSkinFn "洞皮")	domainEnglishFormat.kif 28381-28381
(format EnglishLanguage HoleSkinFn "the surface of the hole %1")	english_format.kif 409-409

antecedent

(=> (equal ?OBJ1 (HoleSkinFn ?HOLE)) (=> (overlapsSpatially ?OBJ2 ?OBJ1) (exists (?OBJ3) (and (superficialPart ?OBJ3 (HoleHostFn ?HOLE)) (meetsSpatially ?HOLE ?OBJ3) (overlapsSpatially ?OBJ2 ?OBJ3)))))	Merge.kif 10302-10310	Assuming equal X and the surface of the hole Y, it follows that: if Z and X overlapsSpatially, then there exists W such that W is a superficial part of the host of the hole Y, Y meets W, Z, and W overlapsSpatially
(=> (equal ?OBJ1 (HoleSkinFn ?HOLE)) (=> (and (superficialPart ?OBJ3 (HoleHostFn ?HOLE)) (meetsSpatially ?HOLE ?OBJ3) (overlapsSpatially ?OBJ2 ?OBJ3)) (overlapsSpatially ?OBJ2 ?OBJ1)))	Merge.kif 10312-10319	Assuming equal X and the surface of the hole Y, it follows that: if Z is a superficial part of the host of the hole Y, Y meets Z, and W and Z overlapsSpatially, then W and X overlapsSpatially

consequent

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

If X is an instance of cave matrix, Y is an instance of cave, and Y is a hole in X, then equal X and the surface of the hole Y