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
Die Zahl 1 Argument von
partition
ist ein
fall
von
Class
%n{nicht}
(
domain
partition
2
Class
)
Merge.kif 583-583
Die Zahl 2 Argument von
partition
ist ein
fall
von
Class
%n{nicht}
(
instance
partition
Predicate
)
Merge.kif 580-580
partition
ist ein
fall
von
Predicate
%n{nicht}
(
instance
partition
VariableArityRelation
)
Merge.kif 581-581
partition
ist ein
fall
von
VariableArityRelation
%n{nicht}
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
ist innerlich verwandt mit
partition
%n{nicht}
(
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
Wenn
Class
wird
vollstaendig
in
** Class
und
** Class
verteilt und
Entity
ist ein
fall
von
** Class
%n{nicht} und
** Entity
ist ein
fall
von
** ** Class
nicht,
dann
** Entity
ist ein
fall
von
** ** Class
%n{nicht}
(=>
(
partition
?SUPER ?SUB1 ?SUB2)
(
partition
?SUPER ?SUB2 ?SUB1))
Merge.kif 602-604
Wenn
Class
wird
vollstaendig
in
** Class
und
** Class
verteilt,
dann
** Class
wird
vollstaendig
in
** ** Class
und
** ** Class
verteilt
(=>
(
partition
@ROW)
(
and
(
exhaustiveDecomposition
@ROW)
(
disjointDecomposition
@ROW)))
Merge.kif 590-594
Wenn @ROW wird
vollstaendig
in @ROW verteilt,
dann @ROW wird mit @ROW behandelt und @ROW wird zusammenhanglos auf @ROW disjunkt
consequent
(=>
(
and
(
exhaustiveDecomposition
@ROW)
(
disjointDecomposition
@ROW))
(
partition
@ROW))
Merge.kif 596-600
Wenn @ROW wird mit @ROW behandelt und @ROW wird zusammenhanglos auf @ROW disjunkt,
dann @ROW wird
vollstaendig
in @ROW verteilt
(=>
(
partition
?SUPER ?SUB1 ?SUB2)
(
partition
?SUPER ?SUB2 ?SUB1))
Merge.kif 602-604
Wenn
Class
wird
vollstaendig
in
** Class
und
** Class
verteilt,
dann
** Class
wird
vollstaendig
in
** ** Class
und
** ** Class
verteilt
appearance as argument number 0
(
partition
Ambulating
Walking
Running
)
Merge.kif 11163-11163
Ambulating
wird
vollstaendig
in
Walking
und
Running
verteilt
(
partition
AnatomicalStructure
AnimalAnatomicalStructure
PlantAnatomicalStructure
)
Merge.kif 14937-14937
AnatomicalStructure
wird
vollstaendig
in
AnimalAnatomicalStructure
und
PlantAnatomicalStructure
verteilt
(
partition
AnatomicalStructure
BodyPart
AbnormalAnatomicalStructure
)
Merge.kif 14936-14936
AnatomicalStructure
wird
vollstaendig
in
BodyPart
und
AbnormalAnatomicalStructure
verteilt
(
partition
Animal
Vertebrate
Invertebrate
)
Merge.kif 14469-14469
Animal
wird
vollstaendig
in
Vertebrate
und
Invertebrate
verteilt
(
partition
Argument
DeductiveArgument
InductiveArgument
)
Merge.kif 16835-16835
Argument
wird
vollstaendig
in
DeductiveArgument
und
InductiveArgument
verteilt
(
partition
Attribute
InternalAttribute
RelationalAttribute
)
Merge.kif 1702-1702
Attribute
wird
vollstaendig
in
InternalAttribute
und
RelationalAttribute
verteilt
(
partition
BiochemicalAgent
BiologicalAgent
ChemicalAgent
)
WMD.kif 82-82
BiochemicalAgent
wird
vollstaendig
in
BiologicalAgent
und
ChemicalAgent
verteilt
(
partition
BiochemicalWeapon
BiologicalWeapon
ChemicalWeapon
)
WMD.kif 108-108
BiochemicalWeapon
wird
vollstaendig
in
BiologicalWeapon
und
ChemicalWeapon
verteilt
(
partition
BiologicalAgent
Toxin
ToxicOrganism
)
WMD.kif 157-157
BiologicalAgent
wird
vollstaendig
in
Toxin
und
ToxicOrganism
verteilt
(
partition
CareOrganization
HospitalOrganization
MedicalClinic
)
Mid-level-ontology.kif 7624-7624
CareOrganization
wird
vollstaendig
in
HospitalOrganization
und
MedicalClinic
verteilt
(
partition
ChairmanPublication
ChairmanInstruction
ChairmanManual
)
MilitaryProcesses.kif 1027-1027
ChairmanPublication
wird
vollstaendig
in
ChairmanInstruction
und
ChairmanManual
verteilt
(
partition
ChemicalProcess
ChemicalSynthesis
ChemicalDecomposition
)
Merge.kif 12526-12526
ChemicalProcess
wird
vollstaendig
in
ChemicalSynthesis
und
ChemicalDecomposition
verteilt
(
partition
Communication
Stating
Supposing
Directing
Committing
Expressing
Declaring
)
Merge.kif 13058-13058
Communication
wird
vollstaendig
in
Stating
,
Supposing
,
Directing
,
Committing
,
Expressing
, und
Declaring
verteilt
(
partition
Currency
CurrencyBill
CurrencyCoin
)
Mid-level-ontology.kif 3585-3585
Currency
wird
vollstaendig
in
CurrencyBill
und
CurrencyCoin
verteilt
(
partition
DeductiveArgument
ValidDeductiveArgument
InvalidDeductiveArgument
)
Merge.kif 16855-16855
DeductiveArgument
wird
vollstaendig
in
ValidDeductiveArgument
und
InvalidDeductiveArgument
verteilt
(
partition
Entity
Physical
Abstract
)
Merge.kif 816-816
Entity
wird
vollstaendig
in
Physical
und
Abstract
verteilt
(
partition
Expressing
Gesture
ExpressingInLanguage
)
Mid-level-ontology.kif 12942-12942
Expressing
wird
vollstaendig
in
Gesture
und
ExpressingInLanguage
verteilt
(
partition
Firearm
Rifle
Pistol
)
Mid-level-ontology.kif 1604-1604
Firearm
wird
vollstaendig
in
Rifle
und
Pistol
verteilt
(
partition
Garden
ResidentialGarden
PublicGarden
)
Mid-level-ontology.kif 8151-8151
Garden
wird
vollstaendig
in
ResidentialGarden
und
PublicGarden
verteilt
(
partition
GeographicArea
WaterArea
LandArea
)
Merge.kif 14054-14054
GeographicArea
wird
vollstaendig
in
WaterArea
und
LandArea
verteilt
(
partition
GeometricFigure
GeometricPoint
OneDimensionalFigure
TwoDimensionalFigure
ThreeDimensionalFigure
)
Merge.kif 17803-17803
GeometricFigure
wird
vollstaendig
in
GeometricPoint
,
OneDimensionalFigure
,
TwoDimensionalFigure
, und
ThreeDimensionalFigure
verteilt
(
partition
GraphElement
GraphNode
GraphArc
)
Merge.kif 5820-5820
GraphElement
wird
vollstaendig
in
GraphNode
und
GraphArc
verteilt
(
partition
Gun
ArtilleryGun
Firearm
)
Mid-level-ontology.kif 1162-1162
Gun
wird
vollstaendig
in
ArtilleryGun
und
Firearm
verteilt
(
partition
Hardwood
Softwood
)
Economy.kif 5279-5279
Hardwood
wird
vollstaendig
in
Softwood
verteilt
(
partition
Human
Man
Woman
)
Merge.kif 14667-14667
Human
wird
vollstaendig
in
Man
und
Woman
verteilt
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