PanLinx
English
eng-000
inclusion gate
普通话
cmn-000
蕴含门
русский
rus-000
схема функции импликации
PanLex