OpenCyc.org HomepageAgenda Process Control Help

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

This facility allows the user to enter new knowledge into the CYC® KB using the KE Text format. For users unfamiliar with this special knowledge entry format, see the KE Text Documentation.

Composing KE Text

To enter new knowledge, simply type KE Text expressions into the input window, then press the [Eval] button. Remember to include a period after each expression, and place semi-colons in front of any comments (text not to be processed). Also remember that KE Text syntax does not use the "#$" in front of constant names.

To take advantage of constant completion, type the first part of a CYC® constant in the input window, then press the [Complete] button. Remember that a list of completions will appear in a separate HTML browser window if the completion is not unique.

To clear the input field, press the [Clear] button.

Options for Compose

Compose KE Text contains two options. To set an option, simply click on the checkbox to the left of the option. When the [Eval] button is pressed, the selected option(s) will be used during the evaluation of the KE Text.

Processing KE Text

After the [Eval] button is pressed, the KE Text will be processed as follows:

  1. CYC® will check for any syntax errors, ask the user to fix those errors and retry.
  2. Any constants unknown to CYC® will be collected, and the user will be asked if they want to make constants out of these strings. Click on "Make Constants" to confirm, or go back to make sure constant names have been entered correctly.
  3. Wait a few moments for the constants to be created before proceeding. If you proceed before CYC® has had a chance to create all of the new constants, the CYC® Agenda may get an error when processing certain operations.
  4. All expressions will be listed for review by the user. Confirm to proceed.
  5. The CYC® Agenda will then process all operations in order. Errors will be handled depending on the Error Handling Mode selected. To set the Error Handling Mode, click on the "Mode" link in the Agenda Status Bar.


Go to Top