Non-terminal symbol LhsTerm

Defining rules for nonterminal symbol LhsTerm:

LhsTerm Term

Occurrences of symbol LhsTerm in body of other rules:

SimilarityDegree LhsTerm  EQS  RhsTerm  Unification LhsTerm  INF  RhsTerm  Generalization LhsTerm  SUP  RhsTerm