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

**Subclass-Of:**Binary-relation, Function

**Inverse:***Slot-Cardinality:*1*Slot-Value-Type:*Function

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