PanLinx
interlingua
ina-000
axiomatisation
polski
pol-000
aksjomatyzacja
PanLex
