Class UNARY-FUNCTION


Slots on this class:

Documentation:
A unary function is a function with a single argument and a single value. Hence, it is also a binary relation.
Subclass-Of: Binary-relation, Function

Axioms:

(<=> (Unary-Function ?F) (And (Function ?F) (Binary-Relation ?F)))