Important: before renaming any CYC® constant, be sure to read the document Renaming and Killing Constants, and follow the procedures outlined there.
To rename a constant in the KB, enter the new constant name into the input window, then press the [Rename] button.
This renames the constant in the KB, but leaves intact all assertions involving the constant. In this way, using the Rename Constant facility is far preferable to killing a constant and then re-creating it under a new name, which will cause all assertions involving it to be deleted and lost.
To take advantage of constant completion, enter the first part of a microtheory name, then press the [Complete] button.
To clear the input field and start over, press the [Clear] button.
To restore the constant name in the input field to its value before editing, press the [Current Name] button.
To abort the rename completely and return to the previous page, press the [Cancel Rename] button.
For information on naming strategies for CYC® constants, see The Syntax of CycL.