SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > Function > BinaryFunction > IntersectionFn |
IntersectionFn 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 | ||||
IntersectionFn | Class | Class | Class | A BinaryFunction that maps two %Classes to the intersection of these Classes. An object is an instance of the intersection of two Classes just in case it is an instance of both of those Classes | (equal (RelativeComplementFn ?CLASS1 ?CLASS2) | BinaryFunction |
Next BinaryFunction: KappaFn Up: BinaryFunction Previous BinaryFunction: HourIntervalFn