PanLinx
普通话
cmn-000
代入原理
English
eng-000
principle of substitution
PanLex