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

Ag database can not be stored geometric symbols, so in the build process ontology through the process of geometric symbols replaced by the corresponding text stored in the ag database automatically prove that the solution process again will replace the corresponding text for geometric symbols.

The database does not store AG geometric symbols, so the build process by the program when you body will be replaced with the corresponding geometric symbols text stored in the database, AG automatically prove that the process will be replaced with the text corresponding to 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 mar

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

正在翻译，请等待...