PanLinx
English
eng-000
many-sorted logic
português
por-000
lógica multi-espécie
PanLex