成對獨立類 (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)

實體

抽象的

集合或種類

成對獨立類

Coordinate term(s)

種類互斥類集合

Axioms (1)

if superclass 是成對獨立類的實例,
then for all class1,class2 holds: if class1 是 superclass 的實例 and class2 是 superclass 的實例, then class1 等於 class2 or class1 無交集於 class2

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