PanLinx
普通话
cmn-000
隐含门
English
eng-000
conditional implication gate
English
eng-000
implication gate
English
eng-000
implicator
PanLex