TreeView Knowledge Base Browser

appearance as argument number 1

(instance partition Predicate)	Merge.kif 572-572	partition is an instance of predicate
(instance partition VariableArityRelation)	Merge.kif 573-573	partition is an instance of variable arity relation
(domain partition 1 Class)	Merge.kif 574-574	The number 1 argument of partition is an instance of class
(domain partition 2 Class)	Merge.kif 575-575	The number 2 argument of partition is an instance of class
(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 577-580	The number 2 argument of partition is an instance of class

appearance as argument number 2

(relatedInternalConcept exhaustiveDecomposition partition)	Merge.kif 542-542	exhaustive decomposition is internally related to partition
(termFormat EnglishLanguage partition "partition")	domainEnglishFormat.kif 44561-44561	exhaustive decomposition is internally related to partition
(termFormat ChineseTraditionalLanguage partition "劃分")	domainEnglishFormat.kif 44562-44562	exhaustive decomposition is internally related to partition
(termFormat ChineseLanguage partition "划分")	domainEnglishFormat.kif 44563-44563	exhaustive decomposition is internally related to partition
(format EnglishLanguage partition "%1 is %n exhaustively partitioned into %*{2-}[,]")	english_format.kif 316-316	exhaustive decomposition is internally related to partition

antecedent

(=> (partition @ROW) (and (exhaustiveDecomposition @ROW) (disjointDecomposition @ROW)))	Merge.kif 582-586	If @ROW is exhaustively partitioned into @ROW, then @ROW is covered by @ROW and @ROW is disjointly decomposed into @ROW
(=> (partition ?SUPER ?SUB1 ?SUB2) (partition ?SUPER ?SUB2 ?SUB1))	Merge.kif 594-596	If X is exhaustively partitioned into Y and Z, then X is exhaustively partitioned into Z and Y
(=> (and (partition ?SUPER ?SUB1 ?SUB2) (instance ?INST ?SUPER) (not (instance ?INST ?SUB1))) (instance ?INST ?SUB2))	Merge.kif 598-604	If X is exhaustively partitioned into Y and Z, W is an instance of X, and W is not an instance of Y, then W is an instance of Z

consequent

(=> (and (exhaustiveDecomposition @ROW) (disjointDecomposition @ROW)) (partition @ROW))	Merge.kif 588-592	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 594-596	If X is exhaustively partitioned into Y and Z, then X is exhaustively partitioned into Z and Y

appearance as argument number 0

(partition Entity Physical Abstract)	Merge.kif 808-808	Entity is exhaustively partitioned into physical and abstract
(partition Substance PureSubstance Mixture)	Merge.kif 1115-1115	Substance is exhaustively partitioned into pure substance and mixture
(partition Substance SyntheticSubstance NaturalSubstance)	Merge.kif 1116-1116	Substance is exhaustively partitioned into synthetic substance and natural substance
(partition PureSubstance CompoundSubstance ElementalSubstance)	Merge.kif 1158-1158	Pure substance is exhaustively partitioned into compound substance and elemental substance
(partition HumanLanguage NaturalLanguage ConstructedLanguage)	Merge.kif 1536-1536	Human language is exhaustively partitioned into natural language and constructed language
(partition HumanLanguage SpokenHumanLanguage ManualHumanLanguage)	Merge.kif 1537-1537	Human language is exhaustively partitioned into spoken human language and manual human language
(partition Attribute InternalAttribute RelationalAttribute)	Merge.kif 1795-1795	Attribute is exhaustively partitioned into internal attribute and relational attribute
(partition Number RealNumber ImaginaryNumber ComplexNumber)	Merge.kif 1928-1928	Number is exhaustively partitioned into real number, imaginary number, and complex number
(partition RealNumber NegativeRealNumber NonnegativeRealNumber)	Merge.kif 1996-1996	Real number is exhaustively partitioned into negative real number and nonnegative real number
(partition RealNumber RationalNumber IrrationalNumber)	Merge.kif 1997-1997	Real number is exhaustively partitioned into rational number and irrational number
(partition Integer OddInteger EvenInteger)	Merge.kif 2059-2059	Integer is exhaustively partitioned into odd integer and even integer
(partition Integer NegativeInteger NonnegativeInteger)	Merge.kif 2060-2060	Integer is exhaustively partitioned into negative integer and nonnegative integer
(partition PhysicalQuantity ConstantQuantity FunctionQuantity)	Merge.kif 2136-2136	Physical quantity is exhaustively partitioned into constant quantity and function quantity
(partition TimePosition TimeInterval TimePoint)	Merge.kif 2189-2189	Time position is exhaustively partitioned into timeframe and time point
(partition SetOrClass Set Class)	Merge.kif 2239-2239	Set or class is exhaustively partitioned into set and class
(partition Relation Predicate Function)	Merge.kif 2272-2272	Relation is exhaustively partitioned into predicate and function
(partition Relation TotalValuedRelation PartialValuedRelation)	Merge.kif 2273-2273	Relation is exhaustively partitioned into total valued relation and partial valued relation
(partition GraphElement GraphNode GraphArc)	Merge.kif 5940-5940	Graph element is exhaustively partitioned into graph node and graph arc
(partition UnitOfMeasure CompositeUnitOfMeasure NonCompositeUnitOfMeasure)	Merge.kif 6342-6342	Unit of measure is exhaustively partitioned into composite unit of measure and non composite unit of measure
(partition QuantityChange Increasing Decreasing)	Merge.kif 11125-11125	Quantity change is exhaustively partitioned into increasing and decreasing
(partition Ambulating Walking Running)	Merge.kif 11393-11393	Ambulating is exhaustively partitioned into walking and running
(partition ChemicalProcess ChemicalSynthesis ChemicalDecomposition)	Merge.kif 12794-12794	Chemical process is exhaustively partitioned into chemical synthesis and chemical decomposition
(partition Communication Stating Supposing Directing Committing Expressing Declaring)	Merge.kif 13334-13334	Communication is exhaustively partitioned into stating, supposing, directing, committing, expressing, and declaring
(partition MakingMusic MakingInstrumentalMusic MakingVocalMusic)	Merge.kif 14013-14013	Making music is exhaustively partitioned into instrumental music and singing
(partition GeographicArea WaterArea LandArea)	Merge.kif 14341-14341	Geographic area is exhaustively partitioned into water area and land area

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)

KB Term:			Term intersection

English Word: