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