Class UNARY-FUNCTION

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

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