>>Wooden+(OP)
Cyc had potential and its still being used by some people, but its mainly dead now. I have been dreaming of a cyc 2.0 for a while, I did a tiny mvp here a while ago: https://concepts.jtoy.net/

I recently wrote a review on Cyc as well : https://blog.jtoy.net/understanding-cyc-the-ai-database/