PanLinx
English
eng-000
prenex-conjunctive normal form
普通话
cmn-000
前束合取范式
PanLex