Class BINARY-FUNCTION

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

Slots on this class:

Documentation:

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

Subclass-Of: Function

Axioms:

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