po dvou disjunktní třídy (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.

Ontologie

SUMO / SET/CLASS-THEORY

Nadtřída(y)

entita

abstraktum

množina nebo třída

po dvou disjunktní třídy

Související termín(y)

třída vzájemně disjunktní třídy množina

Axiomy (1)

jestliže superclass je instancí třídy po dvou disjunktní třídy,
potom pro všechny class1,class2 platí: jestliže class1 je instancí třídy superclass a class2 je instancí třídy superclass, potom class1 se rovná class2 nebo class1 je disjoint from class2

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