La base de datos contiene aproximadamente 100.000 conceptos y 1.000.000 de declaraciones que abarcan aserciones definidas por humanos, reglas o ideas del sentido común.
Estas están escritas en lenguaje CycL que está basado en cálculo de predicados y tiene una sintaxis similar a Lisp.
Sin embargo, el objetivo del trabajo en Cycorp es dar al sistema Cyc la capacidad de comunicarse con los usuarios finales en lenguaje natural para que el sistema pueda continuar por sí solo con el proceso de construcción del conocimiento.
El ingreso de datos en Cyc se lleva a cabo mediante un proceso que Lenat llama enseñanza por cirugía cerebral,[1] el cual es llevado a cabo en el lenguaje CycL.
Hay constantes para: Véase: CycL, inteligencia artificial, lógica, WordNet, Web semántica