Das Prädikat instance? überprüft, ob sein Argument eine Instanz ist.

> (defclass a-class ())
> (instance? (allocate-instance a-class))
t

> (instance? nil)
nil

> (instance? (quote a))
nil


Das Prädikat ist über die Funktion type-of und einen Vergleich definiert:

(setq instance?
  (lambda (x)
    (eq?
      (type-of x)
      (quote instance))))