cheng2 dui4 du2 li4 lei4 (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)

shi2 ti3

chou1 xiang4 de5

ji2 he2 huo4 zhong3 lei4

cheng2 dui4 du2 li4 lei4

Coordinate term(s)

zhong3 lei4 hu4 chi4 lei4 ji2 he2

Axioms (1)

if superclass shi4 cheng2 dui4 du2 li4 lei4 de5 shi2 li4,
then for all class1,class2 holds: if class1 shi4 superclass de5 shi2 li4 and class2 shi4 superclass de5 shi2 li4, then class1 deng3 yu1 class2 or class1 wu2 jiao1 ji2 yu1 class2

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