PanLinx
普通话
cmn-000
标准的逻辑加法形式
English
eng-000
normal disjunctive form
PanLex
