HoleSkinFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation HoleSkinFn ChineseLanguage "这是一个 UnaryFunction，它把一个 HoleRegion 和 HoleRegion 的表层联系。一个 HoleRegion 的表层是这个 HoleRegion 的主要主体 (见 HoleHostFn)和这个 HoleRegion waibu 相连的表层部分(见 superficialPart)所融合而成的。")	chinese_format.kif 2890-2892
(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 10136-10139
(documentation HoleSkinFn JapaneseLanguage "A UnaryFunction は、Hole を Hole のスキンにマッピングする。Hole のスキンは、Hole が外部に接続されている Hole の主ホスト (superficialPart を参照)の表面的な部分(HoleHostFn を参照)の融合である。")	japanese_format.kif 1637-1639
(domain HoleSkinFn 1 HoleRegion)	Merge.kif 10133-10133	The number 1 argument of hole skin is an instance of hole
(instance HoleSkinFn UnaryFunction)	Merge.kif 10130-10130	Hole skin is an instance of unary function
(range HoleSkinFn Object)	Merge.kif 10134-10134	The range of hole skin is an instance of object

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
(format FrenchLanguage HoleSkinFn "le surface du trou %1")	french_format.kif 232-232
(format JapaneseLanguage HoleSkinFn "ホール %1 の surface")	japanese_format.kif 2034-2034
(format PortugueseLanguage HoleSkinFn "a superficie do buraco %1")	portuguese_format.kif 184-184
(format ro HoleSkinFn "surface%t{suprafaþa} deshizãturii %1")	relations-ro.kif 252-252
(termFormat ChineseLanguage HoleSkinFn "洞皮")	domainEnglishFormat.kif 28405-28405
(termFormat ChineseLanguage HoleSkinFn "洞表面函数")	chinese_format.kif 404-404
(termFormat ChineseTraditionalLanguage HoleSkinFn "洞皮")	domainEnglishFormat.kif 28404-28404
(termFormat EnglishLanguage HoleSkinFn "hole skin")	domainEnglishFormat.kif 28403-28403

antecedent

(=> (equal ?OBJ1 (HoleSkinFn ?HOLE)) (=> (and (superficialPart ?OBJ3 (HoleHostFn ?HOLE)) (meetsSpatially ?HOLE ?OBJ3) (overlapsSpatially ?OBJ2 ?OBJ3)) (overlapsSpatially ?OBJ2 ?OBJ1)))	Merge.kif 10151-10158	If an object is equal to the surface of the hole a hole, then if another object is a superficial part of the host of the hole the hole and the hole meets the other object and a third object and the other object overlapsSpatially, then the third object and the object overlapsSpatially
(=> (equal ?OBJ1 (HoleSkinFn ?HOLE)) (=> (overlapsSpatially ?OBJ2 ?OBJ1) (exists (?OBJ3) (and (superficialPart ?OBJ3 (HoleHostFn ?HOLE)) (meetsSpatially ?HOLE ?OBJ3) (overlapsSpatially ?OBJ2 ?OBJ3)))))	Merge.kif 10141-10149	If an object is equal to the surface of the hole a hole, then if another object and the object overlapsSpatially, then there exists a third object such that the third object is a superficial part of the host of the hole the hole and the hole meets the third object and the other object and the third object overlapsSpatially

consequent

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

Geography.kif 6129-6134