OpenU.Ru
Термин, использующийся для группировки отношений, которые связывают дескрипторы и их экземпляры. Сюда же относятся отношения "являться экземпляром" и "множество всех типов".