PanLinx
русский
rus-000
экстенсиональная связка
English
eng-000
extensional connective
PanLex
