В статье описана специфика онтологии SUMO, обоснован выбор между онтологиями DOLCE, Cyc и SUMO для пополнения InTez. Описана специфика онтологии InTez. Обозначена проблема при работе с онлайн-версией SUMO. Описан алгоритм программы для извлечения подклассов заданного класса SUMO из документа, содержащего описание онтологии на языке KIF.