approximate reasoning, Fuzzy Subsumption, knowledge representation, many-sorted logic, order-sorted logic, unification.
