Например, если у нас есть предложение "все птицы умеют летать", "страусы - птицы", то мы можем вывести новое знание "страусы умеют летать".
Например, если у нас есть предложение "все птицы умеют летать", "страусы - птицы", то мы можем вывести новое знание "страусы умеют летать".