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

**Documentation:**Domain restrictions generalized to n-ary relations. The sentence (nth-domain rel 3 type-class) says that the 3rd element of each tuple in the relation REL is an instance of type-class.

**Arity:**3

(Nth-Domain Nth-Domain 3 Class) (Nth-Domain Nth-Domain 2 Positive-Integer) (<=> (Nth-Domain ?Relation ?N ?Type) (And (Defined (Arity ?Relation)) (Positive-Integer ?N) (Class ?Type) (Forall (?Tuple) (=> (Member ?Tuple ?Relation) (And (>= (Length ?Tuple) ?N) (Instance-Of (Nth ?Tuple ?N) ?Type))))))

- What about nth-range?
A range restriction of a function is the same thing as an nth-domain restriction on the last element of each tuple, i.e., the values of the function. Therefore there is no nth-range relation.