OpenCyc.org HomepageAssertion Diagnostics Help

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

The Assertion Diagnostics tool provides the user with an internal, low-level diagnosis of the selected assertion.

When the Assertion Diagnostics tool is selected, CYC® runs a set of diagnostics on the selected assertion and returns the results.

The interface for this tool is still in development. A more detailed description of this tool will be available at a later time.


Go to Top