Speaking of Lenat, apparently the latest version of HotBot uses Cyc, see http://beta.hotbot.com.
BM
This archive was generated by hypermail 2b29 : Thu Jul 27 2000 - 14:02:07 MDT