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

Classe

inheritable relation

PredicatoBinario
is instance of

RelazioneSimmetrica
is instance of

RelazioneNonRiflessiva
is instance of

disjoint

Coordinate term(s)

back fn front fn arc weight attribute authors before before or equal causes causes subclass citizen closed on connected connected engineering components contains information cooccur copy date decreases likelihood developmental form distributes documentation duration during earlier editor element employs equal equivalence relation on exploits expressed in language faces family relation finishes frequency graph part greater than greater than or equal to has purpose has skill holds during holds obligation holds right hole identity element in list in scope of interest increases likelihood independent probability inhabits inhibits initial list instance interior part inverse irreflexive on larger less than less than or equal to manner material measure meets spatially meets temporally modal attribute overlaps partially overlaps spatially overlaps temporally parent partial ordering on partly located path length possesses precondition prevents property publishes range range subclass refers reflexive on related internal concept sibling smaller starts sub attribute sub collection sub graph sub list sub organizations sub plan sub process sub proposition subclass subrelation subsumes content class subsumes content instance successor attribute successor attribute closure superficial part temporal part time total ordering on trichotomizing on uses valence version

Type restrictions

disjoint(InsiemeOClasse, InsiemeOClasse)

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 é disgiunto da class2 se e solo se

class1 é un' istanza di InsiemeOClasse
class2 é un' istanza di InsiemeOClasse
per ogni inst vale: inst é not un' istanza di class1 o inst é not un' istanza di class2

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

disjoint relation é interamente correlato a disjoint.

(relatedInternalConcept disjointRelation disjoint)

Se il numero number argomenti di rel1 é un istanza di class1 e il numero number argomenti di rel2 é un istanza di class2 e class1 é disgiunto da class2, allora rel1 e rel2 sono disgiunti.

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

Se il numero number argomento rel1 é una sottoclasse diclass1 e il numero number argomento rel2 é una sottoclasse diclass2 e class1 é disgiunto da class2, allora rel1 e rel2 sono disgiunti.

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

Se rango di rel1 é un'istanza di class1 e rango di rel2 é un'istanza di class2 e class1 é disgiunto da class2, allora rel1 e rel2 sono disgiunti.

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

Se i valori resi da rel1 sono sottoclassi diclass1 e i valori resi da rel2 sono sottoclassi diclass2 e class1 é disgiunto da class2, allora rel1 e rel2 sono disgiunti.

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

disjoint decomposition é interamente correlato a disjoint.

(relatedInternalConcept disjointDecomposition disjoint)

OggettoCorpuscolare é disgiunto da Sostanza.

(disjoint CorpuscularObject Substance)

InsiemeConcreto é disgiunto da OggettoIntegro.

(disjoint Collection SelfConnectedObject)

EspressioneLinguistica é disgiunto da Icona.

(disjoint LinguisticExpression Icon)

LinguaggioNaturale é disgiunto da LinguaggioCostruito.

(disjoint NaturalLanguage ConstructedLanguage)

Attributo é disgiunto da Quantitá.

(disjoint Attribute Quantity)

NumeroComplesso é disgiunto da NumeroReale.

(disjoint ComplexNumber RealNumber)

rel é un' istanza di RelazioneBinaria
il numero argomenti di rel é un istanza di class1 o il numero argomento rel é una sottoclasse diclass1
il numero argomenti di rel é un istanza di class2 o il numero argomento rel é una sottoclasse diclass2 o rango di rel é un'istanza di class2 o i valori resi da rel sono sottoclassi diclass2
class1 é disgiunto da class2

, allora rel é un' istanza di RelazioneAsimmetrica.

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

AtteggiamentoOggettuale é disgiunto da AtteggiamentoProposizionale.

(disjoint ObjectAttitude PropositionalAttitude)

se class é scomposto disgiuntivamente in ,
allora per ogni item1,item2 vale: se item1 é un é membro di "(" e item2 é un é membro di "(" e item1 is not uguale a item2, allora item1 é disgiunto da item2

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

se superclass é un' istanza di ClasseDisgiuntaACoppie,
allora per ogni class1,class2 vale: se class1 é un' istanza di superclass e class2 é un' istanza di superclass, allora class1 is uguale a class2 o class1 é disgiunto da class2

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

ElementoDelGrafo é disgiunto da Grafo.

(disjoint GraphElement Graph)

MisuraDiAngoloSolido é disgiunto da MisuraDiAngoloPiano.

(disjoint SolidAngleMeasure PlaneAngleMeasure)

RiproduzioneSessuata é disgiunto da RiproduzioneAsessuata.

(disjoint SexualReproduction AsexualReproduction)

ProcessoOrganicoOTessutale é disgiunto da ProcessoOrganico.

(disjoint OrganOrTissueProcess OrganismProcess)

ProcessoPatologico é disgiunto da ProcessoFisiologico.

(disjoint PathologicProcess PhysiologicProcess)

AbbandonoDiUn'Organizzazione é disgiunto da AdesioneAdUn'Organizzazione.

(disjoint LeavingAnOrganization JoiningAnOrganization)

Riscaldamento é disgiunto da Raffreddamento.

(disjoint Heating Cooling)

Scoprire é disgiunto da Coprire.

(disjoint Uncovering Covering)

Danneggiare é disgiunto da Riparare.

(disjoint Damaging Repairing)

Attaccare é disgiunto da Staccare.

(disjoint Attaching Detaching)

Separare é disgiunto da Combinare.

(disjoint Separating Combining)

Decodificare é disgiunto da Codificare.

(disjoint Decoding Encoding)

CorpoCeleste é disgiunto da AreaGeografica.

(disjoint AstronomicalBody GeographicArea)

SuperficieAcquaticaSalata é disgiunto da SuperficieD'AcquaDolce.

(disjoint SaltWaterArea FreshWaterArea)

SuperficieD'AcquaCorrente é disgiunto da SuperficieD'AcquaFerma.

(disjoint StreamWaterArea StaticWaterArea)

PiantaNonDaFiore é disgiunto da PiantaDaFiore.

(disjoint NonFloweringPlant FloweringPlant)

Invertebrato é disgiunto da Vertebrato.

(disjoint Invertebrate Vertebrate)

AnimaleASangueCaldo é disgiunto da AnimaleASangueFreddo.

(disjoint WarmBloodedVertebrate ColdBloodedVertebrate)

Uccello é disgiunto da Mammifero.

(disjoint Bird Mammal)

Canide é disgiunto da Felino.

(disjoint Canine Feline)

SintagmaNominale é disgiunto da SintagmaVerbale.

(disjoint NounPhrase VerbPhrase)

Stanza é disgiunto da Costruzione.

(disjoint Room Building)

Stoffa é disgiunto da ManufattoStatico.

(disjoint Fabric StationaryArtifact)

Vestito é disgiunto da ManufattoStatico.

(disjoint Clothing StationaryArtifact)

AttributoSoggettivo é disgiunto da NormaOggettiva.

(disjoint SubjectiveAssessmentAttribute ObjectiveNorm)