disjunkt (disjoint)

Classes are disjoint only if they share no instances, i.e. just in case the result of applying IntersectionFn to them is empty.

Ontology

SUMO / STRUCTURAL-ONTOLOGY

Class(es)

Kategorie

inheritable relation

zweistellige Prädikat
is instance of

symmetrische Relation
is instance of

irreflexive Relation
is instance of

disjunkt

Coordinate term(s)

RückseiteFn FrontseiteFn arctusGewicht attribut schreibt vor vorOderGleichzeitig verursacht causes subclass bürger aufgeschlossen angeschlossen angeschlosseneTechnikKomponenten enthältInformationen zusammenGeschiecht kopie datum verringertWahrscheinlichkeit entwicklungsForm istDistributiv dokumentation &%dauer von %1 ist %2 %n{nicht} während früh herausgeber element beschäftigt %1 ist gleich %2 %n{nicht} äquivalenzrelationMit nutztAus inSpracheAusgedrückt stelltGegenüber verwandt beendet frequenz graphenTeil grösserAls grösserAlsOderGleich hatZweck hatFähigkeit hältWährend hatVerpflichtung hatRecht loch identitätsElement inListe imBereichInteresses vergrössertWahrscheinlichkeit Unabhänigkeitswahrscheinlichkeit wohnt hemmt ausgangsList fall innenteil umkehrFunktion irreflexivAur grösser kleinerAls kleinerAlsOderGleich weise material mass schliesstRäumlichAn schliesstZeitlichAn modalesAttribute decktSichTeilweise decktSichRäumlich decktSichZeitlich elternteil teilweiseEinrichtung befindetSichTeils pfadLänge besitzt vorbedingung verhindert eigenschaft veröffentlicht &%bildbereich von %1 ist ein fall von %2 {nicht} bildbereichTeilkategorie beziehtSichAuf reflexivAuf verwandtesInnenkonzept geschwister kleiner beginnt teilAttribut teilsammlung teilGraph teilliste unterOrganisation teilplan subProzess %1 ist eine &%teilangelegenheit von %2 %n{nicht} teilkategorie teilrelation fasstInhaltsKategorieZusammen fasstInhaltsFallZusammen nachfolgerAttribut nachfolgerAttributSchliessung oberflächichesTeil zeitlichesTeil zeit gesamteinrichtung trichotomizierungAuf verwendet valenz version

Type restrictions

disjoint(Menge oder Kategorie, Menge oder Kategorie)

Related WordNet synsets

antitype: an opposite or contrasting type
dichotomy: classification into two opposed parts: "the dichotomy between eastern and western culture"
disjoint: (mathematics) having no elements in common

Axioms (42)

class1 ist dijunkt von class2 nur wenn

class1 ist ein fall von Menge oder Kategorie
class2 ist ein fall von Menge oder Kategorie
für jeden inst gilt: inst ist ein fall von class1 nicht oder inst ist ein fall von class2 nicht

(<=>
      (disjoint ?CLASS1 ?CLASS2)
      (and
            (instance ?CLASS1 SetOrClass)
            (instance ?CLASS2 SetOrClass)
            (forall
                  (?INST)
                  (not
                        (and
                              (instance ?INST ?CLASS1)
                              (instance ?INST ?CLASS2))))))

disjunkteRelation ist innerlich verwandt mit disjunkt .

(relatedInternalConcept disjointRelation disjoint)

Wenn die Zahl number Argument von rel1 ist ein fall von class1 und die Zahl number Argument von rel2 ist ein fall von class2 und class1 ist dijunkt von class2 , dann rel1 und rel2 werden disjunkt.

(=>
      (and
            (domain ?REL1 ?NUMBER ?CLASS1)
            (domain ?REL2 ?NUMBER ?CLASS2)
            (disjoint ?CLASS1 ?CLASS2))
      (disjointRelation ?REL1 ?REL2))

Wenn die Zahl number Argument von rel1 ist eine teilkategorie von class1 und die Zahl number Argument von rel2 ist eine teilkategorie von class2 und class1 ist dijunkt von class2 , dann rel1 und rel2 werden disjunkt.

(=>
      (and
            (domainSubclass ?REL1 ?NUMBER ?CLASS1)
            (domainSubclass ?REL2 ?NUMBER ?CLASS2)
            (disjoint ?CLASS1 ?CLASS2))
      (disjointRelation ?REL1 ?REL2))

Wenn bildbereich von rel1 ist ein fall von class1 {nicht} und bildbereich von rel2 ist ein fall von class2 {nicht} und class1 ist dijunkt von class2 , dann rel1 und rel2 werden disjunkt.

(=>
      (and
            (range ?REL1 ?CLASS1)
            (range ?REL2 ?CLASS2)
            (disjoint ?CLASS1 ?CLASS2))
      (disjointRelation ?REL1 ?REL2))

Wenn die werte die rel1 zurückgibt sind teilkategorien von class1 und die werte die rel2 zurückgibt sind teilkategorien von class2 und class1 ist dijunkt von class2 , dann rel1 und rel2 werden disjunkt.

(=>
      (and
            (rangeSubclass ?REL1 ?CLASS1)
            (rangeSubclass ?REL2 ?CLASS2)
            (disjoint ?CLASS1 ?CLASS2))
      (disjointRelation ?REL1 ?REL2))

disjunkteAufspaltung ist innerlich verwandt mit disjunkt .

(relatedInternalConcept disjointDecomposition disjoint)

korpuskularer Gegenstand ist dijunkt von Substanz .

(disjoint CorpuscularObject Substance)

Ansammlung ist dijunkt von selbstverbundener Gegenstand .

(disjoint Collection SelfConnectedObject)

linguistischer Ausdruck ist dijunkt von Ikon .

(disjoint LinguisticExpression Icon)

natürliche Sprache ist dijunkt von gebaute Sprache .

(disjoint NaturalLanguage ConstructedLanguage)

Attribut ist dijunkt von Eigenschaft .

(disjoint Attribute Quantity)

Komplexzahl ist dijunkt von reelle Zahl .

(disjoint ComplexNumber RealNumber)

Wenn

rel ist ein fall von zweiwertige Relation
die Zahl Argument von rel ist ein fall von class1 oder die Zahl Argument von rel ist eine teilkategorie von class1
die Zahl Argument von rel ist ein fall von class2 oder die Zahl Argument von rel ist eine teilkategorie von class2 oder bildbereich von rel ist ein fall von class2 {nicht} oder die werte die rel zurückgibt sind teilkategorien von class2
class1 ist dijunkt von class2

, dann rel ist ein fall von asymmetrische Relation .

(=>
      (and
            (instance ?REL BinaryRelation)
            (or
                  (domain ?REL 1 ?CLASS1)
                  (domainSubclass ?REL 1 ?CLASS1))
            (or
                  (domain ?REL 2 ?CLASS2)
                  (domainSubclass ?REL 2 ?CLASS2)
                  (range ?REL ?CLASS2)
                  (rangeSubclass ?REL ?CLASS2))
            (disjoint ?CLASS1 ?CLASS2))
      (instance ?REL AsymmetricRelation))

Gegenstandeinstellung ist dijunkt von propositionale Einstellung .

(disjoint ObjectAttitude PropositionalAttitude)

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

wenn superclass ist ein fall von paarweise disjunkte Kategorie ,
dann für jeden class1,class2 gilt: wenn class1 ist ein fall von superclass und class2 ist ein fall von superclass , dann class1 ist gleich class2 oder class1 ist dijunkt von class2

(=>
      (instance ?SUPERCLASS PairwiseDisjointClass)
      (forall
            (?CLASS1 ?CLASS2)
            (=>
                  (and
                        (instance ?CLASS1 ?SUPERCLASS)
                        (instance ?CLASS2 ?SUPERCLASS))
                  (or
                        (equal ?CLASS1 ?CLASS2)
                        (disjoint ?CLASS1 ?CLASS2)))))

Graphelement ist dijunkt von Graph .

(disjoint GraphElement Graph)

Raumwinkelmass ist dijunkt von Ebenerwinkelmass .

(disjoint SolidAngleMeasure PlaneAngleMeasure)

sexuelle Wiedergabe ist dijunkt von asexuelle Wiedergabe .

(disjoint SexualReproduction AsexualReproduction)

Organ oder Gewebeprozess ist dijunkt von Organismusprozess .

(disjoint OrganOrTissueProcess OrganismProcess)

pathologischer Prozess ist dijunkt von physiologischer Prozess .

(disjoint PathologicProcess PhysiologicProcess)

verlassen eine Organisation ist dijunkt von gehen zu einer Organisation .

(disjoint LeavingAnOrganization JoiningAnOrganization)

Erhitzen ist dijunkt von Abkühlen .

(disjoint Heating Cooling)

Aufdecken ist dijunkt von Bedecken .

(disjoint Uncovering Covering)

Beschädigen ist dijunkt von Reparatur .

(disjoint Damaging Repairing)

Befestigung ist dijunkt von Abtrennen .

(disjoint Attaching Detaching)

Trennen ist dijunkt von Kombinieren .

(disjoint Separating Combining)

Decodieren ist dijunkt von Kodieren .

(disjoint Decoding Encoding)

astronomische Körper ist dijunkt von geographischer Bereich .

(disjoint AstronomicalBody GeographicArea)

Salzwassergebiet ist dijunkt von Süsswassergebiet .

(disjoint SaltWaterArea FreshWaterArea)

strömedes wassergebiet ist dijunkt von feststehendes Wassergebiet .

(disjoint StreamWaterArea StaticWaterArea)

nichtblühende Pflanze ist dijunkt von blühende Pflanze .

(disjoint NonFloweringPlant FloweringPlant)

wirbelloses Tier ist dijunkt von Wirbeltier .

(disjoint Invertebrate Vertebrate)

warmblütiges Wirbeltier ist dijunkt von kaltblütiges Wirbeltier .

(disjoint WarmBloodedVertebrate ColdBloodedVertebrate)

Vogel ist dijunkt von Säugetier .

(disjoint Bird Mammal)

Hund ist dijunkt von Katze .

(disjoint Canine Feline)

Nominalphrase ist dijunkt von Verbphrase .

(disjoint NounPhrase VerbPhrase)

Zimmer ist dijunkt von Gebäude .

(disjoint Room Building)

Stoff ist dijunkt von feststehendes Kunstprodukt .

(disjoint Fabric StationaryArtifact)

Kleidung ist dijunkt von feststehendes Kunstprodukt .

(disjoint Clothing StationaryArtifact)

subjektives Einschätzungsattribut ist dijunkt von objektive Norm .

(disjoint SubjectiveAssessmentAttribute ObjectiveNorm)