Das Prädikat subclass-of? wurde für Constraints in der Ontologie entfernt.

Es kann durch (. (get-instance) all-instance-of) und member? ersetzt werden, wenn die Klassenzugehörigkeit von Referenzen getestet werden soll.