disjunkteAufspaltung (disjointDecomposition)

A disjointDecomposition of a Class C is a set of subclasses of C that are mutually disjoint.

Ontology

SUMO / STRUCTURAL-ONTOLOGY

Class(es)

Kategorie

inheritable relation

Prädikat

Relation mit veränderlicher Anzahl Argumente
is instance of

disjunkteAufspaltung

Coordinate term(s)

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

Type restrictions

disjointDecomposition(Kategorie)

Axioms (18)

disjunkteAufspaltung ist innerlich verwandt mit vollständigeAufspaltung .

(relatedInternalConcept disjointDecomposition exhaustiveDecomposition)

disjunkteAufspaltung ist innerlich verwandt mit disjunkt .

(relatedInternalConcept disjointDecomposition disjoint)

wenn wird zusammenhanglos auf disjunkt,
dann wenn element ist ein Mitglied von "()", dann element ist ein fall von Kategorie

(=>
      (disjointDecomposition @ROW)
      (=>
            (inList
                  ?ELEMENT
                  (ListFn @ROW))
            (instance ?ELEMENT Class)))

wird vollständig in verteilt nur wenn wird mit behandelt und wird zusammenhanglos auf disjunkt.

(<=>
      (partition @ROW)
      (and
            (exhaustiveDecomposition @ROW)
            (disjointDecomposition @ROW)))

Sprache wird zusammenhanglos auf Tiersprache,menschliche Sprache,Computersprache disjunkt.

(disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage)

Relation wird zusammenhanglos auf zweiwertige Relation,dreiwertige Relation,viewwertige Relation,fünfwertige Relation,Relation mit veränderlicher Anzahl Argumente disjunkt.

(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation)

wenn class wird zusammenhanglos auf disjunkt,
dann für jeden item gilt: wenn item ist ein Mitglied von "()", dann item ist eine teilkategorie von class

(=>
      (disjointDecomposition ?CLASS @ROW)
      (forall
            (?ITEM)
            (=>
                  (inList
                        ?ITEM
                        (ListFn @ROW))
                  (subclass ?ITEM ?CLASS))))

wenn class wird zusammenhanglos auf disjunkt,
dann für jeden item1,item2 gilt: wenn item1 ist ein Mitglied von "()" und item2 ist ein Mitglied von "()" und item1 ist gleich item2 nicht, dann item1 ist dijunkt von item2

(=>
      (disjointDecomposition ?CLASS @ROW)
      (forall
            (?ITEM1 ?ITEM2)
            (=>
                  (and
                        (inList
                              ?ITEM1
                              (ListFn @ROW))
                        (inList
                              ?ITEM2
                              (ListFn @ROW))
                        (not
                              (equal ?ITEM1 ?ITEM2)))
                  (disjoint ?ITEM1 ?ITEM2))))

nichtblühende Pflanze wird zusammenhanglos auf Alge,Farn,Pilz,Moos disjunkt.

(disjointDecomposition NonFloweringPlant Alga Fern Fungus Moss)

wirbelloses Tier wird zusammenhanglos auf Wurme,Molluske,Gliederfüsser disjunkt.

(disjointDecomposition Invertebrate Worm Mollusk Arthropod)

Gliederfüsser wird zusammenhanglos auf Arachnide,Tausendfüssler,Insekt,Krustentier disjunkt.

(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean)

kaltblütiges Wirbeltier wird zusammenhanglos auf Amphibie,Fische,Reptil disjunkt.

(disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile)

Säugetier wird zusammenhanglos auf Wassersäugetier,Hufsäugetier,Beuteltier,Nagetier,Primas disjunkt.

(disjointDecomposition Mammal AquaticMammal HoofedMammal Marsupial Rodent Primate)

Primas wird zusammenhanglos auf Affe,Affe,Hominid disjunkt.

(disjointDecomposition Primate Ape Monkey Hominid)

Nährstoff wird zusammenhanglos auf Protein,Kohlenhydrat,Vitamin disjunkt.

(disjointDecomposition Nutrient Protein Carbohydrate Vitamin)

Nahrung wird zusammenhanglos auf Fleisch,Frucht oder Gemüse,Getränk disjunkt.

(disjointDecomposition Food Meat FruitOrVegetable Beverage)

Gewebe wird zusammenhanglos auf Knochen,Muskel,fette Gewebe disjunkt.

(disjointDecomposition Tissue Bone Muscle FatTissue)

Phrase wird zusammenhanglos auf Verbphrase,Nominalphrase,Präpositionalsatz disjunkt.

(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase)