La búsqueda de Lenat en el proyecto de Cyc, constituyo la base de una inteligencia artificial general que manualmente se representa con el conocimiento del lenguaje formal, CycL, basado en extensiones de cálculo de la lógica de primer orden (LPO).