In the article the formal model of proverb semantics is suggested. The proverb statement is considered as a construction of two semantic oppositions and a so called mythological equation. The opposition lexicon forms a sort of semantic network. This model is to be used as the intellectual module kernel in the information system METAPHORA developed to process proverbs at the semantic aspect.Предпринята попытка построения формальной модели, отражающей суть моральных предписаний, заключенных в текстах русских пословиц. Модель включает четыре компонента: две оппозиции, связывающее их т.н. "мифологическое" тождество и конфигурацию связи. Модель позволяет применять процедуры интеллектуальной обработки текстов: проводить статистический анализ устойчивых (часто воспроизводящихся) связок оппозиции + тождество; осуществлять информационный поиск по семантике текста с возможностью формулирования сложных запросов, например выдать посло¬вицы о "негативных последствиях глупости". На основе модели была реализована информационно-аналитическая система МЕТАФОРА, находящаяся в открытом доступе в сети Интернет по адресу http://www.metaphora2.ru/
