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
partition
Sigma KEE - partition
partition
appearance as argument number 1
(
documentation
partition
ChineseLanguage
"C
Class
的
partition
是一组包括C,而互不
disjoint
的类别 (一个子类别的分区)。C的每一个实例正正是这个分区子类别的一个实例。")
chinese_format.kif 1517-1518
(
documentation
partition
EnglishLanguage
"A
partition
of a
Class
C is a set of mutually
disjoint
classes (a subclass partition) which covers C. Every instance of C is an instance of exactly one of the subclasses in the partition.")
Merge.kif 585-588
(
documentation
partition
JapaneseLanguage
"
Class
C の
partition
は 相互に
disjoint
クラス(サブクラスパーティション)で、C をカバーする。Cのすべてのインスタンスは、パーティション 内の正確な1つのサブクラスのインスタンスである。")
japanese_format.kif 82-84
(
documentation
partition
SpanishLanguage
"Una
partition
de una
Class
C es un conjunto de clases mutuamente
disjoint
(una partición de la subclase) en la que cubre a C. Cada instancia de C es exactamente una de las subclases en la partición.")
spanish_format.kif 94-96
(
domain
partition
1
Class
)
Merge.kif 582-582
Il numero 1 argomenti di
partition
è un
istanza
di
Classe
(
domain
partition
2
Class
)
Merge.kif 583-583
Il numero 2 argomenti di
partition
è un
istanza
di
Classe
(
instance
partition
Predicate
)
Merge.kif 580-580
partition
è un'
istanza
di
Predicato
(
instance
partition
VariableArityRelation
)
Merge.kif 581-581
partition
è un'
istanza
di
RelazioneAdArit�Variabile
appearance as argument number 2
(
format
ChineseLanguage
partition
"%1 %n 详尽无遗地
partition
成 %*{2-}[,]")
chinese_format.kif 311-311
(
format
EnglishLanguage
partition
"%1 is %n exhaustively
partition
ed into %*{2-}[,]")
english_format.kif 316-316
(
format
FrenchLanguage
partition
"%1 est %n compl�tement d�compos� en %*{2-}[,]")
french_format.kif 178-178
(
format
ItalianLanguage
partition
"%1 è %n esaustivamente partizionato in %*{2-}[,]")
relations-it.txt 213-213
(
format
JapaneseLanguage
partition
"%1 は %*{2-}[,] に exhaustively
partition
ed %n")
japanese_format.kif 1998-1998
(
format
PortugueseLanguage
partition
"o conceito %1 e' %n completamente
de
composto em %*{2-}[,]")
portuguese_format.kif 130-130
(
format
cz
partition
"%1 %p{je} %n{nen�} exhaustively partitioned into %*{2-}[,]")
relations-cz.txt 187-187
(
format
de
partition
"%1 wird vollstaendig in %*{2-}[,] verteilt")
relations-de.txt 408-408
(
format
hi
partition
"%1 %*{2-}[,] men sarvasamaaveshita ruupa se vibhaajita %n hai")
relations-hindi.txt 251-251
(
format
ro
partition
"%1 %n{nu} este
partition
ed%t{partiþionatã} exhaustively%t{exhaustiv} în %*{2-}[,]")
relations-ro.kif 198-198
(
format
sv
partition
"%1 är %n{inte}
part
iellt
de
lad i %*{2-}[,]")
relations-sv.txt 188-188
(
format
tg
partition
"%1 %n ay ang ari-arian ng %*{2-}[,]")
relations-tg.txt 405-405
(
relatedInternalConcept
exhaustiveDecomposition
partition
)
Merge.kif 550-550
exhaustiveDecomposition
è
interamente
correlato a
partition
(
termFormat
ChineseLanguage
partition
"划分")
chinese_format.kif 312-312
(
termFormat
ChineseTraditionalLanguage
partition
"劃分")
domainEnglishFormat.kif 44567-44567
(
termFormat
EnglishLanguage
partition
"partition")
domainEnglishFormat.kif 44566-44566
antecedent
(=>
(
and
(
partition
?SUPER ?SUB1 ?SUB2)
(
instance
?INST ?SUPER)
(
not
(
instance
?INST ?SUB1)))
(
instance
?INST ?SUB2))
Merge.kif 606-612
Classe
è
esaustivamente
partizionato in
Classe
+
Classe
Entit�
è un'
istanza
di
Classe
Entit�
è un'
istanza
di
Classe
Entit�
è un'
istanza
di
Classe
(=>
(
partition
?SUPER ?SUB1 ?SUB2)
(
partition
?SUPER ?SUB2 ?SUB1))
Merge.kif 602-604
Classe
è
esaustivamente
partizionato in
Classe
+
Classe
Classe
è
esaustivamente
partizionato in
Classe
+
Classe
(=>
(
partition
@ROW)
(
and
(
exhaustiveDecomposition
@ROW)
(
disjointDecomposition
@ROW)))
Merge.kif 590-594
@ROW è
esaustivamente
partizionato in @ROW
@ROW è
coperto
da @ROW @ROW è
scomposto
disgiuntivamente in @ROW
consequent
(=>
(
and
(
exhaustiveDecomposition
@ROW)
(
disjointDecomposition
@ROW))
(
partition
@ROW))
Merge.kif 596-600
@ROW è
coperto
da @ROW @ROW è
scomposto
disgiuntivamente in @ROW
@ROW è
esaustivamente
partizionato in @ROW
(=>
(
partition
?SUPER ?SUB1 ?SUB2)
(
partition
?SUPER ?SUB2 ?SUB1))
Merge.kif 602-604
Classe
è
esaustivamente
partizionato in
Classe
+
Classe
Classe
è
esaustivamente
partizionato in
Classe
+
Classe
appearance as argument number 0
(
partition
Ambulating
Walking
Running
)
Merge.kif 11141-11141
Ambulating
è
esaustivamente
partizionato in
Camminare
+
Running
(
partition
AnatomicalStructure
AnimalAnatomicalStructure
PlantAnatomicalStructure
)
Merge.kif 14915-14915
StrutturaAnatomica
è
esaustivamente
partizionato in
AnimalAnatomicalStructure
+
PlantAnatomicalStructure
(
partition
AnatomicalStructure
BodyPart
AbnormalAnatomicalStructure
)
Merge.kif 14914-14914
StrutturaAnatomica
è
esaustivamente
partizionato in
ParteDelCorpo
+
AbnormalAnatomicalStructure
(
partition
Animal
Vertebrate
Invertebrate
)
Merge.kif 14447-14447
Animale
è
esaustivamente
partizionato in
Vertebrato
+
Invertebrato
(
partition
Argument
DeductiveArgument
InductiveArgument
)
Merge.kif 16813-16813
Argument
è
esaustivamente
partizionato in
DeductiveArgument
+
InductiveArgument
(
partition
Attribute
InternalAttribute
RelationalAttribute
)
Merge.kif 1702-1702
Attributo
è
esaustivamente
partizionato in
AttributoInterno
+
AttributoRelazionale
(
partition
BiochemicalAgent
BiologicalAgent
ChemicalAgent
)
WMD.kif 82-82
BiochemicalAgent
è
esaustivamente
partizionato in
BiologicalAgent
+
ChemicalAgent
(
partition
BiochemicalWeapon
BiologicalWeapon
ChemicalWeapon
)
WMD.kif 108-108
BiochemicalWeapon
è
esaustivamente
partizionato in
BiologicalWeapon
+
ChemicalWeapon
(
partition
BiologicalAgent
Toxin
ToxicOrganism
)
WMD.kif 157-157
BiologicalAgent
è
esaustivamente
partizionato in
Toxin
+
SostanzaTossica
(
partition
CareOrganization
HospitalOrganization
MedicalClinic
)
Mid-level-ontology.kif 7625-7625
CareOrganization
è
esaustivamente
partizionato in
HospitalOrganization
+
MedicalClinic
(
partition
ChairmanPublication
ChairmanInstruction
ChairmanManual
)
MilitaryProcesses.kif 1027-1027
ChairmanPublication
è
esaustivamente
partizionato in
ChairmanInstruction
+
ChairmanManual
(
partition
ChemicalProcess
ChemicalSynthesis
ChemicalDecomposition
)
Merge.kif 12504-12504
ProcessoChimico
è
esaustivamente
partizionato in
SintesiChimica
+
DecomposizioneChimica
(
partition
Communication
Stating
Supposing
Directing
Committing
Expressing
Declaring
)
Merge.kif 13036-13036
Comunicazione
è
esaustivamente
partizionato in
Affermare
,
Supposing
,
Sollecitare
,
Impegnarsi
,
Esprimere
, +
Dichiarare
(
partition
Currency
CurrencyBill
CurrencyCoin
)
Mid-level-ontology.kif 3585-3585
Currency
è
esaustivamente
partizionato in
CurrencyBill
+
CurrencyCoin
(
partition
DeductiveArgument
ValidDeductiveArgument
InvalidDeductiveArgument
)
Merge.kif 16833-16833
DeductiveArgument
è
esaustivamente
partizionato in
ValidDeductiveArgument
+
InvalidDeductiveArgument
(
partition
Entity
Physical
Abstract
)
Merge.kif 816-816
Entit�
è
esaustivamente
partizionato in
Entit�Concreta
+
Astratto
(
partition
Expressing
Gesture
ExpressingInLanguage
)
Mid-level-ontology.kif 12943-12943
Esprimere
è
esaustivamente
partizionato in
Gesture
+
ExpressingInLanguage
(
partition
Firearm
Rifle
Pistol
)
Mid-level-ontology.kif 1604-1604
Firearm
è
esaustivamente
partizionato in
Rifle
+
Pistol
(
partition
Garden
ResidentialGarden
PublicGarden
)
Mid-level-ontology.kif 8152-8152
Garden
è
esaustivamente
partizionato in
ResidentialGarden
+
PublicGarden
(
partition
GeographicArea
WaterArea
LandArea
)
Merge.kif 14032-14032
AreaGeografica
è
esaustivamente
partizionato in
SuperficieAcquatica
+
SuperficieTerrestre
(
partition
GeometricFigure
GeometricPoint
OneDimensionalFigure
TwoDimensionalFigure
ThreeDimensionalFigure
)
Merge.kif 17781-17781
GeometricFigure
è
esaustivamente
partizionato in
GeometricPoint
,
OneDimensionalFigure
,
TwoDimensionalFigure
, +
ThreeDimensionalFigure
(
partition
GraphElement
GraphNode
GraphArc
)
Merge.kif 5820-5820
ElementoDelGrafo
è
esaustivamente
partizionato in
NodoDelGrafo
+
arco del grafo
(
partition
Gun
ArtilleryGun
Firearm
)
Mid-level-ontology.kif 1162-1162
Gun
è
esaustivamente
partizionato in
ArtilleryGun
+
Firearm
(
partition
Hardwood
Softwood
)
Economy.kif 5279-5279
Hardwood
è
esaustivamente
partizionato in
Softwood
(
partition
Human
Man
Woman
)
Merge.kif 14645-14645
Umano
è
esaustivamente
partizionato in
Man
+
Woman
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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