Abstract: This paper briefly introduces some meta-knowledge which arc volved in grammatical and semantic checking modules of knowledge acquisition sub-system of tool system MESl. We clarify some basic methods checking consistency and completeness of knowledge base by describing some meta-knowledge relevant to the term GENERAL of"method" and the task-rule set. Lastly,the paper shows a LISP function to turn any logical expression into a standard form.