/* Эта онтология является средой для онтологий раздела
"Примеры онтологий с рекурсией"

В разделе определяется онтологии "Фактриал" и "Сумма списка",
в которых вводятся шаблоны для соответствующих функций определяется
рекурсивное вычисление этих функций. */.

В данной онтологии отношение использования не установлено