Без заголовка

Кроме объектов есть ещё и отношения. Не все отношения -- это отношения классификации. Вот абстрагирование это работа со многими отношениями, не только таксономиями. И между классами другие отношения, чем между индивидами в классах. И тем более, отношения между классами классов. Опять же, абстрагирование может быть не в классах, а в прототипах (необязательно же абстрагирование идёт согласно theory theory, есть и другие теории концептов).