Class ONE-TO-ONE-RELATION

• Defined in theory: Frame-ontology
• Source code: frame-ontology.lisp

Slots on this class:

Subclass-Of: Unary-function

---

Slots on instances of this class:

Inverse:

Slot-Cardinality: 1

Slot-Value-Type: Function

Axioms:

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