This book applies the approach of formal linguistics in the West to the discussion of the semantic issues concerning Chinese sentences. Based on the approach of formal linguistics, the book employs logical formulas to describe semantics. Apart from the classical ideas of formal linguistics, the book also refers to some new approaches to formal studies, such as the theory of Cooper storage, the non-compositional theory and the event semantics within the frame of HPSG. It adopts the theories of modern formal linguistics to give semantic explanations on some Chinese sentence patterns and demonstrates the realization process of individual cases in Prolog environment. The book is theoretically innovative in that it makes specific analyses and researches on Chinese sentence patterns on the basis of formal linguistic theories and meanwhile puts forward the principle of resetting semantic classes and the principle of logical predicate which should be followed in the process of semantic analysis in consideration of the characteristics of Chinese. The book is also of practical significance in that it further attempts to lift the formal description of sentence patterns to the realization of machine language. The interdisciplinary topics dealed with in this book have never appeared before in other books published in China.