ComplementFn Comparison Table

Next UnaryFunction: CosineFn Up: UnaryFunction Previous UnaryFunction: CeilingFn

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))
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

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))	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