Class One-One

Subclass-Of@Frame-Ontology:
Binary-Relation, Function, Relation, Set ...
Instance-Of@Frame-Ontology: Class@Frame-Ontology, Relation, Set
Arity@Frame-Ontology: 1


Slots:

Inverse:
Slot-Cardinality@Frame-Ontology: 1
Slot-Value-Type@Frame-Ontology: Function
Arity@Frame-Ontology: 2

Equivalence Axioms for One-One:

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