Система Cyc и ее библиотека онтологий

Работа посвящена описанию библиотеки онтологий, предоставляемой программной системой под названием Cyc. Данная статья представляет собой вторую часть работы, посвященной описанию данной системы. В первой части рассказывалось о мотивах создания системы, ее истории (системе уже 25 лет), а также было дано описание языка CycL, на котором описываются факты, добавляемые в онтологии Cyc. Вторая часть посвящена описанию систем логического вывода, использующихся в Cyc, а также описанию структуры онтологий системы Cyc, в основном редко изменяемой части этой структуры – онтологии верхнего уровня системы Cyc.