На рисунке в среде Protégé изображены классы, присутствующие в онтологии: дисциплина (экземпляром класса является «Математический анализ»), раздел (экземпляром класса является «Основы дифференциального исчисления») и тема (экземпляром класса является «Дифференциал функции»). В онтологию было добавлено свойство – отношение «Выбирает». Существующие взаимосвязи указаны на рисунке. Каким свойством обладает свойство – отношение «Выбирает», если в результате получаем новое высказывание вида «Математический анализ включает Дифференциал функции»?