Computational verb systems are new platforms for artificial intelligence. They embed the dynamical knowledge expressed by dynamical experiences of human brains into machines by:using pattern thinking. In this paper, the relationship defined by verbs in human natural languages is modeled by computational verb logic (verb logic for short). To unify different verbs with different contexts into comparable standard forms, the concepts of BE transformation and canonical BE transformation are given. The atomic and molecular verb sentences under canonical BE transformations are also defined for verb logic. The basic verb logic operations are given. Some examples are given to-demonstrate the concepts of BE transformation and verb logic. (C) 1999 John Wiley:& Sons, Inc.