PanLinx
English
eng-000
relation of implication
русский
rus-000
отношение импликации
PanLex