Los verdaderos archivos .lisp no están en la carpeta "src", sino por fuera, en el resto de directorios de OpenCyc.