I think that's a valid point. Cyc consisted of a set of frames/predicates with real world relations and concepts. And then the logic part on top would try to fi

I think that's a valid point. Cyc consisted of a set of frames/predicates with real world relations and concepts. And then the logic part on top would try to find inconsistencies, generate new predicates, and of course some kind of unification to answer questions over predicates. They worked on it in isolation for decades, building new frames laboriously by hand, and made a few corporate sales I guess, but withdrew OpenCyc and that's about the last we heard from them. Major bummer. I feel like an open source business model would have allowed the public to use and extend the frames, propelling Cyc to mainstream, while Cycorp would consult and advocate and curate.