Relation NTH-DOMAIN


Slots on this relation:

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

Axioms:

(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))))))


Notes: