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.

Instance-Of: Class

Subclass-Of: Binary-relation, Function

Equivalence Axioms:

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

Axioms:

(Binary-Relation ?F)

(Function ?F)

Other Related Axioms:

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