SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > ComplementFn |
ComplementFn comparison table |
Subject | have domain1 | have range | documentation | have axiom | is a kind of | is an instance of |
---|---|---|---|---|---|---|
UnaryFunction | The Class of Functions that require a single argument | (=> | Function | |||
ComplementFn | Class | Class | The complement of a given Class C is the Class of all things that are not instances of C. In other words, an object is an instance of the complement of a Class C just in case it is not an instance of C | (equal NullSet (ComplementFn Entity)) | UnaryFunction |
Next UnaryFunction: CosineFn Up: UnaryFunction Previous UnaryFunction: CeilingFn