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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HoleSkinFn

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