PanLinx
polski
pol-000
wnioskowanie indukcyjne
CycL
art-285
InductiveInferenceProcess
PanLex