在知识形式化过程中，要先对概念形式化。