Semantic Modeling in Formal English describes how information can be modeled in a system independent way, by using standardized formalized English. This way of modeling enables universal data exchange and interoperability of systems by expressing information, knowledge and requirements in a human as well as computer interpretable way. That is done by creating semantic information models that include meaning as well as context. The resulting expressions are unambiguous and system independent. The book also describes the Gellish expression format for storage and exchange of information. Formal English is a standardized structured subset of natural English. Semantic Modeling describes how Formal English is defined and how information models can be composed and how they can be interpreted. It also provides a basis for the creation of universal semantic databases. This enables reduction of costs for data conversion and misinterpretation and speeds up data communication and data integration processes.