As far as I can tell it was more of an aspiration than a product. I worked with a consulting firm that tried to get into AI a few years back and chose Cyc as the platform they wanted to sell to (mostly financial) clients. I don't think a single project ever even started nor was there a clear picture of what could be sold. I hate to think Lenat was a fraud because he certainly seemed like a sincere and brilliant person, but I think Cyc was massively oversold despite never doing much of anything useful. The website is full technical language and not a single case study after 40 years in business.