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
Die Zahl 1 Argument von
superficialPart
ist ein
fall
von
Object
%n{nicht}
(
domain
superficialPart
2
Object
)
Merge.kif 9656-9656
Die Zahl 2 Argument von
superficialPart
ist ein
fall
von
Object
%n{nicht}
(
instance
superficialPart
BinaryPredicate
)
Merge.kif 9654-9654
superficialPart
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
superficialPart
IrreflexiveRelation
)
Merge.kif 9651-9651
superficialPart
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
superficialPart
PartialValuedRelation
)
Merge.kif 9653-9653
superficialPart
ist ein
fall
von
PartialValuedRelation
%n{nicht}
(
instance
superficialPart
TransitiveRelation
)
Merge.kif 9652-9652
superficialPart
ist ein
fall
von
TransitiveRelation
%n{nicht}
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
ist eine
teilrelation
von
superficialPart
(
subrelation
side
superficialPart
)
Merge.kif 9737-9737
side
ist eine
teilrelation
von
superficialPart
(
subrelation
surface
superficialPart
)
Merge.kif 9676-9676
surface
ist eine
teilrelation
von
superficialPart
(
subrelation
top
superficialPart
)
Merge.kif 9722-9722
top
ist eine
teilrelation
von
superficialPart
(
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
Wenn
Monochromatic
ist ein
attribut
von
Object
%n{nicht} und
** Object
ist ein
oberflaechliches
teil von
** Object
%n{nicht} und
Attribute
ist ein
attribut
von
** ** Object
%n{nicht} und
** Attribute
ist ein
fall
von
PrimaryColor
%n{nicht},
dann fuer alle
** Object
wenn
** ** Object
ist ein
oberflaechliches
teil von
** Object
%n{nicht},
dann
** Attribute
ist ein
attribut
von
** ** Object
%n{nicht}
(=>
(
and
(
covers
?A ?B)
(
superficialPart
?S ?B))
(
meetsSpatially
?A ?S))
Mid-level-ontology.kif 29752-29756
Wenn
covers
Object
and
** Object
und
** Object
ist ein
oberflaechliches
teil von
** ** Object
%n{nicht},
dann
** Object
schliesst
** ** Object
raeumlich an
(=>
(
and
(
physicalEnd
?E ?O)
(
superficialPart
?SP ?O))
(
meetsSpatially
?E ?SP))
Mid-level-ontology.kif 1289-1293
Wenn
physicalEnd
Object
and
** Object
und
** Object
ist ein
oberflaechliches
teil von
** ** Object
%n{nicht},
dann
** Object
schliesst
** ** Object
raeumlich an
(=>
(
superficialPart
?OBJ1 ?OBJ2)
(
and
(
not
(
interiorPart
?OBJ1 ?OBJ2))
(
not
(
exists
(?OBJ3)
(
interiorPart
?OBJ3 ?OBJ1)))))
Merge.kif 9665-9672
Wenn
Object
ist ein
oberflaechliches
teil von
** Object
%n{nicht},
dann
** Object
ist ein
innenteil
von
** ** Object
nicht und es gibt nicht
** Object
um
** ** Object
ist ein
innenteil
von
** Object
%n{nicht}
(=>
(
superficialPart
?PART ?WHOLE)
(
part
?PART ?WHOLE))
Merge.kif 9647-9649
Wenn
Object
ist ein
oberflaechliches
teil von
** Object
%n{nicht},
dann
** Object
ist ein
teil
von
** ** Object
%n{nicht}
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
Wenn
Monochromatic
ist ein
attribut
von
Object
%n{nicht} und
** Object
ist ein
oberflaechliches
teil von
** Object
%n{nicht} und
Attribute
ist ein
attribut
von
** ** Object
%n{nicht} und
** Attribute
ist ein
fall
von
PrimaryColor
%n{nicht},
dann fuer alle
** Object
wenn
** ** Object
ist ein
oberflaechliches
teil von
** Object
%n{nicht},
dann
** Attribute
ist ein
attribut
von
** ** Object
%n{nicht}
(=>
(
and
(
elevation
?OBJECT ?HEIGHT)
(
located
?OBJECT ?PLACE)
(
instance
?PLACE
GeographicArea
))
(
superficialPart
?PLACE
PlanetEarth
))
Geography.kif 1907-1912
Wenn
elevation
Object
and
LengthMeasure
und
** Object
befindet
sich an %n{nicht} und
** Object
ist ein
fall
von
GeographicArea
%n{nicht},
dann
** ** Object
ist ein
oberflaechliches
teil von
PlanetEarth
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
SurfaceChange
%n{nicht} und
Object
ist ein
patient
von
** Process
%n{nicht},
dann es gibt
** Object
und
entity
um
** ** Object
ist ein
oberflaechliches
teil von
** Object
%n{nicht} und
** entity
ist ein
attribut
von
** ** Object
%n{nicht} haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
%n{nicht} und
** entity
ist ein
attribut
von
** ** Object
nicht haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht} oder
** entity
ist ein
attribut
von
** ** Object
nicht haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
%n{nicht} und
** entity
ist ein
attribut
von
** ** Object
%n{nicht} haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Ironing
%n{nicht} und
Object
ist ein
patient
von
** Process
%n{nicht},
dann es gibt
** Process
,
** Process
RON, and und
** Object
um
** ** Object
ist ein
oberflaechliches
teil von
** Object
%n{nicht} und
** ** Process
ist ein
fall
von
Heating
%n{nicht} und
** Process
RON ist ein
patient
von
** ** Process
%n{nicht} und
** ** Object
ist ein
patient
von
** Process
%n{nicht} und
** Process
RON ist ein
instrument
fuer
** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Roughening
%n{nicht} und
Object
ist ein
patient
von
** Process
%n{nicht},
dann es gibt
** Process
ART um
** Process
ART ist ein
oberflaechliches
teil von
** Object
%n{nicht} und
Rough
ist ein
attribut
von
** Process
ART %n{nicht} haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Smoothing
%n{nicht} und
Object
ist ein
patient
von
** Process
%n{nicht},
dann es gibt
** Object
um
** ** Object
ist ein
oberflaechliches
teil von
** Object
%n{nicht} und
Smooth
ist ein
attribut
von
** ** Object
%n{nicht} haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
Polychromatic
ist ein
attribut
von
Object
%n{nicht},
dann es gibt
** Object
,
** Object
,, ,
Attribute
, and und
** Attribute
um
** ** Object
ist ein
oberflaechliches
teil von
** Object
%n{nicht} und
** ** Object
ist ein
oberflaechliches
teil von
** Object
%n{nicht} und
** Attribute
ist ein
attribut
von
** ** Object
%n{nicht} und
** ** Attribute
ist ein
attribut
von
** ** Object
%n{nicht} und
** Attribute
ist ein
fall
von
ColorAttribute
%n{nicht} und
** ** Attribute
ist ein
fall
von
ColorAttribute
%n{nicht} und
** Attribute
ist gleich
** ** Attribute
nicht
(=>
(
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}
(=>
(
instance
?COVER
BodyCovering
)
(
exists
(?BODY)
(
and
(
superficialPart
?COVER ?BODY)
(
or
(
instance
?BODY
Organism
)
(
instance
?BODY
BodyPart
)))))
Merge.kif 15077-15084
Wenn
Object
ist ein
fall
von
BodyCovering
%n{nicht},
dann es gibt
** Object
um
** Object
ist ein
oberflaechliches
teil von
** ** Object
%n{nicht} und
** ** Object
ist ein
fall
von
Organism
%n{nicht} oder
** ** Object
ist ein
fall
von
BodyPart
%n{nicht}
(=>
(
instance
?REGION
Region
)
(
superficialPart
(
InnerBoundaryFn
?REGION) ?REGION))
Geography.kif 803-805
Wenn
Region
ist ein
fall
von
Region
%n{nicht},
dann
InnerBoundaryFn
** Region
ist ein
oberflaechliches
teil von
** Region
%n{nicht}
(=>
(
instance
?REGION
Region
)
(
superficialPart
(
OuterBoundaryFn
?REGION) ?REGION))
Geography.kif 815-817
Wenn
Region
ist ein
fall
von
Region
%n{nicht},
dann
OuterBoundaryFn
** Region
ist ein
oberflaechliches
teil von
** Region
%n{nicht}
(=>
(
interiorPart
?OBJ1 ?OBJ2)
(
forall
(?PART)
(=>
(
superficialPart
?PART ?OBJ2)
(
not
(
overlapsSpatially
?OBJ1 ?PART)))))
Merge.kif 9699-9705
Wenn
Object
ist ein
innenteil
von
** Object
%n{nicht},
dann fuer alle
** Object
wenn
** ** Object
ist ein
oberflaechliches
teil von
** ** Object
%n{nicht},
dann
** Object
deckt
sich mit
** ** Object
raeumlich nicht
(=>
(
surface
?OBJ1 ?OBJ2)
(
forall
(?OBJ3)
(=>
(
superficialPart
?OBJ3 ?OBJ2)
(
part
?OBJ3 ?OBJ1))))
Merge.kif 9685-9690
Wenn
SelfConnectedObject
ist eine
flaeche
von
** SelfConnectedObject
%n{nicht},
dann fuer alle
Object
wenn
** Object
ist ein
oberflaechliches
teil von
** ** SelfConnectedObject
%n{nicht},
dann
** Object
ist ein
teil
von
** SelfConnectedObject
%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