Instantiates

;; Comment: A binary formal relation.

Axioms

Arity

(not (Instantiates ())
(forall (x) (not (Instantiates x) )
(forall (x y z ...s) (not (Instantiates x y z ...s) )

References

see CUO