PanLinx
English
eng-000
algebra of proposition
普通话
cmn-000
命题代数
PanLex