PanLinx
русский
rus-000
исчисление отношений
English
eng-000
calculus of relations
PanLex