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

分割 (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)

種類
is instance of
  可繼承關係  
is instance of
  述詞  
is instance of
變異元數關係
is instance of
is instance of
  分割  

Coordinate term(s)

指定函數  最大公約數函數  最小公倍數函數  序列函數  矛盾屬性  無交集分解  無交集關係  窮盡的屬性  窮盡的分解  成立 

Type restrictions

partition(種類)

Axioms (24)

窮盡的分解 內部相關於 分割. 
(relatedInternalConcept exhaustiveDecomposition partition)
完全 分割成 if and only if 被 �]含 and 無交集地 分解成 . 
(<=>
      (partition @ROW)
      (and
            (exhaustiveDecomposition @ROW)
            (disjointDecomposition @ROW)))
實體 完全 分割成 物質的,抽象的. 
(partition Entity Physical Abstract)
物質的 完全 分割成 物體,歷程. 
(partition Physical Object Process)
純物質 完全 分割成 化合物,基本物質. 
(partition PureSubstance CompoundSubstance ElementalSubstance)
屬性 完全 分割成 內在屬性,關係屬性. 
(partition Attribute InternalAttribute RelationalAttribute)
數 完全 分割成 實數,虛數,複數. 
(partition Number RealNumber ImaginaryNumber ComplexNumber)
實數 完全 分割成 負實數,非負實數. 
(partition RealNumber NegativeRealNumber NonnegativeRealNumber)
實數 完全 分割成 有理數,無理數. 
(partition RealNumber RationalNumber IrrationalNumber)
整數 完全 分割成 奇整數,偶整數. 
(partition Integer OddInteger EvenInteger)
整數 完全 分割成 負整數,非負整數. 
(partition Integer NegativeInteger NonnegativeInteger)
物理量 完全 分割成 常量,函數量. 
(partition PhysicalQuantity ConstantQuantity FunctionQuantity)
時間 完全 分割成 時段,時點. 
(partition TimePosition TimeInterval TimePoint)
集合或種類 完全 分割成 集合,種類. 
(partition SetOrClass Set Class)
關係 完全 分割成 述詞,函數,序列. 
(partition Relation Predicate Function List)
關係 完全 分割成 全值關係,偏值關係. 
(partition Relation TotalValuedRelation PartialValuedRelation)
圖元件 完全 分割成 圖節點,圖弧線. 
(partition GraphElement GraphNode GraphArc)
量變 完全 分割成 增加,減少. 
(partition QuantityChange Increasing Decreasing)
語言溝通 完全 分割成 敘述,指示,承諾,表達,宣告. 
(partition LinguisticCommunication Stating Directing Committing Expressing Declaring)
地理區域 完全 分割成 水域,陸地. 
(partition GeographicArea WaterArea LandArea)
有機物 完全 分割成 生物體,解剖構造. 
(partition OrganicObject Organism AnatomicalStructure)
生物體 完全 分割成 動物,植物,微生物. 
(partition Organism Animal Plant Microorganism)
詞 完全 分割成 名詞,動詞,形容詞,副詞,語氣詞. 
(partition Word Noun Verb Adjective Adverb Particle)
心理屬性 完全 分割成 心理狀態,人格特質. 
(partition PsychologicalAttribute StateOfMind TraitAttribute)