PanLinx
English
eng-000
propositional variable
普通话
cmn-000
命题变元
普通话
cmn-000
命题变量
русский
rus-000
пропорциональная переменная
PanLex