Non-terminal symbol RhsTerm

Defining rules for nonterminal symbol RhsTerm:

RhsTerm Term

Occurrences of symbol RhsTerm in body of other rules:

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