Abstract: Object semantics constraints, including object structure and operation behavior constraints, can be specified by the many-sorted first order logic. These logic formulae must be consistent, and the object states must satisfy its constraints when it evolves. This paper introduces an object semantics constraints checker.