Generalizing Term Subsumption Languages to Fuzzy Logic