It is important to check errors and keep consistency in the process of object-oriented analysis. However, the current object-oriented development methodologies fail to present the standardized methods to detect errors and verify consistency. This paper presents a method of checking errors and consistency in object-oriented analysis models using knowledge base. It consists of three steps; modeling, formalizing and verifying. In the modeling step, the object model, the dynamic model and the functional model are produced as in Rumbaugh's OMT(Object Modeling Technique). In the formalizing step, these three models are transformed into Atomic Formulae and are stored into an Application Knowledge Base. In the verifying step, the rules for detecting errors and checking consistency are applied. The result of the analysis process for ATM(Automated Teller Machine) models was used to validate this method. The method is expected to get more reliable analysis models.