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)所融合而成的。") Merge.kif 10075-10077
(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 10071-10074
(domain HoleSkinFn 1 Hole) Merge.kif 10069-10069
(instance HoleSkinFn AsymmetricRelation) Merge.kif 10068-10068
(instance HoleSkinFn SpatialRelation) Merge.kif 10065-10065
(instance HoleSkinFn TotalValuedRelation) Merge.kif 10067-10067
(instance HoleSkinFn UnaryFunction) Merge.kif 10066-10066
(range HoleSkinFn Object) Merge.kif 10070-10070

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 242-242
(format FrenchLanguage HoleSkinFn "le surface du trou %1") french_format.kif 232-232
(format PortugueseLanguage HoleSkinFn "a superficie do buraco %1") portuguese_format.kif 184-184
(format ar HoleSkinFn "سَطْح الحُفْرَة %1") arabic_format.kif 169-169
(termFormat ChineseLanguage HoleSkinFn "洞表面函数") chinese_format.kif 404-404
(termFormat EnglishLanguage HoleSkinFn "hole skin") domainEnglishFormat.kif 5147-5147
(termFormat ar HoleSkinFn "«سَطْح الحُفْرَة»") arabic_format.kif 619-619

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 10079-10088

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


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


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