下列工具书属于综合性词典的是（　）。