SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Function > BinaryFunction > RelativeComplementFn
Next BinaryFunctionRemainderFn    UpBinaryFunction    Previous BinaryFunctionMonthFn   

RelativeComplementFndocumentation 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 C22001-11-30 13:35:10.0
has axiom
(instance ?NUMBER ImaginaryNumber)
(instance ?NUMBER (RelativeComplementFn Number RealNumber)))
2001-11-30 13:35:11.0
has axiom
(equal (RelativeComplementFn ?CLASS1 ?CLASS2)
(IntersectionFn ?CLASS1 (ComplementFn ?CLASS2)))
2001-11-30 13:35:11.0
has domain1 Class2001-11-30 13:35:11.0
has domain2 Class2001-11-30 13:35:11.0
has range Class2001-11-30 13:35:11.0
is an instance of BinaryFunction2001-11-30 13:35:11.0
BinaryFunctionis first domain of distributes2001-11-30 13:33:43.0
is first domain of identityElement2001-11-30 13:33:43.0
is second domain of distributes2001-11-30 13:33:43.0
Classis third domain of domain2001-11-30 13:33:51.0
is third domain of domainSubclass2001-11-30 13:33:51.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0