PanLinx
русский
rus-000
частично упорядоченная категория
English
eng-000
partially ordered category
PanLex