PanLinx
čeština
ces-000
ortokomplementární
English
eng-000
orthocomplemented
PanLex