KL-ONE Evolution of