This article introduces a new semantic theory that has the potential tocharacterize most of the important meaning phenomena of natural language and tofulfill most of the necessary requirements for philosophical analysis and forNLP applications. The theory is based on a unified representation ofinformation, and constructs a kind of mathematical model called cognitive modelto interpret natural language expressions in a compositional manner. It acceptsthe empirical assumption of Cognitive Semantics, and overcomes mostshortcomings of Formal Semantics and of Distributional Semantics. The theory,however, is not a simple combination of existing theories, but an extensivegeneralization of classic logic and Formal Semantics. It inherits nearly alladvantages of Formal Semantics, and also provides descriptive contents forobjects and events as fine-gram as possible, descriptive contents whichrepresent the results of human cognition.