Class ONE-ONE

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

Slots on this class:

Instance-Of: Class

Subclass-Of: Binary-relation, Function

---

Slots on instances of this class:

Inverse:

Slot-Cardinality: 1

Slot-Value-Type: Function

Equivalence Axioms:

(<=> (One-One ?R)
     (And (Binary-Relation ?R)
          (Function ?R)
          (Value-Type ?R Inverse Function)
          (Value-Cardinality ?R Inverse 1)))

Axioms:

(Function ?R)

(Binary-Relation ?R)

Other Related Axioms:

(<=> (One-One ?R)
     (And (Binary-Relation ?R)
          (Function ?R)
          (Value-Type ?R Inverse Function)
          (Value-Cardinality ?R Inverse 1)))