PanLinx
CycL
art-285
DeductiveInferenceProcess
polski
pol-000
dedukcja
PanLex