Class MANY-ONE

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

Slots on this class:

Subclass-Of: Binary-relation, Function

Axioms:

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