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

Ag database can not be stored geometric symbols, so in the build process ontology through the process of geometric symbols replaced with the corresponding text is stored in the ag database. Again automatically prove that the process of solving the corresponding text is replaced by geometric symbols.

The database does not store AG geometric symbols, so during the build process when body through geometric symbols that will be replaced with the corresponding text in the database stored in AG. In the auto show that the process will be replaced with the text for the geometric symbols.

Because the AG database is unable to save the geometry mark, therefore in construction process main body time saves through the procedure the geometry mark replace for the corresponding text in the AG database.In automatic proof solution process once more corresponding text replace for geometry mark

Because the AG database cannot store geometric symbols, so the build process ontology while geometric symbols are replaced with the appropriate text through a program stored in the AG in the database. Again in the automatically justify the solution process replaces the text of the corresponding geom

正在翻译，请等待...