## Formula 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