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:
A first-order projection of the OpenCyc KB available as a single OWL file.
A suite of graduated challenge problems were developed for OpenCyc for the TPTP (Thousands of Problems for Theorem Provers) community.
XSDs for various XML-based Cyc outputs, such as CycML, query result sets, autocomplete results, etc.