Cycorp is home to Cyc, the world's most mature cross-domain ontology, knowledge base, and automated reasoning infrastructure. Under continuous development since 1984, Cyc comprises hundreds of thousands of concepts, interrelated through millions of formal (computer accessible) assertions, and the only inference engine capable of dealing efficiently with such large-scale knowledge bases. Cyc is the foundation of semantically-aware solutions in medical informatics, intelligence, network security, decision support, finance, natural language understanding and generation, and regulatory compliance. To ensure successful deployment of your applications, Cycorp offers strategic consulting, hands-on training, a suite of semantic web services, and bespoke software and ontology development, as well as commercial and research licenses to the Cyc technology.