Lenat's Cyc? I'm quite familiar. I hadn't looked at it in about 25 years until I just happened to come across the ATT-CYC docs a few days ago (I seem to be miss

Lenat's Cyc? I'm quite familiar. I hadn't looked at it in about 25 years until I just happened to come across the ATT-CYC docs a few days ago (I seem to be missing Part 2) and a printout of a PPT that he gave group of us at Microsoft in 1994/5 or so.