OpenCyc.org HomepageFormula Diagnosis Help

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

Diagnosing a Formula

This tool examines a CycL formula for syntactic and semantic well-formedness, allowing the user to test for many common errors made when writing formulas before actually attempting to assert such a formula.

If no errors can be detected, the tool responds with "OK".


Go to Top