Wählen Sie Sprache: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

fach (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)

Kategorie
is instance of
  inheritable relation  
is instance of
  Prädikat  
is instance of
Relation mit veränderlicher Anzahl Argumente
is instance of
is instance of
  fach  

Coordinate term(s)

AssignmentFn  GrössteGemeinsamerTeilerFn  KleinsteGemeinsameVielfacheFn  ListeFn  konträresAttribut  disjunkteAufspaltung  disjunkteRelation  exhaustive attribute  vollständigeAufspaltung  gilt 

Type restrictions

partition(Kategorie)

Axioms (24)

vollständigeAufspaltung ist innerlich verwandt mit fach . 
(relatedInternalConcept exhaustiveDecomposition partition)
wird vollständig in verteilt nur wenn wird mit behandelt und wird zusammenhanglos auf disjunkt. 
(<=>
      (partition @ROW)
      (and
            (exhaustiveDecomposition @ROW)
            (disjointDecomposition @ROW)))
Wesen wird vollständig in körperlicher Gegenstand,abstrakter Gegenstand verteilt. 
(partition Entity Physical Abstract)
körperlicher Gegenstand wird vollständig in Gegenstand,Prozess verteilt. 
(partition Physical Object Process)
reine Substanz wird vollständig in Verbindung,elementare Substanz verteilt. 
(partition PureSubstance CompoundSubstance ElementalSubstance)
Attribut wird vollständig in Innenattribut,Verwandtschaftsattribut verteilt. 
(partition Attribute InternalAttribute RelationalAttribute)
Zahl wird vollständig in reelle Zahl,imaginäre Zahl ,Komplexzahl verteilt. 
(partition Number RealNumber ImaginaryNumber ComplexNumber)
reelle Zahl wird vollständig in negative reelle Zahl,nichtnegative reelle Zahl verteilt. 
(partition RealNumber NegativeRealNumber NonnegativeRealNumber)
reelle Zahl wird vollständig in rationale Zahl,irrationale Zahl verteilt. 
(partition RealNumber RationalNumber IrrationalNumber)
Ganzzahl wird vollständig in ungerade Ganzzahl,gerade Ganzzahl verteilt. 
(partition Integer OddInteger EvenInteger)
Ganzzahl wird vollständig in negative Ganzzahl,nichtnegative Ganzzahl verteilt. 
(partition Integer NegativeInteger NonnegativeInteger)
körperliche Quantität wird vollständig in konstante Quantität,Funktionsquantität verteilt. 
(partition PhysicalQuantity ConstantQuantity FunctionQuantity)
Zeitposition wird vollständig in Zeitabstand,Zeitpunkt verteilt. 
(partition TimePosition TimeInterval TimePoint)
Menge oder Kategorie wird vollständig in Menge,Kategorie verteilt. 
(partition SetOrClass Set Class)
Relation wird vollständig in Prädikat,Funktion,Liste verteilt. 
(partition Relation Predicate Function List)
Relation wird vollständig in totalwertige Relation,teilwertige Relation verteilt. 
(partition Relation TotalValuedRelation PartialValuedRelation)
Graphelement wird vollständig in Graphknoten,Graphbogen verteilt. 
(partition GraphElement GraphNode GraphArc)
Quantitätänderung wird vollständig in Zunehmen,Abnehmen verteilt. 
(partition QuantityChange Increasing Decreasing)
linguistic communication wird vollständig in Darlegen,Leiten,Festlegung,Ausdrücken,Erklären verteilt. 
(partition LinguisticCommunication Stating Directing Committing Expressing Declaring)
geographischer Bereich wird vollständig in Wassergebiet,Landgebiet verteilt. 
(partition GeographicArea WaterArea LandArea)
organische Gegenstand wird vollständig in Organismus,anatomische Struktur verteilt. 
(partition OrganicObject Organism AnatomicalStructure)
Organismus wird vollständig in Tier,Pflanze,Mikroorganismus verteilt. 
(partition Organism Animal Plant Microorganism)
Wort wird vollständig in Gegenstandswort,Verb,Adjektiv,Adverb,Partikel verteilt. 
(partition Word Noun Verb Adjective Adverb Particle)
psychologisches Attribut wird vollständig in Geisteszustand,Merkmalsattribut verteilt. 
(partition PsychologicalAttribute StateOfMind TraitAttribute)