Term Subsumption Languages in Knowledge Representation