relative complement fn (RelativeComplementFn)

A BinaryFunction that maps two SetOrClasses to the difference between these SetOrClasses. More precisely, the relative complement of one class C1 relative to another C2 consists of the instances of C1 that are instances of the ComplementFn of C2.

Ontologie

SUMO / SET/CLASS-THEORY

Class(es)

třída

inheritable relation

binární funkce

relative complement fn

Související termín(y)

addition fn day fn density fn division fn edition fn exponentiation fn graph path fn hour fn intersection fn interval fn kappa fn list concatenate fn list order fn log fn max fn maximal weighted path fn measure fn mereological difference fn mereological product fn mereological sum fn min fn minimal weighted path fn minute fn month fn multiplication fn periodical issue fn recurrent time interval fn relative time fn remainder fn second fn series volume fn speed fn subtraction fn temporal composition fn time interval fn union fn where fn

Typy argumentů

množina nebo třída RelativeComplementFn(množina nebo třída, množina nebo třída)

Axiomy (1)

Jestliže class1 je instancí třídy množina nebo třída a class2 je instancí třídy množina nebo třída, potom "relative complement fn(class1,class2)" se rovná "intersection fn(class1,complement fn(class2))".

(=>
      (and
            (instance ?CLASS1 SetOrClass)
            (instance ?CLASS2 SetOrClass))
      (equal
            (RelativeComplementFn ?CLASS1 ?CLASS2)
            (IntersectionFn
                  ?CLASS1
                  (ComplementFn ?CLASS2))))