**Defined in theory: Kif-relations****Source code: kif-relations.lisp**

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

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