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
Le nombre 1 argument de
partition
est une
instance
de
classe
(
domain
partition
2
Class
)
Merge.kif 583-583
Le nombre 2 argument de
partition
est une
instance
de
classe
(
instance
partition
Predicate
)
Merge.kif 580-580
partition
est une
instance
de
predicat
(
instance
partition
VariableArityRelation
)
Merge.kif 581-581
partition
est une
instance
de
relation a arit� variable
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
est
reli
� � l'int�rieur de SUMO �
partition
(
termFormat
ChineseLanguage
partition
"划分")
chinese_format.kif 312-312
(
termFormat
ChineseTraditionalLanguage
partition
"劃分")
domainEnglishFormat.kif 44569-44569
(
termFormat
EnglishLanguage
partition
"partition")
domainEnglishFormat.kif 44568-44568
antecedent
(=>
(
and
(
partition
?SUPER ?SUB1 ?SUB2)
(
instance
?INST ?SUPER)
(
not
(
instance
?INST ?SUB1)))
(
instance
?INST ?SUB2))
Merge.kif 606-612
Classe
est
compl
�tement
d
�compos� en
classe
+
classe
entit�
est une
instance
de
classe
entit�
est une
instance
de
classe
entit�
est une
instance
de
classe
(=>
(
partition
?SUPER ?SUB1 ?SUB2)
(
partition
?SUPER ?SUB2 ?SUB1))
Merge.kif 602-604
Classe
est
compl
�tement
d
�compos� en
classe
+
classe
classe
est
compl
�tement
d
�compos� en
classe
+
classe
(=>
(
partition
@ROW)
(
and
(
exhaustiveDecomposition
@ROW)
(
disjointDecomposition
@ROW)))
Merge.kif 590-594
@ROW est
compl
�tement
d
�compos� en @ROW
@ROW est
couvert
par @ROW @ROW est
disjointement
decompos
� en @ROW
consequent
(=>
(
and
(
exhaustiveDecomposition
@ROW)
(
disjointDecomposition
@ROW))
(
partition
@ROW))
Merge.kif 596-600
@ROW est
couvert
par @ROW @ROW est
disjointement
decompos
� en @ROW
@ROW est
compl
�tement
d
�compos� en @ROW
(=>
(
partition
?SUPER ?SUB1 ?SUB2)
(
partition
?SUPER ?SUB2 ?SUB1))
Merge.kif 602-604
Classe
est
compl
�tement
d
�compos� en
classe
+
classe
classe
est
compl
�tement
d
�compos� en
classe
+
classe
appearance as argument number 0
(
partition
Ambulating
Walking
Running
)
Merge.kif 11175-11175
Ambulating
est
compl
�tement
d
�compos� en
marcher
+
Running
(
partition
AnatomicalStructure
AnimalAnatomicalStructure
PlantAnatomicalStructure
)
Merge.kif 14961-14961
Structure anatomique
est
compl
�tement
d
�compos� en
AnimalAnatomicalStructure
+
PlantAnatomicalStructure
(
partition
AnatomicalStructure
BodyPart
AbnormalAnatomicalStructure
)
Merge.kif 14960-14960
Structure anatomique
est
compl
�tement
d
�compos� en
partie du corps
+
AbnormalAnatomicalStructure
(
partition
Animal
Vertebrate
Invertebrate
)
Merge.kif 14493-14493
Animal
est
compl
�tement
d
�compos� en
vertebr�
+
invertebr�
(
partition
Argument
DeductiveArgument
InductiveArgument
)
Merge.kif 16884-16884
Argument
est
compl
�tement
d
�compos� en
DeductiveArgument
+
InductiveArgument
(
partition
Attribute
InternalAttribute
RelationalAttribute
)
Merge.kif 1702-1702
Attribut
est
compl
�tement
d
�compos� en
attribut interne
+
attribut relationnel
(
partition
BiochemicalAgent
BiologicalAgent
ChemicalAgent
)
WMD.kif 82-82
BiochemicalAgent
est
compl
�tement
d
�compos� en
BiologicalAgent
+
ChemicalAgent
(
partition
BiochemicalWeapon
BiologicalWeapon
ChemicalWeapon
)
WMD.kif 108-108
BiochemicalWeapon
est
compl
�tement
d
�compos� en
BiologicalWeapon
+
ChemicalWeapon
(
partition
BiologicalAgent
Toxin
ToxicOrganism
)
WMD.kif 157-157
BiologicalAgent
est
compl
�tement
d
�compos� en
Toxin
+
ToxicOrganism
(
partition
CareOrganization
HospitalOrganization
MedicalClinic
)
Mid-level-ontology.kif 7652-7652
CareOrganization
est
compl
�tement
d
�compos� en
HospitalOrganization
+
MedicalClinic
(
partition
ChairmanPublication
ChairmanInstruction
ChairmanManual
)
MilitaryProcesses.kif 1027-1027
ChairmanPublication
est
compl
�tement
d
�compos� en
ChairmanInstruction
+
ChairmanManual
(
partition
ChemicalProcess
ChemicalSynthesis
ChemicalDecomposition
)
Merge.kif 12550-12550
Processus chimique
est
compl
�tement
d
�compos� en
synth�se chimique
+
d�composition chemical
(
partition
Communication
Stating
Supposing
Directing
Committing
Expressing
Declaring
)
Merge.kif 13082-13082
Communication
est
compl
�tement
d
�compos� en
d�clarer
,
Supposing
,
diriger
,
investir
,
exprimer
, +
d�clarer
(
partition
Currency
CurrencyBill
CurrencyCoin
)
Mid-level-ontology.kif 3578-3578
Currency
est
compl
�tement
d
�compos� en
CurrencyBill
+
CurrencyCoin
(
partition
DeductiveArgument
ValidDeductiveArgument
InvalidDeductiveArgument
)
Merge.kif 16904-16904
DeductiveArgument
est
compl
�tement
d
�compos� en
ValidDeductiveArgument
+
InvalidDeductiveArgument
(
partition
Entity
Physical
Abstract
)
Merge.kif 816-816
Entit�
est
compl
�tement
d
�compos� en
physique
+
abstrait
(
partition
Expressing
Gesture
ExpressingInLanguage
)
Mid-level-ontology.kif 12970-12970
Exprimer
est
compl
�tement
d
�compos� en
Gesture
+
ExpressingInLanguage
(
partition
Firearm
Rifle
Pistol
)
Mid-level-ontology.kif 1597-1597
Firearm
est
compl
�tement
d
�compos� en
Rifle
+
Pistol
(
partition
Garden
ResidentialGarden
PublicGarden
)
Mid-level-ontology.kif 8179-8179
Garden
est
compl
�tement
d
�compos� en
ResidentialGarden
+
PublicGarden
(
partition
GeographicArea
WaterArea
LandArea
)
Merge.kif 14078-14078
Secteur g�ographique
est
compl
�tement
d
�compos� en
plan d'eau
+
zone de terre
(
partition
GeometricFigure
GeometricPoint
OneDimensionalFigure
TwoDimensionalFigure
ThreeDimensionalFigure
)
Merge.kif 17860-17860
GeometricFigure
est
compl
�tement
d
�compos� en
GeometricPoint
,
OneDimensionalFigure
,
TwoDimensionalFigure
, +
ThreeDimensionalFigure
(
partition
GraphElement
GraphNode
GraphArc
)
Merge.kif 5821-5821
�lement du graph
Est
compl
�tement
d
�compos� en
noeud du graph
+
arc du graph
(
partition
Gun
ArtilleryGun
Firearm
)
Mid-level-ontology.kif 1155-1155
Gun
est
compl
�tement
d
�compos� en
ArtilleryGun
+
Firearm
(
partition
Hardwood
Softwood
)
Economy.kif 5279-5279
Hardwood
est
compl
�tement
d
�compos� en
Softwood
(
partition
Human
Man
Woman
)
Merge.kif 14691-14691
Humain
est
compl
�tement
d
�compos� en
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