(<=> (instance ?ENTITY (ComplementFn ?CLASS)) (not (instance ?ENTITY ?CLASS)))
(equal (RelativeComplementFn ?CLASS1 ?CLASS2) (IntersectionFn ?CLASS1 (ComplementFn ?CLASS2)))
(equal NullSet (ComplementFn Entity))
Next UnaryFunction: CosineFn Up: UnaryFunction Previous UnaryFunction: CeilingFn