PanLinx
English
eng-000
partial disjunction
русский
rus-000
частичная дизъюнкция
PanLex