Relation ONTO

A relation R is ONTO range class C iff for every element y in C there is a tuple in R (x1, x2, ... y).

Arity: 2

Axioms:

(<=> (Onto ?Relation ?Range-Class)
     (Subclass-Of (Exact-Range ?Relation) ?Range-Class))

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