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
O argumento numero 1 de
partition
e' uma
instancia
de
Classe
(
domain
partition
2
Class
)
Merge.kif 583-583
O argumento numero 2 de
partition
e' uma
instancia
de
Classe
(
instance
partition
Predicate
)
Merge.kif 580-580
partition
e' uma
instancia
de
Predicado
(
instance
partition
VariableArityRelation
)
Merge.kif 581-581
partition
e' uma
instancia
de
Relacao de aridade variavel
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
e'
relacionado
internamente por SUMO 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
O conceito
Classe
e'
completamente
decomposto
em
Classe
+
Classe
Entidade
e' uma
instancia
de
Classe
Entidade
e' uma
instancia
de
Classe
Entidade
e' uma
instancia
de
Classe
(=>
(
partition
?SUPER ?SUB1 ?SUB2)
(
partition
?SUPER ?SUB2 ?SUB1))
Merge.kif 602-604
O conceito
Classe
e'
completamente
decomposto
em
Classe
+
Classe
o conceito
Classe
e'
completamente
decomposto
em
Classe
+
Classe
(=>
(
partition
@ROW)
(
and
(
exhaustiveDecomposition
@ROW)
(
disjointDecomposition
@ROW)))
Merge.kif 590-594
O conceito @ROW e'
completamente
decomposto
em @ROW
@ROW e'
coberto
por @ROW @ROW e'
disjuntamente
decomponivel
em @ROW
consequent
(=>
(
and
(
exhaustiveDecomposition
@ROW)
(
disjointDecomposition
@ROW))
(
partition
@ROW))
Merge.kif 596-600
@ROW e'
coberto
por @ROW @ROW e'
disjuntamente
decomponivel
em @ROW
o conceito @ROW e'
completamente
decomposto
em @ROW
(=>
(
partition
?SUPER ?SUB1 ?SUB2)
(
partition
?SUPER ?SUB2 ?SUB1))
Merge.kif 602-604
O conceito
Classe
e'
completamente
decomposto
em
Classe
+
Classe
o conceito
Classe
e'
completamente
decomposto
em
Classe
+
Classe
appearance as argument number 0
(
partition
Ambulating
Walking
Running
)
Merge.kif 11141-11141
O conceito
Ambulating
e'
completamente
decomposto
em
Andar
+
Running
(
partition
AnatomicalStructure
AnimalAnatomicalStructure
PlantAnatomicalStructure
)
Merge.kif 14915-14915
O conceito
Estructura Anatomica
e'
completamente
decomposto
em
AnimalAnatomicalStructure
+
PlantAnatomicalStructure
(
partition
AnatomicalStructure
BodyPart
AbnormalAnatomicalStructure
)
Merge.kif 14914-14914
O conceito
Estructura Anatomica
e'
completamente
decomposto
em
Parte do Corpo
+
AbnormalAnatomicalStructure
(
partition
Animal
Vertebrate
Invertebrate
)
Merge.kif 14447-14447
O conceito
Animal
e'
completamente
decomposto
em
Vertebrado
+
Invertebrado
(
partition
Argument
DeductiveArgument
InductiveArgument
)
Merge.kif 16813-16813
O conceito
Argument
e'
completamente
decomposto
em
DeductiveArgument
+
InductiveArgument
(
partition
Attribute
InternalAttribute
RelationalAttribute
)
Merge.kif 1702-1702
O conceito
Atributo
e'
completamente
decomposto
em
Atributo Interno
+
Atributo Relacional
(
partition
BiochemicalAgent
BiologicalAgent
ChemicalAgent
)
WMD.kif 82-82
O conceito
BiochemicalAgent
e'
completamente
decomposto
em
BiologicalAgent
+
ChemicalAgent
(
partition
BiochemicalWeapon
BiologicalWeapon
ChemicalWeapon
)
WMD.kif 108-108
O conceito
BiochemicalWeapon
e'
completamente
decomposto
em
BiologicalWeapon
+
ChemicalWeapon
(
partition
BiologicalAgent
Toxin
ToxicOrganism
)
WMD.kif 157-157
O conceito
BiologicalAgent
e'
completamente
decomposto
em
Toxin
+
ToxicOrganism
(
partition
CareOrganization
HospitalOrganization
MedicalClinic
)
Mid-level-ontology.kif 7625-7625
O conceito
CareOrganization
e'
completamente
decomposto
em
HospitalOrganization
+
MedicalClinic
(
partition
ChairmanPublication
ChairmanInstruction
ChairmanManual
)
MilitaryProcesses.kif 1027-1027
O conceito
ChairmanPublication
e'
completamente
decomposto
em
ChairmanInstruction
+
ChairmanManual
(
partition
ChemicalProcess
ChemicalSynthesis
ChemicalDecomposition
)
Merge.kif 12504-12504
O conceito
Processo Quimico
e'
completamente
decomposto
em
Sintese Quimica
+
Decomposicao Quimica
(
partition
Communication
Stating
Supposing
Directing
Committing
Expressing
Declaring
)
Merge.kif 13036-13036
O conceito
Communicacao
e'
completamente
decomposto
em
Declarar
,
Supposing
,
Dirigir
,
Comprometer-se
,
Exprimir
, +
Declarar
(
partition
Currency
CurrencyBill
CurrencyCoin
)
Mid-level-ontology.kif 3585-3585
O conceito
Currency
e'
completamente
decomposto
em
CurrencyBill
+
CurrencyCoin
(
partition
DeductiveArgument
ValidDeductiveArgument
InvalidDeductiveArgument
)
Merge.kif 16833-16833
O conceito
DeductiveArgument
e'
completamente
decomposto
em
ValidDeductiveArgument
+
InvalidDeductiveArgument
(
partition
Entity
Physical
Abstract
)
Merge.kif 816-816
O conceito
Entidade
e'
completamente
decomposto
em
Fisico
+
Abstrato
(
partition
Expressing
Gesture
ExpressingInLanguage
)
Mid-level-ontology.kif 12943-12943
O conceito
Exprimir
e'
completamente
decomposto
em
Gesture
+
ExpressingInLanguage
(
partition
Firearm
Rifle
Pistol
)
Mid-level-ontology.kif 1604-1604
O conceito
Firearm
e'
completamente
decomposto
em
Rifle
+
Pistol
(
partition
Garden
ResidentialGarden
PublicGarden
)
Mid-level-ontology.kif 8152-8152
O conceito
Garden
e'
completamente
decomposto
em
ResidentialGarden
+
PublicGarden
(
partition
GeographicArea
WaterArea
LandArea
)
Merge.kif 14032-14032
O conceito
Area Geografica
e'
completamente
decomposto
em
Area Aquatica
+
Area terrestre
(
partition
GeometricFigure
GeometricPoint
OneDimensionalFigure
TwoDimensionalFigure
ThreeDimensionalFigure
)
Merge.kif 17781-17781
O conceito
GeometricFigure
e'
completamente
decomposto
em
GeometricPoint
,
OneDimensionalFigure
,
TwoDimensionalFigure
, +
ThreeDimensionalFigure
(
partition
GraphElement
GraphNode
GraphArc
)
Merge.kif 5820-5820
O conceito
Elemento do Grafo
e'
completamente
decomposto
em
No' do Grafo
+
Arco do Grafo
(
partition
Gun
ArtilleryGun
Firearm
)
Mid-level-ontology.kif 1162-1162
O conceito
Gun
e'
completamente
decomposto
em
ArtilleryGun
+
Firearm
(
partition
Hardwood
Softwood
)
Economy.kif 5279-5279
O conceito
Hardwood
e'
completamente
decomposto
em
Softwood
(
partition
Human
Man
Woman
)
Merge.kif 14645-14645
O conceito
Humano
e'
completamente
decomposto
em
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