SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > ComplementFn
Next UnaryFunctionCosineFn    UpUnaryFunction    Previous UnaryFunctionCeilingFn   

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
(instance ?FUNCTION UnaryFunction)
(valence ?FUNCTION 1))
ComplementFnClassClassThe 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))

Next UnaryFunctionCosineFn    UpUnaryFunction    Previous UnaryFunctionCeilingFn