Formal English is an unambiguously defined simplification and standardization of natural English that is interpretable by humans as well as computers. It is called a formal language, because it is formally defined, so that it became unambiguously interpretable by computers, but remains readable and interpretable by humans. The language is intended as a universal language for storage and exchange of data between computers and databases and enables that software systems can interoperate without the need to convert data. The language is system independent and extendable and adjustable to specific business requirements. Expressions in Formal English are computer translatable to every other language for which a formal dictionary is available.
Formal English consists of the following components:
A Formal English grammar.
The specification of the grammar describes how idea's (facts, statements, questions and answers) can be expressed in Formal English.
An Electronic English Taxonomic Dictionary in parts for various application area's (domains).
This covers definitions of basic concepts and kinds of relations, together determining the expression capabilities of Formal English. The expression capabilities of Formal English are identical to the expression capabilities of Formal Dutch ('Formeel Nederlands') and cover also the possibility for automated translation of expressions in English to expressions in Dutch and vice versa. In addition to that there are dedicated partial dictionaries-taxonomies for various application area's (domains). For example: domain dictionaries for various technical and commercial disciplines as well as geography, biology, etc.
A collection of kinds of contextual facts
Contextual facts describe the context of expressions. Such contextual facts are required for the unambiguous interpretation of the expressions. For example, the intention of an expression, its validity context, who and when it was expressed, etc.
A standard format for expression in Formal English (the Gellish Expression format and syntax).
A language independent specification of a universal expression format for storage and exchange of data. In addition to that there is an RDF/XML format defined conform ISO 15926-11.