求翻译：由于本体不能存储几何符号，所以在构建实例模型时通过程序将几何符号替换为相应文本存储于本体中，在自动证明求解过程中再次将相应的文本替换为几何符号。是什么意思？

The body can not store geometric symbols, so when the instance of the model is built through the program, geometric symbols to replace the corresponding text stored in the ontology, automatically prove again the process of solving the appropriate text is replaced by geometric symbols.

The body cannot store geometric symbols, so the instance model is built using geometric symbols with the corresponding text stored in the body, the process automatically prove that once again in the text will be replaced by the geometric symbols.

Because the main body cannot save the geometry mark, therefore in construction example model time saves through the procedure the geometry mark replace for the corresponding text in the main body, in automatic proof solution process once more corresponding text replace for geometry mark.

Because the body cannot store geometric symbols, so when the instance model is built through programs in geometric symbols are replaced with the appropriate text on body, again in the automatically justify the solution process replaces the text of the corresponding geometric symbols.

正在翻译，请等待...