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)

varga

inheritable relation

dvi-lakshana
is instance of

saamanjasyapUrNa sambandha
is instance of

anaatmavaachaka sambandha
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(samUha yaa varga, samUha yaa varga)

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 asansavat class2 se hai agar hai

class1 is an instance of samUha yaa varga
class2 is an instance of samUha yaa varga
sab-kuch inst ke lie hai, ki: inst is not an instance of class1 yaa inst is not an instance of class2

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

disjoint relation is internally related to disjoint.

(relatedInternalConcept disjointRelation disjoint)

Agar the number number argument of rel1 is an instance of class1 aur the number number argument of rel2 is an instance of class2 aur class1 asansavat class2 se hai, to rel1 and rel2 are disjoint.

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

Agar the number number argument of rel1 is a subclass of class1 aur the number number argument of rel2 is a subclass of class2 aur class1 asansavat class2 se hai, to rel1 and rel2 are disjoint.

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

Agar range of rel1 is an instance of class1 aur range of rel2 is an instance of class2 aur class1 asansavat class2 se hai, to rel1 and rel2 are disjoint.

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

Agar the values returned by rel1 are subclasses of class1 aur the values returned by rel2 are subclasses of class2 aur class1 asansavat class2 se hai, to rel1 and rel2 are disjoint.

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

disjoint decomposition is internally related to disjoint.

(relatedInternalConcept disjointDecomposition disjoint)

kaNikaa sambandhI padaartha asansavat padaartha se hai.

(disjoint CorpuscularObject Substance)

sangraha asansavat aatmasambaddha vastu se hai.

(disjoint Collection SelfConnectedObject)

bhaashaa-sambandhI abhivyakti asansavat pratimaa se hai.

(disjoint LinguisticExpression Icon)

praakQwika bhaashaa asansavat nirmita bhaashaa se hai.

(disjoint NaturalLanguage ConstructedLanguage)

visheshtaa asansavat parimaaNa se hai.

(disjoint Attribute Quantity)

sanyukta anka asansavat vaastavika anka se hai.

(disjoint ComplexNumber RealNumber)

Agar

rel is an instance of dvi-aadhaarI sambandha
the number argument of rel is an instance of class1 yaa the number argument of rel is a subclass of class1
the number argument of rel is an instance of class2 yaa the number argument of rel is a subclass of class2 yaa range of rel is an instance of class2 yaa the values returned by rel are subclasses of class2
class1 asansavat class2 se hai

, to rel is an instance of asaamanjasyapUrNa sambandha.

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

vastu abhivQtti asansavat prastaavaatmak abhivQtti se hai.

(disjoint ObjectAttitude PropositionalAttitude)

agar class is disjointly decomposed into ,
to sab-kuch item1,item2 ke lie hai, ki: agar item1 is a member of "()" aur item2 is a member of "()" aur item1 is not equal to item2, to item1 asansavat item2 se hai

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

agar superclass is an instance of yugmataH asambaddha samUha,
to sab-kuch class1,class2 ke lie hai, ki: agar class1 is an instance of superclass aur class2 is an instance of superclass, to class1 is equal to class2 yaa class1 asansavat class2 se hai

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

tatva aalekha asansavat aalekha se hai.

(disjoint GraphElement Graph)

thosa koNa maapa asansavat samatala koNa maapa se hai.

(disjoint SolidAngleMeasure PlaneAngleMeasure)

lEngika prajanana asansavat alEngika prajanana se hai.

(disjoint SexualReproduction AsexualReproduction)

anaga yaa Utaka prakriyaa asansavat jIva prakriyaa se hai.

(disjoint OrganOrTissueProcess OrganismProcess)

roga vigyaaniya prakriyaa asansavat shaarIrika prakriyaa se hai.

(disjoint PathologicProcess PhysiologicProcess)

sansthaa tyaaga asansavat sansthaa kaarya grahana se hai.

(disjoint LeavingAnOrganization JoiningAnOrganization)

taapana asansavat shiitalataa se hai.

(disjoint Heating Cooling)

anaavarana asansavat aavarana se hai.

(disjoint Uncovering Covering)

kshati asansavat marammata se hai.

(disjoint Damaging Repairing)

sanlagnana asansavat vilagana se hai.

(disjoint Attaching Detaching)

alagaava asansavat sanyojana se hai.

(disjoint Separating Combining)

kuta vyaakhyaayana asansavat kuta lekhana se hai.

(disjoint Decoding Encoding)

khagoliya kshetra asansavat bhaigolika kshetra se hai.

(disjoint AstronomicalBody GeographicArea)

lavana jala kshetra asansavat alavana jala kshetra se hai.

(disjoint SaltWaterArea FreshWaterArea)

pravaahita jala kshetra asansavat swhita jala kshetra se hai.

(disjoint StreamWaterArea StaticWaterArea)

apushpI vanaspati asansavat pushpI vanaspati se hai.

(disjoint NonFloweringPlant FloweringPlant)

akasherukI asansavat kasherukI se hai.

(disjoint Invertebrate Vertebrate)

samataapI kasherukI asansavat asamataapI kasherukI se hai.

(disjoint WarmBloodedVertebrate ColdBloodedVertebrate)

pakshI asansavat stanapaayI se hai.

(disjoint Bird Mammal)

shvaanIya jantu asansavat vidaalIya jantu se hai.

(disjoint Canine Feline)

sangyaa vaakyansha asansavat kriyaa vaakyaansha se hai.

(disjoint NounPhrase VerbPhrase)

kaksha asansavat imaarata se hai.

(disjoint Room Building)

vastra asansavat lekhana saamagrI se hai.

(disjoint Fabric StationaryArtifact)

paridhaana asansavat lekhana saamagrI se hai.

(disjoint Clothing StationaryArtifact)

vyaktinishtha mUlyaankana visheshataa asansavat vastuparaka maandanda se hai.

(disjoint SubjectiveAssessmentAttribute ObjectiveNorm)