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