Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
HoleSkinFn
Sigma KEE - HoleSkinFn
HoleSkinFn
appearance as argument number 1
(
documentation
HoleSkinFn
ChineseLanguage
"这是一个
UnaryFunction
, 它把一个
HoleRegion
和
HoleRegion
的表层联系。一个
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
は、
Hole
を
Hole
のスキン にマッピングする。
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
等於
Object
and
洞皮
HoleRegion
膚淺的部分
Object
and
洞主持人
HoleRegion
空間的符合
HoleRegion
and
Object
在空間上重疊
Object
and
Object
在空間上重疊
Object
and
Object
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
overlapsSpatially
?OBJ2 ?OBJ1)
(
exists
(?OBJ3)
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3)))))
Merge.kif 10112-10120
等於
Object
and
洞皮
HoleRegion
在空間上重疊
Object
and
Object
Object
膚淺的部分
Object
and
洞主持人
HoleRegion
空間的符合
HoleRegion
and
Object
在空間上重疊
Object
and
Object
consequent
(=>
(
and
(
instance
?land
CaveMatrix
)
(
instance
?cave
Cave
)
(
hole
?cave ?land))
(
equal
?land
(
HoleSkinFn
?cave)))
Geography.kif 6060-6065
例
SelfConnectedObject
and
洞穴矩陣
例
HoleRegion
and
洞穴
hole
HoleRegion
and
SelfConnectedObject
等於
SelfConnectedObject
and
洞皮
HoleRegion
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