PanLinx
English
eng-000
equivalence proposition
普通话
cmn-000
等值命题
English
eng-000
biconditional proposition
PanLex