Kategóriák importálása
Alaphelyzetben a rendszer minden fogalmat importál. Ha kívánjuk, meghatározhatjuk, mely kategóriák importálása történjen meg (az új fogalmak ezekhez adódnak hozzá).