text: Индивид a {\displaystyle a} является экземпляром концепта C {\displaystyle C} относительно базы знаний K {\displaystyle {\mathcal {K}}} , если в любой модели I {\displaystyle {\mathcal {I}}} базы знаний K {\displaystyle {\mathcal {K}}} имеет место a I ∈ C I {\displaystyle a^{\mathcal {I}}\in C^{\mathcal {I}}} .