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

fen1 ge1 (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)

zhong3 lei4
is instance of
  ke3 ji4 cheng2 guan1 xi4  
is instance of
  shu4 ci2  
is instance of
bian4 yi4 yuan2 shu4 guan1 xi4
is instance of
is instance of
  fen1 ge1  

Coordinate term(s)

zhi3 ding4 han2 shu4  zui4 da4 gong1 yue1 shu4 han2 shu4  zui4 xiao3 gong1 bei4 shu4 han2 shu4  xu4 lie4 han2 shu4  mao2 dun4 shu3 xing4  wu2 jiao1 ji2 fen1 jie3  wu2 jiao1 ji2 guan1 xi4  qiong2 jin4 de5 shu3 xing4  qiong2 jin4 de5 fen1 jie3  cheng2 li4 

Type restrictions

partition(zhong3 lei4)

Axioms (24)

qiong2 jin4 de5 fen1 jie3 na4 bu4 xiang1 guan1 yu1 fen1 ge1. 
(relatedInternalConcept exhaustiveDecomposition partition)
wan2 quan2 fen1 ge1 cheng2 if and only if bei4 bao1 han2 and wu2 jiao1 ji2 di4 fen1 jie3 cheng2 . 
(<=>
      (partition @ROW)
      (and
            (exhaustiveDecomposition @ROW)
            (disjointDecomposition @ROW)))
shi2 ti3 wan2 quan2 fen1 ge1 cheng2 wu4 zhi4 de5,chou1 xiang4 de5. 
(partition Entity Physical Abstract)
wu4 zhi4 de5 wan2 quan2 fen1 ge1 cheng2 wu4 ti1,li4 cheng2. 
(partition Physical Object Process)
chun2 wu4 zhi4 wan2 quan2 fen1 ge1 cheng2 hua4 he2 wu4,ji1 ben3 wu4 zhi4. 
(partition PureSubstance CompoundSubstance ElementalSubstance)
shu3 xing4 wan2 quan2 fen1 ge1 cheng2 na4 zai4 shu3 xing4,guan1 xi4 shu3 xing4. 
(partition Attribute InternalAttribute RelationalAttribute)
shu4 wan2 quan2 fen1 ge1 cheng2 shi2 shu4,xu1 shu4,fu4 shu4. 
(partition Number RealNumber ImaginaryNumber ComplexNumber)
shi2 shu4 wan2 quan2 fen1 ge1 cheng2 fu4 shi2 shu4,fei1 fu4 shi2 shu4. 
(partition RealNumber NegativeRealNumber NonnegativeRealNumber)
shi2 shu4 wan2 quan2 fen1 ge1 cheng2 you3 li3 shu4,wu2 li3 shu4. 
(partition RealNumber RationalNumber IrrationalNumber)
zheng3 shu4 wan2 quan2 fen1 ge1 cheng2 qi2 zheng3 shu4,ou3 zheng3 shu4. 
(partition Integer OddInteger EvenInteger)
zheng3 shu4 wan2 quan2 fen1 ge1 cheng2 fu4 zheng3 shu4,fei1 fu4 zheng3 shu4. 
(partition Integer NegativeInteger NonnegativeInteger)
wu4 li3 liang4 wan2 quan2 fen1 ge1 cheng2 chang2 liang4,han2 shu4 liang4. 
(partition PhysicalQuantity ConstantQuantity FunctionQuantity)
shi2 jian1 wan2 quan2 fen1 ge1 cheng2 shi2 duan4,shi2 dian3. 
(partition TimePosition TimeInterval TimePoint)
ji2 he2 huo4 zhong3 lei4 wan2 quan2 fen1 ge1 cheng2 ji2 he2,zhong3 lei4. 
(partition SetOrClass Set Class)
guan1 xi4 wan2 quan2 fen1 ge1 cheng2 shu4 ci2,han2 shu4,xu4 lie4. 
(partition Relation Predicate Function List)
guan1 xi4 wan2 quan2 fen1 ge1 cheng2 quan2 zhi2 guan1 xi4,pian1 zhi2 guan1 xi4. 
(partition Relation TotalValuedRelation PartialValuedRelation)
tu2 yuan2 jian4 wan2 quan2 fen1 ge1 cheng2 tu2 jie2 dian3,tu2 hu2 xian4. 
(partition GraphElement GraphNode GraphArc)
liang4 bian4 wan2 quan2 fen1 ge1 cheng2 zeng1 jia1,jian3 shao3. 
(partition QuantityChange Increasing Decreasing)
yu3 yan2 gou1 tong1 wan2 quan2 fen1 ge1 cheng2 xu4 shu4,zhi3 shi4,cheng2 nuo4,biao3 da2,xuan1 gao4. 
(partition LinguisticCommunication Stating Directing Committing Expressing Declaring)
di4 li3 qu1 yu4 wan2 quan2 fen1 ge1 cheng2 shui3 yu4,lu4 di4. 
(partition GeographicArea WaterArea LandArea)
you3 ji1 wu4 wan2 quan2 fen1 ge1 cheng2 sheng1 wu4 ti1,jie3 pou1 gou4 zao4. 
(partition OrganicObject Organism AnatomicalStructure)
sheng1 wu4 ti1 wan2 quan2 fen1 ge1 cheng2 dong4 wu4,zhi2 wu4,wei1 sheng1 wu4. 
(partition Organism Animal Plant Microorganism)
ci2 wan2 quan2 fen1 ge1 cheng2 ming2 ci2,dong4 ci2,xing2 rong2 ci2,fu4 ci2,yu3 qi4 ci2. 
(partition Word Noun Verb Adjective Adverb Particle)
xin1 li3 shu3 xing4 wan2 quan2 fen1 ge1 cheng2 xin1 li3 zhuang4 tai4,ren2 ge2 te4 zhi4. 
(partition PsychologicalAttribute StateOfMind TraitAttribute)