PanLinx
普通话
cmn-000
用归纳法定义
English
eng-000
definition by induction
PanLex