Для чёткого разграничения вершин концептов и вершин экземпляров используются связи типа instance_of (экземпляризация), что позволяет решить проблему, связанную с наследованием.…