A Pattern-based Approach to Conceptual Clustering in FOL