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
interiorPart
Sigma KEE - interiorPart
interiorPart
appearance as argument number 1
(
documentation
interiorPart
ChineseLanguage
"(
interiorPart
?OBJ1 ?OBJ2)的意思是 ?OBJ1 是 ?OBJ2 的部分,而 ?OBJ1 和 ?OBJ2 的任何
superficialPart
之间并没有重叠的部分。")
chinese_format.kif 2841-2842
(
documentation
interiorPart
EnglishLanguage
"(
interiorPart
?OBJ1 ?OBJ2) means that ?OBJ1 is part ?OBJ2 and there is no overlap between ?OBJ1 and any
superficialPart
?OBJ2.")
Merge.kif 9695-9697
(
documentation
interiorPart
JapaneseLanguage
"(
interiorPart
?OBJ1 ?OBJ2) とは、?OBJ1が ?OBJ2の部分であり、?OBJ1 と
superficialPart
?OBJ2 の間に重複がないことを意味する。")
japanese_format.kif 1585-1586
(
instance
interiorPart
AsymmetricRelation
)
Merge.kif 9693-9693
interiorPart
ist ein
fall
von
AsymmetricRelation
%n{nicht}
(
instance
interiorPart
TransitiveRelation
)
Merge.kif 9694-9694
interiorPart
ist ein
fall
von
TransitiveRelation
%n{nicht}
(
subrelation
interiorPart
part
)
Merge.kif 9692-9692
interiorPart
ist eine
teilrelation
von
teil
appearance as argument number 2
(
format
ChineseLanguage
interiorPart
"%1 %n 是 %2 的
interiorPart
")
chinese_format.kif 375-375
(
format
EnglishLanguage
interiorPart
"%1 is %n a interior part of %2")
english_format.kif 376-376
(
format
FrenchLanguage
interiorPart
"%1 est %n une partie interieur de %2")
french_format.kif 216-216
(
format
ItalianLanguage
interiorPart
"%1 è %n una
part
e interiore di %2")
relations-it.txt 152-152
(
format
JapaneseLanguage
interiorPart
"%1 は %2 の interior 部分では %n")
japanese_format.kif 2022-2022
(
format
PortugueseLanguage
interiorPart
"%1 e' %n uma parte interior de %2")
portuguese_format.kif 168-168
(
format
cz
interiorPart
"%1 %p{je} %n{nen�} a interior part of %2")
relations-cz.txt 223-223
(
format
de
interiorPart
"%1 ist ein innenteil von %2 %n{nicht}")
relations-de.txt 501-501
(
format
hi
interiorPart
"%1 %2 kaa aantarika bhaaga %n hai")
relations-hindi.txt 191-191
(
format
ro
interiorPart
"%1 %n{nu} este o parte interior%t{interioarã} a lui %2")
relations-ro.kif 236-236
(
format
sv
interiorPart
"%1 är %n{inte} en inre
de
l av %2")
relations-sv.txt 233-233
(
format
tg
interiorPart
"%1 %n ay saloob ng %2")
relations-tg.txt 307-307
(
termFormat
ChineseLanguage
interiorPart
"内在部分")
chinese_format.kif 376-376
(
termFormat
ChineseLanguage
interiorPart
"内饰部分")
domainEnglishFormat.kif 30451-30451
(
termFormat
ChineseTraditionalLanguage
interiorPart
"內飾部分")
domainEnglishFormat.kif 30450-30450
(
termFormat
EnglishLanguage
interiorPart
"interior part")
domainEnglishFormat.kif 30449-30449
(
termFormat
tg
interiorPart
"bahagi saloob")
relations-tg.txt 308-308
antecedent
(=>
(
and
(
instance
?B
Bubble
)
(
interiorPart
?P ?B))
(
attribute
?P
Gas
))
Mid-level-ontology.kif 5010-5014
Wenn
Object
ist ein
fall
von
Bubble
%n{nicht} und
** Object
ist ein
innenteil
von
** Object
%n{nicht},
dann
Gas
ist ein
attribut
von
** ** Object
%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
consequent
(=>
(
instance
?INSIDE
Inside
)
(
exists
(?OBJECT)
(
forall
(?THING)
(=>
(
located
?THING ?INSIDE)
(
exists
(?PART)
(
and
(
interiorPart
?PART ?OBJECT)
(
located
?THING ?PART)))))))
Mid-level-ontology.kif 9094-9103
Wenn
Object
ist ein
fall
von
Inside
%n{nicht},
dann es gibt
** Object
um fuer alle
Physical
wenn
** Physical
befindet
sich an %n{nicht},
dann es gibt
** Object
um
** ** Object
ist ein
innenteil
von
** ** Object
%n{nicht} und
** Physical
befindet
sich an %n{nicht}
(=>
(
instance
?MEMBRANE
CellMembraneInternal
)
(
exists
(?CELL)
(
and
(
instance
?CELL
Cell
)
(
interiorPart
?MEMBRANE ?CELL))))
VirusProteinAndCellPart.kif 486-491
Wenn
Object
ist ein
fall
von
CellMembraneInternal
%n{nicht},
dann es gibt
** Object
um
** ** Object
ist ein
fall
von
Cell
%n{nicht} und
** Object
ist ein
innenteil
von
** ** Object
%n{nicht}
(=>
(
instance
?OBJ1
EukaryoticCell
)
(
exists
(?OBJ2)
(
and
(
interiorPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
CellNucleus
))))
VirusProteinAndCellPart.kif 383-388
Wenn
Object
ist ein
fall
von
EukaryoticCell
%n{nicht},
dann es gibt
** Object
um
** ** Object
ist ein
innenteil
von
** Object
%n{nicht} und
** ** Object
ist ein
fall
von
CellNucleus
%n{nicht}
(=>
(
instance
?S
Skeleton
)
(
exists
(?A)
(
and
(
instance
?A
Animal
)
(
interiorPart
?S ?A))))
Mid-level-ontology.kif 11662-11667
Wenn
Object
ist ein
fall
von
Skeleton
%n{nicht},
dann es gibt
** Object
um
** ** Object
ist ein
fall
von
Animal
%n{nicht} und
** Object
ist ein
innenteil
von
** ** Object
%n{nicht}
(=>
(
instance
?VIR
VacciniaVirion
)
(
exists
(?ENV)
(
and
(
instance
?ENV
VirusCoreEnvelope
)
(
interiorPart
?ENV ?VIR))))
VirusProteinAndCellPart.kif 1178-1183
Wenn
Object
ist ein
fall
von
VacciniaVirion
%n{nicht},
dann es gibt
** Object
um
** ** Object
ist ein
fall
von
VirusCoreEnvelope
%n{nicht} und
** ** Object
ist ein
innenteil
von
** Object
%n{nicht}
(=>
(
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}
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