"является экземпляром". В представлении знаний (knowledge representation) - отношение между конкретным объектом и понятием, экземпляром (instance) которого он является.
IS-A
Англо-русский перевод IS-A
English-Russian dictionary of computers . Англо-Русский словарь по компьютерам. 2012