1. A computer implemented method of constructing formal definitions in intelligent glossaries for interpreting text, said method comprising the steps of: providing at least one Distinction, wherein each Distinction has a Boundary, an Indication, a Counter-indication and a Frame; modeling each said Distinction as a diagram to provide a Distinction Model; verifying each distinction model as being an instantiation of a generic Distinction Pattern to provide a verified Distinction Model; providing at least one Arrangement, wherein each Arrangement is made of nonintersecting Marks of Distinction containing Indications from said verified Distinction Model; writing at least one Formulation for each Indication appearing in said verified Distinction model and Arrangement, providing well-founded Indications; calculating precise Formulations in Natural Language from well-founded Indications by performing at least one of the steps of substituting Variables symbols and replacing Constants symbols to transform imprecise Formulations into precise Formulations; selecting a Definition type, wherein said Definition type is selected from the group consisting of Terminologies, Assertions, and Theorems; embedding at least one said precise Formulation and Definition type as a formal Definition in an Intelligent Glossary to provide computerized Semantic Systems of Intelligent Glossaries.