Class MANY-TO-ONE-RELATION

Subclass-Of: Binary-relation, Function

Axioms:

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

• Defined in theory: Frame-ontology
• Source code: frame-ontology.lisp