Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HoleSkinFn
HoleSkinFn

appearance as argument number 1
-------------------------


(documentation HoleSkinFn ChineseLanguage "这是一个 UnaryFunction, 它把一个 HoleHole 的表层联系。一个 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 9459-9462
(domain HoleSkinFn 1 Hole) Merge.kif 9456-9456 The number 1 argument of hole skin is an instance of hole
(instance HoleSkinFn UnaryFunction) Merge.kif 9453-9453 Hole skin is an instance of unary function
(range HoleSkinFn Object) Merge.kif 9457-9457 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 412-412
(termFormat ChineseLanguage HoleSkinFn "洞皮") domainEnglishFormat.kif 28279-28279
(termFormat ChineseLanguage HoleSkinFn "洞表面函数") chinese_format.kif 404-404
(termFormat ChineseTraditionalLanguage HoleSkinFn "洞皮") domainEnglishFormat.kif 28278-28278
(termFormat EnglishLanguage HoleSkinFn "hole skin") domainEnglishFormat.kif 28277-28277

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 9464-9473

consequent
-------------------------


(=>
    (and
        (instance ?land CaveMatrix)
        (instance ?cave Cave)
        (hole ?cave ?land))
    (equal ?land
        (HoleSkinFn ?cave)))
Geography.kif 5656-5661


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners