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, 它把一个 HoleRegionHoleRegion 的表层联系。一个 HoleRegion 的表层是这个 HoleRegion 的主要主体 (见 HoleHostFn)和这个 HoleRegion waibu 相连的表层部分(见 superficialPart)所融合而成的。") chinese_format.kif 2890-2892
(documentation HoleSkinFn EnglishLanguage "A UnaryFunction that maps a HoleRegion to the skin of the HoleRegion. The skin of a HoleRegion is the fusion of those superficial parts (see superficialPart) of the HoleRegion's principal host (see HoleHostFn) with which the HoleRegion is externally connected.") Merge.kif 10071-10074
(documentation HoleSkinFn JapaneseLanguage "A UnaryFunction は、HoleHole のスキン にマッピングする。Hole のスキンは、Hole が外部に接続されている Hole の主ホスト (superficialPart を参照)の表面的な部分(HoleHostFn を参照)の融合である。") japanese_format.kif 1637-1639
(domain HoleSkinFn 1 HoleRegion) Merge.kif 10068-10068 洞表面函数 的 1 数量 是 instance
(instance HoleSkinFn UnaryFunction) Merge.kif 10065-10065 洞表面函数一元函数instance
(range HoleSkinFn Object) Merge.kif 10069-10069 洞表面函数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 409-409
(format FrenchLanguage HoleSkinFn "le surface du trou %1") french_format.kif 232-232
(format JapaneseLanguage HoleSkinFn "ホール %1 の surface") japanese_format.kif 2034-2034
(format PortugueseLanguage HoleSkinFn "a superficie do buraco %1") portuguese_format.kif 184-184
(format ro HoleSkinFn "surface%t{suprafaþa} deshizãturii %1") relations-ro.kif 252-252
(termFormat ChineseLanguage HoleSkinFn "洞皮") domainEnglishFormat.kif 28377-28377
(termFormat ChineseLanguage HoleSkinFn "洞表面函数") chinese_format.kif 404-404
(termFormat ChineseTraditionalLanguage HoleSkinFn "洞皮") domainEnglishFormat.kif 28376-28376
(termFormat EnglishLanguage HoleSkinFn "hole skin") domainEnglishFormat.kif 28375-28375

antecedent
-------------------------


(=>
    (equal ?OBJ1
        (HoleSkinFn ?HOLE))
    (=>
        (and
            (superficialPart ?OBJ3
                (HoleHostFn ?HOLE))
            (meetsSpatially ?HOLE ?OBJ3)
            (overlapsSpatially ?OBJ2 ?OBJ3))
        (overlapsSpatially ?OBJ2 ?OBJ1)))
Merge.kif 10086-10093
(=>
    (equal ?OBJ1
        (HoleSkinFn ?HOLE))
    (=>
        (overlapsSpatially ?OBJ2 ?OBJ1)
        (exists (?OBJ3)
            (and
                (superficialPart ?OBJ3
                    (HoleHostFn ?HOLE))
                (meetsSpatially ?HOLE ?OBJ3)
                (overlapsSpatially ?OBJ2 ?OBJ3)))))
Merge.kif 10076-10084

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


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


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