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

Кстати, буквально в этом мае среди онтологов разразилась очередная дискуссия про то, насколько синонимичны класс и тип. Половина онтологов считала, что это синонимы, половина считала, что "есть нюансы". Были и комменты типа: >> I have used "type" to mean the logical concept (same as yours) and >> "class" to be the OO concept which also embodies an instance factory. Так что эти "различения" могут означать просто непоследовательность обращения к разным парадигмам выражения знания, и много чего другого. Про то, что есть ещё и лингвистический заход с языковыми играми и прототипами, я вообще молчу. Поэтому ваш коммент про классификацию и типологию я не очень понял, у меня с этими словами связано слишком много разных вариантов различений...