Relation Onto

• Defined in ontology: Frame-ontology
• Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/ontolingua/../../all-ontologies/ontolingua/frame-ontology.lisp

Arity: 2

Documentation:

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

Instance-Of: Binary-Relation, Relation, Set

Equivalence Axioms for Onto:

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