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
superficialPart
Sigma KEE - superficialPart
superficialPart
appearance as argument number 1
(
documentation
superficialPart
ChineseLanguage
"(
superficialPart
?OBJ1 ?OBJ2) 的意思是 ?OBJ1 是 ?OBJ2 没有自身的内在部分的一个部分,(或者直观的说,只有和 ?OBJ2 的部分重叠,在外部和 ?OBJ2 的分体补充部分lianxi着)。这个也是一个传递关系,受
MereologicalSumFn
和
MereologicalProductFn
的封闭。")
chinese_format.kif 2834-2837
(
documentation
superficialPart
EnglishLanguage
"(
superficialPart
?OBJ1 ?OBJ2) means that ?OBJ1 is a part of ?OBJ2 that has no interior parts of its own (or, intuitively, that only overlaps those parts of ?OBJ2 that are externally connected with the mereological complement of ?OBJ2). This too is a transitive relation closed under
MereologicalSumFn
and
MereologicalProductFn
.")
Merge.kif 9658-9663
(
documentation
superficialPart
JapaneseLanguage
"(
superficialPart
?OBJ1 ?OBJ2) とは、 ?OBJ1 は ?OBJ2 の内部部分を持たない部分という意味である。 (または、直感的には、?OBJ2 の単なる補数 と外部的に接続されている ?OBJ2 の部分としか重なっていない)。これも
MereologicalSumFn
と
MereologicalProductFn
下の閉ざされた推移的な関係である。")
japanese_format.kif 1578-1581
(
domain
superficialPart
1
Object
)
Merge.kif 9655-9655
The number 1 argument of
superficial part
is an
instance
of
object
(
domain
superficialPart
2
Object
)
Merge.kif 9656-9656
The number 2 argument of
superficial part
is an
instance
of
object
(
instance
superficialPart
BinaryPredicate
)
Merge.kif 9654-9654
superficial part
is an
instance
of
binary predicate
(
instance
superficialPart
IrreflexiveRelation
)
Merge.kif 9651-9651
superficial part
is an
instance
of
irreflexive relation
(
instance
superficialPart
PartialValuedRelation
)
Merge.kif 9653-9653
superficial part
is an
instance
of
partial valued relation
(
instance
superficialPart
TransitiveRelation
)
Merge.kif 9652-9652
superficial part
is an
instance
of
transitive relation
appearance as argument number 2
(
format
ChineseLanguage
superficialPart
"%1 %n 是 %2 的
superficialPart
")
chinese_format.kif 371-371
(
format
EnglishLanguage
superficialPart
"%1 is %n a superficial part of %2")
english_format.kif 372-372
(
format
FrenchLanguage
superficialPart
"%1 est %n une partie superficielle de %2")
french_format.kif 214-214
(
format
ItalianLanguage
superficialPart
"%1 è %n una
part
e superficiale di %2")
relations-it.txt 289-289
(
format
JapaneseLanguage
superficialPart
"%1 は %2 の %n superficial 部分では %n")
japanese_format.kif 2020-2020
(
format
PortugueseLanguage
superficialPart
"%1 e' %n uma parte superficial de %2")
portuguese_format.kif 166-166
(
format
cz
superficialPart
"%1 %p{je} %n{nen�} a minim�ln� ��st� %2")
relations-cz.txt 221-221
(
format
de
superficialPart
"%1 ist ein oberflaechliches teil von %2 %n{nicht}")
relations-de.txt 495-495
(
format
hi
superficialPart
"%1 %2 kaa prishhThiiya bhaaga %n hai")
relations-hindi.txt 326-326
(
format
ro
superficialPart
"%1 %n{nu} este o parte superficial%t{de suprafaþã} a lui %2")
relations-ro.kif 234-234
(
format
sv
superficialPart
"%1 är %n{inte} en ytlig
de
l av %2")
relations-sv.txt 231-231
(
format
tg
superficialPart
"%1 %n ay ang bahagi ng mababaw ng %2")
relations-tg.txt 481-481
(
subrelation
bottom
superficialPart
)
Merge.kif 9707-9707
bottom
is a
subrelation
of
superficial part
(
subrelation
side
superficialPart
)
Merge.kif 9737-9737
side
is a
subrelation
of
superficial part
(
subrelation
surface
superficialPart
)
Merge.kif 9676-9676
surface
is a
subrelation
of
superficial part
(
subrelation
top
superficialPart
)
Merge.kif 9722-9722
top
is a
subrelation
of
superficial part
(
termFormat
ChineseLanguage
superficialPart
"肤浅的部分")
domainEnglishFormat.kif 56113-56113
(
termFormat
ChineseLanguage
superficialPart
"表面部分")
chinese_format.kif 372-372
(
termFormat
ChineseTraditionalLanguage
superficialPart
"膚淺的部分")
domainEnglishFormat.kif 56112-56112
(
termFormat
EnglishLanguage
superficialPart
"superficial part")
domainEnglishFormat.kif 56111-56111
antecedent
(=>
(
and
(
attribute
?OBJ
Monochromatic
)
(
superficialPart
?PART ?OBJ)
(
attribute
?PART ?COLOR)
(
instance
?COLOR
PrimaryColor
))
(
forall
(?ELEMENT)
(=>
(
superficialPart
?ELEMENT ?OBJ)
(
attribute
?ELEMENT ?COLOR))))
Merge.kif 17688-17697
If
monochromatic
is an
attribute
of
an object
and
another object
is a
superficial
part of
the object
and
an attribute
is an
attribute
of
the other object
and
the attribute
is an
instance
of
primary color
,
then for all
a third object
if
the third object
is a
superficial
part of
the object
,
then
the attribute
is an
attribute
of
the third object
(=>
(
and
(
covers
?A ?B)
(
superficialPart
?S ?B))
(
meetsSpatially
?A ?S))
Mid-level-ontology.kif 29752-29756
If
an object
covers
another object
and
a third object
is a
superficial
part of
the other object
,
then
the object
meet
s
the third object
(=>
(
and
(
physicalEnd
?E ?O)
(
superficialPart
?SP ?O))
(
meetsSpatially
?E ?SP))
Mid-level-ontology.kif 1289-1293
If one end of
an object
is
another object
and
a third object
is a
superficial
part of
the object
,
then
the other object
meet
s
the third object
(=>
(
superficialPart
?OBJ1 ?OBJ2)
(
and
(
not
(
interiorPart
?OBJ1 ?OBJ2))
(
not
(
exists
(?OBJ3)
(
interiorPart
?OBJ3 ?OBJ1)))))
Merge.kif 9665-9672
If
an object
is a
superficial
part of
another object
,
then
the object
is not a
interior
part of
the other object
and there doesn't exist
a third object
such that
the third object
is a
interior
part of
the object
(=>
(
superficialPart
?PART ?WHOLE)
(
part
?PART ?WHOLE))
Merge.kif 9647-9649
If
an object
is a
superficial
part of
another object
,
then
the object
is a
part
of
the other object
consequent
(=>
(
and
(
attribute
?OBJ
Monochromatic
)
(
superficialPart
?PART ?OBJ)
(
attribute
?PART ?COLOR)
(
instance
?COLOR
PrimaryColor
))
(
forall
(?ELEMENT)
(=>
(
superficialPart
?ELEMENT ?OBJ)
(
attribute
?ELEMENT ?COLOR))))
Merge.kif 17688-17697
If
monochromatic
is an
attribute
of
an object
and
another object
is a
superficial
part of
the object
and
an attribute
is an
attribute
of
the other object
and
the attribute
is an
instance
of
primary color
,
then for all
a third object
if
the third object
is a
superficial
part of
the object
,
then
the attribute
is an
attribute
of
the third object
(=>
(
and
(
elevation
?OBJECT ?HEIGHT)
(
located
?OBJECT ?PLACE)
(
instance
?PLACE
GeographicArea
))
(
superficialPart
?PLACE
PlanetEarth
))
Geography.kif 1907-1912
If
a length measure
is an
elevation
of
an object
and
the object
is
located
at
another object
and
the other object
is an
instance
of
geographic area
,
then
the other object
is a
superficial
part of
planet earth
(=>
(
and
(
instance
?ALT
SurfaceChange
)
(
patient
?ALT ?OBJ))
(
exists
(?PART ?PROPERTY)
(
and
(
superficialPart
?PART ?OBJ)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
attribute
?PART ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
not
(
attribute
?PART ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ALT))
(
not
(
attribute
?PART ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?ALT))
(
attribute
?PART ?PROPERTY)))))))
Merge.kif 12616-12629
If
a process
is an
instance
of
surface change
and
an object
is a
patient
of
the process
,
then there exist
another object
and
an entity
such that
the other object
is a
superficial
part of
the object
and
the entity
is an
attribute
of
the other object
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is not an
attribute
of
the other object
holds
during
the
end
of the
time
of existence of
the process
or
the entity
is not an
attribute
of
the other object
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is an
attribute
of
the other object
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?I
Ironing
)
(
patient
?I ?OBJ))
(
exists
(?HEAT ?IRON ?PART)
(
and
(
superficialPart
?PART ?OBJ)
(
instance
?HEAT
Heating
)
(
patient
?HEAT ?IRON)
(
patient
?I ?PART)
(
instrument
?I ?IRON))))
Mid-level-ontology.kif 25252-25262
If
a process
is an
instance
of
ironing
and
an object
is a
patient
of
the process
,
then there exist
another process
,
the process
RON and
a third object
such that
the third object
is a
superficial
part of
the object
and
the other process
is an
instance
of
heating
and
the process
RON is a
patient
of
the other process
and
the third object
is a
patient
of
the process
and
the process
RON is an
instrument
for
the process
(=>
(
and
(
instance
?P
Roughening
)
(
patient
?P ?OBJ))
(
exists
(?PART)
(
and
(
superficialPart
?PART ?OBJ)
(
holdsDuring
(
EndFn
(
WhenFn
?P))
(
attribute
?PART
Rough
)))))
Mid-level-ontology.kif 25236-25245
If
a process
is an
instance
of
roughening
and
an object
is a
patient
of
the process
,
then there exists
the process
ART such that
the process
ART is a
superficial
part of
the object
and
rough
is an
attribute
of
the process
ART holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?SMOOTH
Smoothing
)
(
patient
?SMOOTH ?OBJ))
(
exists
(?PART)
(
and
(
superficialPart
?PART ?OBJ)
(
holdsDuring
(
EndFn
(
WhenFn
?SMOOTH))
(
attribute
?PART
Smooth
)))))
Mid-level-ontology.kif 25220-25229
If
a process
is an
instance
of
smoothing
and
an object
is a
patient
of
the process
,
then there exists
another object
such that
the other object
is a
superficial
part of
the object
and
smooth
is an
attribute
of
the other object
holds
during
the
end
of the
time
of existence of
the process
(=>
(
attribute
?OBJ
Polychromatic
)
(
exists
(?PART1 ?PART2 ?COLOR1 ?COLOR2)
(
and
(
superficialPart
?PART1 ?OBJ)
(
superficialPart
?PART2 ?OBJ)
(
attribute
?PART1 ?COLOR1)
(
attribute
?PART2 ?COLOR2)
(
instance
?COLOR1
ColorAttribute
)
(
instance
?COLOR2
ColorAttribute
)
(
not
(
equal
?COLOR1 ?COLOR2)))))
Merge.kif 17710-17720
If
polychromatic
is an
attribute
of
an object
,
then there exist
another object
,
a third object
,, ,
an attribute
and
another attribute
such that
the other object
is a
superficial
part of
the object
and
the third object
is a
superficial
part of
the object
and
the attribute
is an
attribute
of
the other object
and
the other attribute
is an
attribute
of
the third object
and
the attribute
is an
instance
of
color attribute
and
the other attribute
is an
instance
of
color attribute
and
the attribute
is not
equal
to
the other attribute
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3))
(
overlapsSpatially
?OBJ2 ?OBJ1)))
Merge.kif 10086-10093
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 10076-10084
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
(=>
(
instance
?COVER
BodyCovering
)
(
exists
(?BODY)
(
and
(
superficialPart
?COVER ?BODY)
(
or
(
instance
?BODY
Organism
)
(
instance
?BODY
BodyPart
)))))
Merge.kif 15077-15084
If
an object
is an
instance
of
body covering
,
then there exists
another object
such that
the object
is a
superficial
part of
the other object
and
the other object
is an
instance
of
organism
or
the other object
is an
instance
of
body part
(=>
(
instance
?REGION
Region
)
(
superficialPart
(
InnerBoundaryFn
?REGION) ?REGION))
Geography.kif 803-805
If
a region
is an
instance
of
region
,
then the
inner
boundary of
the region
is a
superficial
part of
the region
(=>
(
instance
?REGION
Region
)
(
superficialPart
(
OuterBoundaryFn
?REGION) ?REGION))
Geography.kif 815-817
If
a region
is an
instance
of
region
,
then the
outer
boundary of
the region
is a
superficial
part of
the region
(=>
(
interiorPart
?OBJ1 ?OBJ2)
(
forall
(?PART)
(=>
(
superficialPart
?PART ?OBJ2)
(
not
(
overlapsSpatially
?OBJ1 ?PART)))))
Merge.kif 9699-9705
If
an object
is a
interior
part of
another object
,
then for all
a third object
if
the third object
is a
superficial
part of
the other object
,
then
the object
and
the third object
doesn't
overlapsSpatially
(=>
(
surface
?OBJ1 ?OBJ2)
(
forall
(?OBJ3)
(=>
(
superficialPart
?OBJ3 ?OBJ2)
(
part
?OBJ3 ?OBJ1))))
Merge.kif 9685-9690
If
a self connected object
is a
surface
of
another self connected object
,
then for all
an object
if
the object
is a
superficial
part of
the other self connected object
,
then
the object
is a
part
of
the self connected object
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