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

**Documentation:**A binary function is a function with two arguments and one value. Hence, it is a relation with three arguments.

**Subclass-Of:**Function

(<=> (Binary-Function ?F) (And (Function ?F) (Not (Empty ?F)) (Forall (?List) (=> (Member ?List ?F) (Triple ?List)))))