I have spent a lot of time with OpenCyc in the past, but haven’t touched it in ten years.
I believe tif there is a productive future for symbolic AI that it will involve using LLMs to construct knowledge graphs, symbolic relatikns, etc. from unstructured data.