XSDs

Some Cyc results and output are available as XML files. The following XSDs describe the most commonly used Cyc XML outputs:

Cyc Concepts XML schema for Cyc concepts. Download
Cyc ML XML schema for CycL terms, including constants, formulas, assertions, etc. Download
CycL Query XML schema for CycL query specifications, including query sentence, microtheory, and inference parameters. Download
Formula Template XML schema for formula templates. Used for loading CycL query specifications from a Cyc image. Download
Lightweight Result Set XML schema for minimal result sets used for autocomplete and simple query results. Download
Proof View XML schema for proof-views, a natural-language justification format. Download
Text Processing XML schema for text processing results. Download