刘老师希望在介绍新单词的时候，也介绍其同义词，以下哪种软件具有同义词查找功能（）