A KB content test (KBCT or KCT) is a unit test of the Cyc inference engine.
Creating KCTs
Start a Cyc instance.
In the browser, at the top of the page click [Query].
In the query sentence box, type a query sentence.
Click [Ask Query].
Click [Save as Test].
In the Test Name field, type a name.
Click Next (Specify Expected Results).
Specify test expectations using the widgets on the page.
Click 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.