PanLinx
English
eng-000
formal implication
普通话
cmn-000
形式蕴涵
ગુજરાતી
guj-000
આકાર અપાદાન
русский
rus-000
формальная импликация
PanLex