В специализированном отношении понятие подтип наследует все связанные с ним аспекты и любые компонентные отношения из понятия супертипа

Обозначение: Т4

Пояснение: физический объект подтипа имеет ту же природу, что и супертип его физического объекта и, следовательно, он имеет, по определению, по крайней мере, те же ограничения, как и его надтип. Поскольку подтип отличится от других подтипов, каждый подтип имеет, по крайней мере, одно дополнительное ограничение (по сравнению с надтипом), который является отличным от подтипов

Пример: если физический объект «велосипед» является специализацией физического объекта «транспортные средства», «велосипед» будет иметь, по крайней мере, те же аспекты, что и объект «транспортные средства», например, аспект, который он может нести — «расчетная нагрузка»

Проверка: должны быть проведены выборочные проверки