Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

partition (partition)

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.

Ontology

SUMO / STRUCTURAL-ONTOLOGY

Class(es)

class
is instance of
  inheritable relation  
is instance of
  predicate  
is instance of
variable arity relation
is instance of
is instance of
  partition  

Coordinate term(s)

assignment fn  greatest common divisor fn  least common multiple fn  list fn  contrary attribute  disjoint decomposition  disjoint relation  exhaustive attribute  exhaustive decomposition  holds 

Type restrictions

partition(class)

Axioms (24)

exhaustive decomposition is internally related to partition. 
(relatedInternalConcept exhaustiveDecomposition partition)
is exhaustively partitioned into if and only if is covered by and is disjointly decomposed into . 
(<=>
      (partition @ROW)
      (and
            (exhaustiveDecomposition @ROW)
            (disjointDecomposition @ROW)))
entity is exhaustively partitioned into physical,abstract. 
(partition Entity Physical Abstract)
physical is exhaustively partitioned into object,process. 
(partition Physical Object Process)
pure substance is exhaustively partitioned into compound substance,elemental substance. 
(partition PureSubstance CompoundSubstance ElementalSubstance)
attribute is exhaustively partitioned into internal attribute,relational attribute. 
(partition Attribute InternalAttribute RelationalAttribute)
number is exhaustively partitioned into real number,imaginary number,complex number. 
(partition Number RealNumber ImaginaryNumber ComplexNumber)
real number is exhaustively partitioned into negative real number,nonnegative real number. 
(partition RealNumber NegativeRealNumber NonnegativeRealNumber)
real number is exhaustively partitioned into rational number,irrational number. 
(partition RealNumber RationalNumber IrrationalNumber)
integer is exhaustively partitioned into odd integer,even integer. 
(partition Integer OddInteger EvenInteger)
integer is exhaustively partitioned into negative integer,nonnegative integer. 
(partition Integer NegativeInteger NonnegativeInteger)
physical quantity is exhaustively partitioned into constant quantity,function quantity. 
(partition PhysicalQuantity ConstantQuantity FunctionQuantity)
time position is exhaustively partitioned into time interval,time point. 
(partition TimePosition TimeInterval TimePoint)
set or class is exhaustively partitioned into set,class. 
(partition SetOrClass Set Class)
relation is exhaustively partitioned into predicate,function,list. 
(partition Relation Predicate Function List)
relation is exhaustively partitioned into total valued relation,partial valued relation. 
(partition Relation TotalValuedRelation PartialValuedRelation)
graph element is exhaustively partitioned into graph node,graph arc. 
(partition GraphElement GraphNode GraphArc)
quantity change is exhaustively partitioned into increasing,decreasing. 
(partition QuantityChange Increasing Decreasing)
linguistic communication is exhaustively partitioned into stating,directing,committing,expressing,declaring. 
(partition LinguisticCommunication Stating Directing Committing Expressing Declaring)
geographic area is exhaustively partitioned into water area,land area. 
(partition GeographicArea WaterArea LandArea)
organic object is exhaustively partitioned into organism,anatomical structure. 
(partition OrganicObject Organism AnatomicalStructure)
organism is exhaustively partitioned into animal,plant,microorganism. 
(partition Organism Animal Plant Microorganism)
word is exhaustively partitioned into noun,verb,adjective,adverb,particle. 
(partition Word Noun Verb Adjective Adverb Particle)
psychological attribute is exhaustively partitioned into state of mind,trait attribute. 
(partition PsychologicalAttribute StateOfMind TraitAttribute)