Classification in the KL-ONE representation system