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
pathLength
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 9731-9733
(
documentation
interiorPart
JapaneseLanguage
"(
interiorPart
?OBJ1 ?OBJ2) とは、?OBJ1が ?OBJ2の部分であり、?OBJ1 と
superficialPart
?OBJ2 の間に重複がないことを意味する。")
japanese_format.kif 1585-1586
(
instance
interiorPart
AsymmetricRelation
)
Merge.kif 9729-9729
interiorPart
est une
instance
de
relation asym�trique
(
instance
interiorPart
TransitiveRelation
)
Merge.kif 9730-9730
interiorPart
est une
instance
de
relation transitive
(
subrelation
interiorPart
part
)
Merge.kif 9728-9728
interiorPart
est une
sous
-relation de
part
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 5004-5008
Objet
est une
instance
de
Bubble
objet
est une partie
interieur
de
objet
Gas
est un
attribut
de
objet
(=>
(
interiorPart
?OBJ1 ?OBJ2)
(
forall
(?PART)
(=>
(
superficialPart
?PART ?OBJ2)
(
not
(
overlapsSpatially
?OBJ1 ?PART)))))
Merge.kif 9735-9741
Objet
est une partie
interieur
de
objet
objet
objet
est une partie
superficielle
de
objet
objet
ne
recouvre
%n{pas}
objet
consequent
(=>
(
instance
?INSIDE
Inside
)
(
exists
(?OBJECT)
(
forall
(?THING)
(=>
(
located
?THING ?INSIDE)
(
exists
(?PART)
(
and
(
interiorPart
?PART ?OBJECT)
(
located
?THING ?PART)))))))
Mid-level-ontology.kif 9121-9130
Objet
est une
instance
de
Inside
objet
physique
physique
est
situ
� �
objet
objet
objet
est une partie
interieur
de
objet
physique
est
situ
� �
objet
(=>
(
instance
?MEMBRANE
CellMembraneInternal
)
(
exists
(?CELL)
(
and
(
instance
?CELL
Cell
)
(
interiorPart
?MEMBRANE ?CELL))))
VirusProteinAndCellPart.kif 485-490
Objet
est une
instance
de
CellMembraneInternal
objet
objet
est une
instance
de
cellule
objet
est une partie
interieur
de
objet
(=>
(
instance
?OBJ1
EukaryoticCell
)
(
exists
(?OBJ2)
(
and
(
interiorPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
CellNucleus
))))
VirusProteinAndCellPart.kif 383-388
Objet
est une
instance
de
EukaryoticCell
objet
objet
est une partie
interieur
de
objet
objet
est une
instance
de
CellNucleus
(=>
(
instance
?S
Skeleton
)
(
exists
(?A)
(
and
(
instance
?A
Animal
)
(
interiorPart
?S ?A))))
Mid-level-ontology.kif 11689-11694
Objet
est une
instance
de
Skeleton
objet
objet
est une
instance
de
animal
objet
est une partie
interieur
de
objet
(=>
(
instance
?VIR
VacciniaVirion
)
(
exists
(?ENV)
(
and
(
instance
?ENV
VirusCoreEnvelope
)
(
interiorPart
?ENV ?VIR))))
VirusProteinAndCellPart.kif 1179-1184
Objet
est une
instance
de
VacciniaVirion
objet
objet
est une
instance
de
VirusCoreEnvelope
objet
est une partie
interieur
de
objet
(=>
(
superficialPart
?OBJ1 ?OBJ2)
(
and
(
not
(
interiorPart
?OBJ1 ?OBJ2))
(
not
(
exists
(?OBJ3)
(
interiorPart
?OBJ3 ?OBJ1)))))
Merge.kif 9701-9708
Objet
est une partie
superficielle
de
objet
objet
est une partie
interieur
de
objet
objet
objet
est une partie
interieur
de
objet
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