Improved FOL_KB