La base de datos está escrita en un lenguaje formal llamado CycL, lo cual da ciertas facilidades para que una "máquina" pueda entenderlo, a diferencia de lo que ocurriría si se usara un lenguaje natural como el inglés en lugar de uno formal como el lenguaje matemático o CycL en este caso.