Lo primero por hacer sería descargar el archivo tgz de OpenCyc, en La página de descargas de Opencyc se encuentran varias direcciones, recomiendo usar la de SourceForge.