Some Cyc results and output are available as XML files. The following XSDs describe the most commonly used Cyc XML outputs:
XML schema for Cyc concepts.
XML schema for CycL query specifications, including query sentence, microtheory, and inference parameters.
XML schema for CycL terms, including constants, formulas, assertions, etc.
XML schema for formula templates. Used for loading CycL query specifications from a Cyc image.
XML schema for proof-views, a natural-language justification format.
XML schema for text processing results.
Lightweight Result Set
XML schema for minimal result sets used for autocomplete and simple query results.