yugmataH asambaddha samUha (PairwiseDisjointClass)

A SetOrClass of Classes is a PairwiseDisjointClass just in case every instance of the SetOrClass is either equal to or disjoint from every other instance of the SetOrClass.

Ontology

SUMO / SET/CLASS-THEORY

Superclass(es)

astitva

amUrta

samUha yaa varga

yugmataH asambaddha samUha

Coordinate term(s)

varga paarasparika asambaddha samUha varga

Axioms (1)

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