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