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 10071-10074
(
documentation
HoleSkinFn
JapaneseLanguage
"A
UnaryFunction
は、
Hole
を
Hole
のスキン にマッピングする。
Hole
のスキンは、
Hole
が外部に接続されている
Hole
の主ホスト (
superficialPart
を参照)の表面的な部分(
HoleHostFn
を参照)の融合である。")
japanese_format.kif 1637-1639
(
domain
HoleSkinFn
1
HoleRegion
)
Merge.kif 10068-10068
Die Zahl 1 Argument von
HoleSkinFn
ist ein
fall
von
HoleRegion
%n{nicht}
(
instance
HoleSkinFn
UnaryFunction
)
Merge.kif 10065-10065
HoleSkinFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
range
HoleSkinFn
Object
)
Merge.kif 10069-10069
bildbereich
von
HoleSkinFn
ist ein fall von
Object
{nicht}
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
Wenn
Object
ist gleich
HoleSkinFn
HoleRegion
%n{nicht},
dann
wenn
** Object
ist ein
oberflaechliches
teil von
HoleHostFn
** HoleRegion
%n{nicht} und
** HoleRegion
schliesst
** ** Object
raeumlich an und
** Object
deckt
sich mit
** ** Object
raeumlich %n{nicht},
dann
** ** Object
deckt
sich mit
** Object
raeumlich %n{nicht}
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
overlapsSpatially
?OBJ2 ?OBJ1)
(
exists
(?OBJ3)
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3)))))
Merge.kif 10076-10084
Wenn
Object
ist gleich
HoleSkinFn
HoleRegion
%n{nicht},
dann
wenn
** Object
deckt
sich mit
** Object
raeumlich %n{nicht},
dann es gibt
** Object
um
** ** Object
ist ein
oberflaechliches
teil von
HoleHostFn
** HoleRegion
%n{nicht} und
** HoleRegion
schliesst
** ** Object
raeumlich an und
** ** Object
deckt
sich mit
** ** Object
raeumlich %n{nicht}
consequent
(=>
(
and
(
instance
?land
CaveMatrix
)
(
instance
?cave
Cave
)
(
hole
?cave ?land))
(
equal
?land
(
HoleSkinFn
?cave)))
Geography.kif 6060-6065
Wenn
SelfConnectedObject
ist ein
fall
von
CaveMatrix
%n{nicht} und
HoleRegion
ist ein
fall
von
Cave
%n{nicht} und
** HoleRegion
ist ein
loch
in
** SelfConnectedObject
%n{nicht},
dann
** SelfConnectedObject
ist gleich
HoleSkinFn
** HoleRegion
%n{nicht}
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