Semantic modeling in a formalized language provides a route towards the benefits of universal data exchange, data integration and interoperability of systems. Its application will also reduce the need for and cost of data conversions. Using a formal language enables expressing information and knowledge, including also possibilities, requirements and definitions in a system independent, unambiguous, human as well as computer interpretable way. The book describes Formal English and other members of the Gellish family of formalized languages. It also describes their formal taxonomic dictionaries and gives guidance on creating how high quality information models that can be read by any computer application that can interpret and operate on expressions in the formal language. The book also describes a Gellish expression format and syntax for storing and exchanging information and thus provides a method for the creation of universal semantic databases and for data communication in a common language.