KL-ONE Subsystem