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 9681-9684
(domain HoleSkinFn 1 Hole) Merge.kif 9678-9678
(instance HoleSkinFn UnaryFunction) Merge.kif 9675-9675
(range HoleSkinFn Object) Merge.kif 9679-9679

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 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 9686-9695

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


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


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 3.0 is open source software produced by Articulate Software and its partners