Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
ChinesehLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 586-589
(
domain
partition
1
Class
)
Merge.kif 583-583
The number 1 argument of
partition
is an
instance
of
class
(
domain
partition
2
Class
)
Merge.kif 584-584
The number 2 argument of
partition
is an
instance
of
class
(
instance
partition
Predicate
)
Merge.kif 581-581
partition
is an
instance
of
predicate
(
instance
partition
VariableArityRelation
)
Merge.kif 582-582
partition
is an
instance
of
variable arity relation
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 319-319
(
relatedInternalConcept
exhaustiveDecomposition
partition
)
Merge.kif 551-551
exhaustive decomposition
is
internally
related to
partition
(
termFormat
ChineseLanguage
partition
"划分")
chinese_format.kif 312-312
(
termFormat
ChineseTraditionalLanguage
partition
"劃分")
domainEnglishFormat.kif 44490-44490
(
termFormat
EnglishLanguage
partition
"partition")
domainEnglishFormat.kif 44489-44489
antecedent
(<=>
(
partition
@ROW)
(
and
(
exhaustiveDecomposition
@ROW)
(
disjointDecomposition
@ROW)))
Merge.kif 591-595
@ROW is
exhaustively
partitioned
into @ROW if and only if @ROW is
covered
by @ROW and @ROW is
disjointly
decomposed
into @ROW
appearance as argument number 0
(
partition
Ambulating
Walking
Running
)
Merge.kif 10432-10432
Ambulating
is
exhaustively
partitioned
into
walking
and
running
(
partition
AnatomicalStructure
AnimalAnatomicalStructure
PlantAnatomicalStructure
)
Merge.kif 13888-13888
Anatomical structure
is
exhaustively
partitioned
into
animal anatomical structure
and
plant anatomical structure
(
partition
AnatomicalStructure
BodyPart
AbnormalAnatomicalStructure
)
Merge.kif 13887-13887
Anatomical structure
is
exhaustively
partitioned
into
body part
and
abnormal anatomical structure
(
partition
Animal
Vertebrate
Invertebrate
)
Merge.kif 13432-13432
Animal
is
exhaustively
partitioned
into
vertebrate
and
invertebrate
(
partition
Argument
DeductiveArgument
InductiveArgument
)
Merge.kif 15668-15668
Argument
is
exhaustively
partitioned
into
deductive argument
and
inductive argument
(
partition
Attribute
InternalAttribute
RelationalAttribute
)
Merge.kif 1611-1611
Attribute
is
exhaustively
partitioned
into
internal attribute
and
relational attribute
(
partition
BiochemicalAgent
BiologicalAgent
ChemicalAgent
)
WMD.kif 82-82
Biochemical agent
is
exhaustively
partitioned
into
biological agent
and
chemical agent
(
partition
BiochemicalWeapon
BiologicalWeapon
ChemicalWeapon
)
WMD.kif 107-107
Biochemical weapon
is
exhaustively
partitioned
into
biological weapon
and
chemical weapon
(
partition
BiologicalAgent
Toxin
ToxicOrganism
)
WMD.kif 157-157
Biological agent
is
exhaustively
partitioned
into
toxin
and
toxic organism
(
partition
CareOrganization
HospitalOrganization
MedicalClinic
)
Mid-level-ontology.kif 7314-7314
Care organization
is
exhaustively
partitioned
into
hospital organization
and
medical clinic
(
partition
ChairmanPublication
ChairmanInstruction
ChairmanManual
)
MilitaryProcesses.kif 1026-1026
Chairman publication
is
exhaustively
partitioned
into
chairman instruction
and
chairman manual
(
partition
ChemicalProcess
ChemicalSynthesis
ChemicalDecomposition
)
Merge.kif 11608-11608
Chemical process
is
exhaustively
partitioned
into
chemical synthesis
and
chemical decomposition
(
partition
Communication
Stating
Supposing
Directing
Committing
Expressing
Declaring
)
Merge.kif 12106-12106
Communication
is
exhaustively
partitioned
into
stating
,
supposing
,
directing
,
committing
,
expressing
, and
declaring
(
partition
Currency
CurrencyBill
CurrencyCoin
)
Mid-level-ontology.kif 4122-4122
Currency
is
exhaustively
partitioned
into
currency bill
and
currency coin
(
partition
DeductiveArgument
ValidDeductiveArgument
InvalidDeductiveArgument
)
Merge.kif 15688-15688
Deductive argument
is
exhaustively
partitioned
into
valid deductive argument
and
invalid deductive argument
(
partition
Entity
Physical
Abstract
)
Merge.kif 782-782
Entity
is
exhaustively
partitioned
into
physical
and
abstract
(
partition
Expressing
Gesture
ExpressingInLanguage
)
Mid-level-ontology.kif 10580-10580
Expressing
is
exhaustively
partitioned
into
gesture
and
expressing in language
(
partition
Firearm
Rifle
Pistol
)
Mid-level-ontology.kif 2014-2014
Firearm
is
exhaustively
partitioned
into
rifle
and
pistol
(
partition
GeographicArea
WaterArea
LandArea
)
Merge.kif 13031-13031
Geographic area
is
exhaustively
partitioned
into
water area
and
land area
(
partition
GeometricFigure
GeometricPoint
OneDimensionalFigure
TwoDimensionalFigure
ThreeDimensionalFigure
)
Merge.kif 16594-16594
Geometric figure
is
exhaustively
partitioned
into
geometric point
,
one dimensional figure
,
two dimensional figure
, and
three dimensional figure
(
partition
GraphElement
GraphNode
GraphArc
)
Merge.kif 5512-5512
Graph element
is
exhaustively
partitioned
into
graph node
and
graph arc
(
partition
Gun
ArtilleryGun
Firearm
)
Mid-level-ontology.kif 1552-1552
Gun
is
exhaustively
partitioned
into
artillery gun
and
firearm
(
partition
Human
Man
Woman
)
Merge.kif 13621-13621
Human
is
exhaustively
partitioned
into
man
and
woman
(
partition
HumanLanguage
NaturalLanguage
ConstructedLanguage
)
Merge.kif 1332-1332
Human language
is
exhaustively
partitioned
into
natural language
and
constructed language
(
partition
HumanLanguage
SpokenHumanLanguage
ManualHumanLanguage
)
Merge.kif 1333-1333
Human language
is
exhaustively
partitioned
into
spoken human language
and
manual human language
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