OpenCyc.org HomepageRename Constant Help

E-Mail Comments to: opencyc-doc@cyc.com
Copyright© 1997-2002 Cycorp. All rights reserved.

Important: before renaming any CYC® constant, be sure to read the document Renaming and Killing Constants, and follow the procedures outlined there.

Renaming a Constant

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.


Go to Top