В разделе "Примеры онтологий с рекурсией" демонстрируются возможности ядра системы по определению новых шаблонов языка системы и описанию функций с рекурсивным вычислением их значений.