Relation RANGE-OF


Slots on this relation:

Documentation:
The inverse of RANGE. A class C is a range-of a relation R if C is a superclass-of the exact range of R.
Arity: 2
Inverse: Range