SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > Function > BinaryFunction > RelativeComplementFn |
RelativeComplementFn comparison table |
Subject | have domain2 | have domain1 | have range | documentation | have axiom | is a kind of | is an instance of |
---|---|---|---|---|---|---|---|
BinaryFunction | The Class of Functions that require two arguments | (=> | TernaryRelation | ||||
RelativeComplementFn | Class | Class | Class | 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 | (equal (RelativeComplementFn ?CLASS1 ?CLASS2) | BinaryFunction |
Next BinaryFunction: RemainderFn Up: BinaryFunction Previous BinaryFunction: MonthFn