A KB content test (KBCT or KCT) is a unit test of the Cyc inference engine.
Start a Cyc instance.
In the browser, at the top of the page click
In the query sentence box, type a query sentence.
[Save as Test].
In the Test Name field, type a name.
Next (Specify Expected Results).
Specify test expectations using the widgets on the page.
Save New Test
You created the test.
Navigate to the test you created by searching for the name you wrote.
[Run Test] runs the test.
[Ask Query] takes you to the query tool with the parameters set as the saved test specifies them.