PanLinx
English
eng-000
ring axioms
普通话
cmn-000
环公理
PanLex