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 10093-10096
(
documentation
HoleSkinFn
JapaneseLanguage
"A
UnaryFunction
は、
Hole
を
Hole
のスキン にマッピングする。
Hole
のスキンは、
Hole
が外部に接続されている
Hole
の主ホスト (
superficialPart
を参照)の表面的な部分(
HoleHostFn
を参照)の融合である。")
japanese_format.kif 1637-1639
(
domain
HoleSkinFn
1
HoleRegion
)
Merge.kif 10090-10090
The number 1 argument of
hole skin
is an
instance
of
hole
(
instance
HoleSkinFn
UnaryFunction
)
Merge.kif 10087-10087
Hole skin
is an
instance
of
unary function
(
range
HoleSkinFn
Object
)
Merge.kif 10091-10091
The
range
of
hole skin
is an instance of
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 10108-10115
If
an object
is
equal
to the
surface
of the hole
a hole
,
then
if
another object
is a
superficial
part of the
host
of the hole
the hole
and
the hole
meet
s
the other object
and
a third object
and
the other object
overlapsSpatially
,
then
the third object
and
the object
overlapsSpatially
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
overlapsSpatially
?OBJ2 ?OBJ1)
(
exists
(?OBJ3)
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3)))))
Merge.kif 10098-10106
If
an object
is
equal
to the
surface
of the hole
a hole
,
then
if
another object
and
the object
overlapsSpatially
,
then there exists
a third object
such that
the third object
is a
superficial
part of the
host
of the hole
the hole
and
the hole
meet
s
the third object
and
the other object
and
the third object
overlapsSpatially
consequent
(=>
(
and
(
instance
?land
CaveMatrix
)
(
instance
?cave
Cave
)
(
hole
?cave ?land))
(
equal
?land
(
HoleSkinFn
?cave)))
Geography.kif 6060-6065
If
a self connected object
is an
instance
of
cave matrix
and
a hole
is an
instance
of
cave
and
the hole
is a
hole
in
the self connected object
,
then
the self connected object
is
equal
to the
surface
of the hole
the hole
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