Class Binary-Function

• Defined in ontology: Kif-relations
• Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/kif/../../all-ontologies/kif/kif-relations.lisp

Subclass-Of@Frame-Ontology: Function, Relation, Set

Instance-Of@Frame-Ontology: Class@Frame-Ontology, Relation, Set

Arity@Frame-Ontology: 1

Documentation@Ol%Frame-Ontology:

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

---

Slots:

Implication Axioms for Binary-Function:

(=> (Binary-Function ?F)
    (Forall (?List) (=> (Member ?List ?F) (Triple ?List))))

(=> (Binary-Function ?F) (Not (Empty ?F)))

Equivalence Axioms for Binary-Function:

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