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.