SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > Function > BinaryFunction > RelativeComplementFn |
RelativeComplementFn | ||||
subject | fact |
RelativeComplementFn | documentation A BinaryFunction that maps two Classes to the difference between these Classes. 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 | |
has axiom (=> | ||
has axiom (equal (RelativeComplementFn ?CLASS1 ?CLASS2) | ||
has domain1 Class | ||
has domain2 Class | ||
has range Class | ||
is an instance of BinaryFunction | ||
BinaryFunction | is first domain of distributes | |
is first domain of identityElement | ||
is second domain of distributes | ||
Class | is third domain of domain | |
is third domain of domainSubclass | ||
Abstract | is disjoint from Physical |