PanLinx
English
eng-000
disjunctive sum
русский
rus-000
дизъюнктная сумма
PanLex