Class MANY-ONE

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

Slots on this class:

Instance-Of: Class

Subclass-Of: Binary-relation, Function

Equivalence Axioms:

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

Axioms:

(Function ?R)

(Binary-Relation ?R)

Other Related Axioms:

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