Exported Cyc Content

Some portions of Cyc content are exported from the Cyc knowledge base for use by the semantic technology and machine reasoning communities.  These exports include:

OpenCyc OWL Files

A first-order projection of the OpenCyc KB available as a single OWL file.

TPTP Challenge Problem Set

A suite of graduated challenge problems were developed for OpenCyc for the TPTP (Thousands of Problems for Theorem Provers) community.

Exported Data XML Schemas

XSDs for various XML-based Cyc outputs, such as CycML, query result sets, autocomplete results, etc.