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.

Instance-Of: Class

Subclass-Of: Function

Equivalence Axioms:

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

Axioms:

(Forall (?List) (=> (Member ?List ?F) (Triple ?List)))

(Not (Empty ?F))

(Function ?F)

Other Related Axioms:

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