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 9717-9719
(
documentation
interiorPart
JapaneseLanguage
"(
interiorPart
?OBJ1 ?OBJ2) とは、?OBJ1が ?OBJ2の部分であり、?OBJ1 と
superficialPart
?OBJ2 の間に重複がないことを意味する。")
japanese_format.kif 1585-1586
(
instance
interiorPart
AsymmetricRelation
)
Merge.kif 9715-9715
(
instance
interiorPart
TransitiveRelation
)
Merge.kif 9716-9716
(
subrelation
interiorPart
part
)
Merge.kif 9714-9714
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 5009-5013
(=>
(
interiorPart
?OBJ1 ?OBJ2)
(
forall
(?PART)
(=>
(
superficialPart
?PART ?OBJ2)
(
not
(
overlapsSpatially
?OBJ1 ?PART)))))
Merge.kif 9721-9727
consequent
(=>
(
instance
?INSIDE
Inside
)
(
exists
(?OBJECT)
(
forall
(?THING)
(=>
(
located
?THING ?INSIDE)
(
exists
(?PART)
(
and
(
interiorPart
?PART ?OBJECT)
(
located
?THING ?PART)))))))
Mid-level-ontology.kif 9093-9102
(=>
(
instance
?MEMBRANE
CellMembraneInternal
)
(
exists
(?CELL)
(
and
(
instance
?CELL
Cell
)
(
interiorPart
?MEMBRANE ?CELL))))
VirusProteinAndCellPart.kif 485-490
(=>
(
instance
?OBJ1
EukaryoticCell
)
(
exists
(?OBJ2)
(
and
(
interiorPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
CellNucleus
))))
VirusProteinAndCellPart.kif 383-388
(=>
(
instance
?S
Skeleton
)
(
exists
(?A)
(
and
(
instance
?A
Animal
)
(
interiorPart
?S ?A))))
Mid-level-ontology.kif 11661-11666
(=>
(
instance
?VIR
VacciniaVirion
)
(
exists
(?ENV)
(
and
(
instance
?ENV
VirusCoreEnvelope
)
(
interiorPart
?ENV ?VIR))))
VirusProteinAndCellPart.kif 1177-1182
(=>
(
superficialPart
?OBJ1 ?OBJ2)
(
and
(
not
(
interiorPart
?OBJ1 ?OBJ2))
(
not
(
exists
(?OBJ3)
(
interiorPart
?OBJ3 ?OBJ1)))))
Merge.kif 9687-9694
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