ФОРМУЛЬНАЯ ЗАПИСЬ существительное
Формульная запись формула (формальная запись)
Синсет
синсеты компонентов
Interlingual Index
[Определение Wordnet: a group of symbols that make a mathematical statement]
гипероним
частеречная синонимия
[Понятие РуТез: формула (формальная запись)]
ассоциация
[Понятие РуТез: формализация]