Экземпляр класса
Раньше мы говорили, что индивид относится к категории, или использовали отношение «это». Но в русском языке есть множество вариантов описать отношения индивида и класса (типа):
- индивид является экземпляром класса;
- индивид является элементом класса;
- индивид входит в класс;
- индивид является членом класса;
- индивид принадлежит классу,
- индивид представляеткласс;
- индивид имеет тип;
- индивид относится к типу;
Можно и поменять местами экземпляр и класс:
- класс классифицирует индивида;
- класс представлениндивидом.
Или сказать просто:
- индивид и класс связаны отношением классификации.
Есть ещё множество способов выразить ту же самую мысль на русском языке, на разных профессиональных жаргонах, или в формальных языках. Математики скажут «элемент принадлежит множеству» и напишут “a***∈***A”.
На картинке выше – один желудь является экземпляром класса «Желудь». В класс «Желудь» входят индивидуальные жёлуди.
Конкретный стол на вашей кухне — экземпляр класса «Стол» (и еще многих других классов, мы говорили уже, что один объект может быть экземпляром многих классов, применение таких моделей мы встретим неоднократно).
«шуруповерт инвентарный номер 1250564-678» - это индивидуальный физический объект, индивид
«шуруповерт инвентарный номер 1250564-678» принадлежит классу «Шуруповёрт Makita»
«шуруповерт инвентарный номер 1250564-678» принадлежит классу «Шуруповёрт»
Принадлежность, классификация, типизация, членство, экземпляризация – разные названия для одного логического отношения. (Помните, что в некоторых онтологических теориях или стандартных онтологиях значения этих терминов или область их применения могутбыть определены более чётко, сужены, и они не будут там полными синонимами.)
В обычной речи просьба «приведите пример» - это чаще всего просьба «приведите экземпляр класса», то есть подразумевается именно эта операция мысленного моделирования. В русском языке иногда говорят «например»: «желуди, вот например я нашёл этот желудь», «программисты, например наш Вася».