Class UNARY-FUNCTION

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 #'?F (Binary-Relation ?F)))

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