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)

varga
is instance of
  inheritable relation  
is instance of
  vidheya  
is instance of
parivartaniiya sanbandha
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(varga)

Axioms (24)

exhaustive decomposition is internally related to partition. 
(relatedInternalConcept exhaustiveDecomposition partition)
is exhaustively partitioned into agar hai is covered by aur is disjointly decomposed into . 
(<=>
      (partition @ROW)
      (and
            (exhaustiveDecomposition @ROW)
            (disjointDecomposition @ROW)))
astitva is exhaustively partitioned into bhOtika vaswu,amUrta. 
(partition Entity Physical Abstract)
bhOtika vaswu is exhaustively partitioned into object,prakriyaa. 
(partition Physical Object Process)
shuddha padaartha is exhaustively partitioned into yOgika padaartha,avayavI padaartha. 
(partition PureSubstance CompoundSubstance ElementalSubstance)
visheshtaa is exhaustively partitioned into aantarika visheshataa,sambandhaatmaka visheshtaa. 
(partition Attribute InternalAttribute RelationalAttribute)
anka is exhaustively partitioned into vaastavika anka,kaalpanika anka,sanyukta anka. 
(partition Number RealNumber ImaginaryNumber ComplexNumber)
vaastavika anka is exhaustively partitioned into Qnaatmaka vaastavika anka,aQNaatmaka vaastavika anka. 
(partition RealNumber NegativeRealNumber NonnegativeRealNumber)
vaastavika anka is exhaustively partitioned into parimeya anka,aparimeya anka. 
(partition RealNumber RationalNumber IrrationalNumber)
pUrNaanka is exhaustively partitioned into visham pUrNaanka,sama pUrNaanka. 
(partition Integer OddInteger EvenInteger)
pUrNaanka is exhaustively partitioned into Qnaatmaka pUrNaanka,aQNaatmaka pUrNaanka. 
(partition Integer NegativeInteger NonnegativeInteger)
bhOtika parimaaNa is exhaustively partitioned into sthira parimaaNa,prakaarya parimaaNa. 
(partition PhysicalQuantity ConstantQuantity FunctionQuantity)
samaya sthiti is exhaustively partitioned into samaya aMtaraala,samaya biMdu. 
(partition TimePosition TimeInterval TimePoint)
samUha yaa varga is exhaustively partitioned into varga,varga. 
(partition SetOrClass Set Class)
sambandha is exhaustively partitioned into vidheya,prakaarya,sUchI. 
(partition Relation Predicate Function List)
sambandha is exhaustively partitioned into pUrNa mUlyaadeya sambandha,aanshika mUyaadeya sambandha. 
(partition Relation TotalValuedRelation PartialValuedRelation)
tatva aalekha is exhaustively partitioned into granthi aalekha,chaapa aalekha. 
(partition GraphElement GraphNode GraphArc)
maatraa parivartana is exhaustively partitioned into badhottarii,hraasa. 
(partition QuantityChange Increasing Decreasing)
linguistic communication is exhaustively partitioned into kathana,nirdeshana,,abhovyaktikarana,ghoshanaa. 
(partition LinguisticCommunication Stating Directing Committing Expressing Declaring)
bhaigolika kshetra is exhaustively partitioned into jala kshetra,thala kshetra. 
(partition GeographicArea WaterArea LandArea)
jEva padaartha is exhaustively partitioned into jIvadhaarI padaartha,shaarIrika sanrachanaa. 
(partition OrganicObject Organism AnatomicalStructure)
jIvadhaarI padaartha is exhaustively partitioned into pashu,vanaspati,sUkshmajIva. 
(partition Organism Animal Plant Microorganism)
shabda is exhaustively partitioned into sangyaa,kriyaa,visheshana,kriyaavisheshana,kaNa. 
(partition Word Noun Verb Adjective Adverb Particle)
manovEgyaanika visheshataa is exhaustively partitioned into mano avasthaa, EmotionalState(bhaavaatmaka avasthaa,lakshaNa visheshataa. 
(partition PsychologicalAttribute StateOfMind TraitAttribute)