Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
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 585-588
(
domain
partition
1
Class
)
Merge.kif 582-582
The number 1 argument of
partition
is an
instance
of
class
(
domain
partition
2
Class
)
Merge.kif 583-583
The number 2 argument of
partition
is an
instance
of
class
(
instance
partition
Predicate
)
Merge.kif 580-580
partition
is an
instance
of
predicate
(
instance
partition
VariableArityRelation
)
Merge.kif 581-581
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 316-316
(
relatedInternalConcept
exhaustiveDecomposition
partition
)
Merge.kif 550-550
exhaustive decomposition
is
internally
related to
partition
(
termFormat
ChineseLanguage
partition
"划分")
chinese_format.kif 312-312
(
termFormat
ChineseTraditionalLanguage
partition
"劃分")
domainEnglishFormat.kif 44544-44544
(
termFormat
EnglishLanguage
partition
"partition")
domainEnglishFormat.kif 44543-44543
antecedent
(=>
(
and
(
partition
?SUPER ?SUB1 ?SUB2)
(
instance
?INST ?SUPER)
(
not
(
instance
?INST ?SUB1)))
(
instance
?INST ?SUB2))
Merge.kif 606-612
If
a class
is
exhaustively
partitioned
into
another class
and
a third class
and
an entity
is an
instance
of
the class
and
the entity
is not an
instance
of
the other class
,
then
the entity
is an
instance
of
the third class
(=>
(
partition
?SUPER ?SUB1 ?SUB2)
(
partition
?SUPER ?SUB2 ?SUB1))
Merge.kif 602-604
If
a class
is
exhaustively
partitioned
into
another class
and
a third class
,
then
the class
is
exhaustively
partitioned
into
the third class
and
the other class
(=>
(
partition
@ROW)
(
and
(
exhaustiveDecomposition
@ROW)
(
disjointDecomposition
@ROW)))
Merge.kif 590-594
If @ROW is
exhaustively
partitioned
into @ROW,
then @ROW is
covered
by @ROW and @ROW is
disjointly
decomposed
into @ROW
consequent
(=>
(
and
(
exhaustiveDecomposition
@ROW)
(
disjointDecomposition
@ROW))
(
partition
@ROW))
Merge.kif 596-600
If @ROW is
covered
by @ROW and @ROW is
disjointly
decomposed
into @ROW,
then @ROW is
exhaustively
partitioned
into @ROW
(=>
(
partition
?SUPER ?SUB1 ?SUB2)
(
partition
?SUPER ?SUB2 ?SUB1))
Merge.kif 602-604
If
a class
is
exhaustively
partitioned
into
another class
and
a third class
,
then
the class
is
exhaustively
partitioned
into
the third class
and
the other class
appearance as argument number 0
(
partition
Ambulating
Walking
Running
)
Merge.kif 11011-11011
Ambulating
is
exhaustively
partitioned
into
walking
and
running
(
partition
AnatomicalStructure
AnimalAnatomicalStructure
PlantAnatomicalStructure
)
Merge.kif 14644-14644
Anatomical structure
is
exhaustively
partitioned
into
animal anatomical structure
and
plant anatomical structure
(
partition
AnatomicalStructure
BodyPart
AbnormalAnatomicalStructure
)
Merge.kif 14643-14643
Anatomical structure
is
exhaustively
partitioned
into
body part
and
abnormal anatomical structure
(
partition
Animal
Vertebrate
Invertebrate
)
Merge.kif 14179-14179
Animal
is
exhaustively
partitioned
into
vertebrate
and
invertebrate
(
partition
Argument
DeductiveArgument
InductiveArgument
)
Merge.kif 16531-16531
Argument
is
exhaustively
partitioned
into
deductive argument
and
inductive argument
(
partition
Attribute
InternalAttribute
RelationalAttribute
)
Merge.kif 1642-1642
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 108-108
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 7301-7301
Care organization
is
exhaustively
partitioned
into
hospital organization
and
medical clinic
(
partition
ChairmanPublication
ChairmanInstruction
ChairmanManual
)
MilitaryProcesses.kif 1027-1027
Chairman publication
is
exhaustively
partitioned
into
chairman instruction
and
chairman manual
(
partition
ChemicalProcess
ChemicalSynthesis
ChemicalDecomposition
)
Merge.kif 12266-12266
Chemical process
is
exhaustively
partitioned
into
chemical synthesis
and
chemical decomposition
(
partition
Communication
Stating
Supposing
Directing
Committing
Expressing
Declaring
)
Merge.kif 12790-12790
Communication
is
exhaustively
partitioned
into
stating
,
supposing
,
directing
,
committing
,
expressing
, and
declaring
(
partition
Currency
CurrencyBill
CurrencyCoin
)
Mid-level-ontology.kif 3537-3537
Currency
is
exhaustively
partitioned
into
currency bill
and
currency coin
(
partition
DeductiveArgument
ValidDeductiveArgument
InvalidDeductiveArgument
)
Merge.kif 16551-16551
Deductive argument
is
exhaustively
partitioned
into
valid deductive argument
and
invalid deductive argument
(
partition
Entity
Physical
Abstract
)
Merge.kif 799-799
Entity
is
exhaustively
partitioned
into
physical
and
abstract
(
partition
Expressing
Gesture
ExpressingInLanguage
)
Mid-level-ontology.kif 12404-12404
Expressing
is
exhaustively
partitioned
into
gesture
and
expressing in language
(
partition
Firearm
Rifle
Pistol
)
Mid-level-ontology.kif 1559-1559
Firearm
is
exhaustively
partitioned
into
rifle
and
pistol
(
partition
GeographicArea
WaterArea
LandArea
)
Merge.kif 13778-13778
Geographic area
is
exhaustively
partitioned
into
water area
and
land area
(
partition
GeometricFigure
GeometricPoint
OneDimensionalFigure
TwoDimensionalFigure
ThreeDimensionalFigure
)
Merge.kif 17512-17512
Geometric figure
is
exhaustively
partitioned
into
geometric point
,
one dimensional figure
,
two dimensional figure
, and
three dimensional figure
(
partition
GraphElement
GraphNode
GraphArc
)
Merge.kif 5718-5718
Graph element
is
exhaustively
partitioned
into
graph node
and
graph arc
(
partition
Gun
ArtilleryGun
Firearm
)
Mid-level-ontology.kif 1119-1119
Gun
is
exhaustively
partitioned
into
artillery gun
and
firearm
(
partition
Human
Man
Woman
)
Merge.kif 14377-14377
Human
is
exhaustively
partitioned
into
man
and
woman
(
partition
HumanLanguage
NaturalLanguage
ConstructedLanguage
)
Merge.kif 1387-1387
Human language
is
exhaustively
partitioned
into
natural language
and
constructed language
(
partition
HumanLanguage
SpokenHumanLanguage
ManualHumanLanguage
)
Merge.kif 1388-1388
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