Class MANY-ONE

Subclass-Of: Binary-relation, Function

Axioms:

(<=> (Many-One ?R) (And (Binary-Relation ?R) #'?R))

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