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, 它把一个 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 10107-10110
(documentation HoleSkinFn JapaneseLanguage "A UnaryFunction は、HoleHole のスキン にマッピングする。Hole のスキンは、Hole が外部に接続されている Hole の主ホスト (superficialPart を参照)の表面的な部分(HoleHostFn を参照)の融合である。") japanese_format.kif 1637-1639
(domain HoleSkinFn 1 HoleRegion) Merge.kif 10104-10104 洞皮, 1 and HoleRegion
(instance HoleSkinFn UnaryFunction) Merge.kif 10101-10101 洞皮 and UnaryFunction
(range HoleSkinFn Object) Merge.kif 10105-10105 範圍 洞皮 and Object

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 10122-10129
(=>
    (equal ?OBJ1
        (HoleSkinFn ?HOLE))
    (=>
        (overlapsSpatially ?OBJ2 ?OBJ1)
        (exists (?OBJ3)
            (and
                (superficialPart ?OBJ3
                    (HoleHostFn ?HOLE))
                (meetsSpatially ?HOLE ?OBJ3)
                (overlapsSpatially ?OBJ2 ?OBJ3)))))
Merge.kif 10112-10120

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


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


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