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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 洞表面函数 的 1 数量 是 instance
(instance HoleSkinFn AsymmetricRelation) Merge.kif 10068-10068 洞表面函数非对称关系instance
(instance HoleSkinFn SpatialRelation) Merge.kif 10065-10065 洞表面函数空间关系instance
(instance HoleSkinFn TotalValuedRelation) Merge.kif 10067-10067 洞表面函数总值关系instance
(instance HoleSkinFn UnaryFunction) Merge.kif 10066-10066 洞表面函数一元函数instance
(range HoleSkinFn Object) Merge.kif 10070-10070 洞表面函数range客体 的实例

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 ChineseLanguage, 洞表面函数 and "洞表面函数"
(termFormat EnglishLanguage HoleSkinFn "hole skin") domainEnglishFormat.kif 5147-5147 termFormat EnglishLanguage, 洞表面函数 and "hole skin"
(termFormat ar HoleSkinFn "«سَطْح الحُفْرَة»") arabic_format.kif 619-619 termFormat ar, 洞表面函数 and "«سَطْح الحُفْرَة»"


    (equal ?OBJ1
        (HoleSkinFn ?HOLE))
    (forall (?OBJ2)
            (overlapsSpatially ?OBJ2 ?OBJ1)
            (exists (?OBJ3)
                    (superficialPart ?OBJ3
                        (HoleHostFn ?HOLE))
                    (meetsSpatially ?HOLE ?OBJ3)
                    (overlapsSpatially ?OBJ2 ?OBJ3))))))
Merge.kif 10079-10088


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

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

Show without tree

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