In artificial inte11igent，analogical reasoning is an important field of study，and similarity criterion is a significant concept of analogical reasoning. The paper gives a descriptive framework of analogical reasoning, and a definition of similarity criterion. Based on term rewriting technique，the paper proposes a verification method of the simi1arity criterion.