Вопросы
@text_question ?
Submitted by admin on сб, 2007-04-21 20:00.вопросительное предложение
ex("question",[])
текст вопросительного выражения
ex("text_question",[])
Шаблон создает вопросительное предложение по тексту вопроса.
question_end
Чему равно @выражение?
Submitted by admin on сб, 2007-04-21 20:00.вопрос
ex("question",[])
терм (произвольное правильно построенное выражение)
ex("term",[])
Используется для получения справки
question_end
Элементы области @Области?
Submitted by admin on сб, 2007-04-21 20:00.вопрос
ex("question",[])
выражение, задающее область (класс)
ex("ob",[])
Выдает все известные элементы области.
elements_of
Подобласти области @Область?
Submitted by admin on сб, 2007-04-21 20:00.вопрос
ex("question",[])
выражение, задающее класс (область)
ex("ob",[])
Показывает все подобласти данной области.
subobjects
Максимальные подобласти @Области?
Submitted by admin on сб, 2007-04-21 20:00.вопрос
ex("question",[])
выражение, задающее класс (область)
ex("ob",[])
Показывает максимальные подобласти данной области.
max_subobjects
Какие противоречия?
Submitted by admin on сб, 2007-04-21 20:00.вопрос
ex("question",[])
Нет аргументов
Выдаются все известные в аппроксимации противоречия.
all_inconsists
Какие дескрипторы?
Submitted by admin on сб, 2007-04-21 20:00.вопрос
ex("question",[])
Нет аргументов
Выдаются все дескрипторы аппроксимации текущего понятия.
descs
