OpenCyc.org HomepageAssert Formula Help

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

This page offers help for three different tools that are essentially the same to use:

Assert, Assert Similar, Edit

All three tools have the exact same interface, and all result in a formula being asserted to the KB. However, there are a few key differences in how they operate:

Adding and Editing

To add a new assertion, simply enter the relevant information into each of the input fields provided, then press the [Perform Edit] button. Leaving the Direction field unchecked will cause the default values for that type of assertion to be used (GAFs: forward, rules: backward).

To edit an assertion, simply change the information provided, either by editing the text or by clicking the appropriate button. To assert the formula, press the [Perform Edit] button.

To delete an assertion, go to the Assertion Display Frame for the selected assertion and click on "Unassert" (local assertions) or "Blast" (deduced assertions). See the help page for the Assertion Display Frame for details on deleting or blasting assertions.

To restore input fields to their values before editing, press the [Reset] button.

To abort the edit completely and return to the previous page, press the [Abort Edit] button.

The Input Fields

The interface for the three tools contains a number of input fields:

For more information on CycL syntax, assertions, microtheories, strengths, and directions, see The Syntax of CycL.


Go to Top