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
Throat
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
interiorPart
è un'
istanza
di
RelazioneAsimmetrica
(
instance
interiorPart
TransitiveRelation
)
Merge.kif 9716-9716
interiorPart
è un'
istanza
di
RelazioneTransitiva
(
subrelation
interiorPart
part
)
Merge.kif 9714-9714
interiorPart
è una
sottorelazione
di
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 5009-5013
Oggetto
è un'
istanza
di
Bubble
Oggetto
è una
parte
interiore di
Oggetto
attribute
Oggetto
and
Gas
(=>
(
interiorPart
?OBJ1 ?OBJ2)
(
forall
(?PART)
(=>
(
superficialPart
?PART ?OBJ2)
(
not
(
overlapsSpatially
?OBJ1 ?PART)))))
Merge.kif 9721-9727
Oggetto
è una
parte
interiore di
Oggetto
Oggetto
Oggetto
è una
parte
superficiale di
Oggetto
Oggetto
non
si
sovrappone a
Oggetto
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
Oggetto
è un'
istanza
di
Inside
Oggetto
Entit�Concreta
Entit�Concreta
è
localizzato
in
Oggetto
Oggetto
Oggetto
è una
parte
interiore di
Oggetto
Entit�Concreta
è
localizzato
in
Oggetto
(=>
(
instance
?MEMBRANE
CellMembraneInternal
)
(
exists
(?CELL)
(
and
(
instance
?CELL
Cell
)
(
interiorPart
?MEMBRANE ?CELL))))
VirusProteinAndCellPart.kif 485-490
Oggetto
è un'
istanza
di
CellMembraneInternal
Oggetto
Oggetto
è un'
istanza
di
Cellula
Oggetto
è una
parte
interiore di
Oggetto
(=>
(
instance
?OBJ1
EukaryoticCell
)
(
exists
(?OBJ2)
(
and
(
interiorPart
?OBJ2 ?OBJ1)
(
instance
?OBJ2
CellNucleus
))))
VirusProteinAndCellPart.kif 383-388
Oggetto
è un'
istanza
di
EukaryoticCell
Oggetto
Oggetto
è una
parte
interiore di
Oggetto
Oggetto
è un'
istanza
di
CellNucleus
(=>
(
instance
?S
Skeleton
)
(
exists
(?A)
(
and
(
instance
?A
Animal
)
(
interiorPart
?S ?A))))
Mid-level-ontology.kif 11661-11666
Oggetto
è un'
istanza
di
Skeleton
Oggetto
Oggetto
è un'
istanza
di
Animale
Oggetto
è una
parte
interiore di
Oggetto
(=>
(
instance
?VIR
VacciniaVirion
)
(
exists
(?ENV)
(
and
(
instance
?ENV
VirusCoreEnvelope
)
(
interiorPart
?ENV ?VIR))))
VirusProteinAndCellPart.kif 1177-1182
Oggetto
è un'
istanza
di
VacciniaVirion
Oggetto
Oggetto
è un'
istanza
di
VirusCoreEnvelope
Oggetto
è una
parte
interiore di
Oggetto
(=>
(
superficialPart
?OBJ1 ?OBJ2)
(
and
(
not
(
interiorPart
?OBJ1 ?OBJ2))
(
not
(
exists
(?OBJ3)
(
interiorPart
?OBJ3 ?OBJ1)))))
Merge.kif 9687-9694
Oggetto
è una
parte
superficiale di
Oggetto
Oggetto
è una
parte
interiore di
Oggetto
Oggetto
Oggetto
è una
parte
interiore di
Oggetto
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