Integrating inductively acquired knowle by K. Korsmit