PanLinx
普通话
cmn-000
真值命题
English
eng-000
truth value of proposition
PanLex