Circumscription is an important theory for formalizing the commonsense reasoning. This paper mainly studies the possibility of transforming some special kinds of circumscription into the object-oriented logic language ──SCKE. A compiler has been implemented to complete the transformation. Running the result program in terms of the semantics of the object -oriented logic program, the same results as the original circumscriptive theory can be reached. So the nonmonotonic inheritance in the object-oriented logic language can be achieved to support the commonsense reasoning.