Relation RANGE-OF

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

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.

Instance-Of: Relation

Arity: 2

Inverse: Range

Other Related Axioms:

(<=> (Range-Of $Arg1 $Arg2) (Range $Arg2 $Arg1))