Is Cyc/OpenCyc dead? http://blog.cyc.com/ http://blog.cyc.com/ - last post Nov 2009 http://www.cycfoundation.org/ http://www.cycfoundation.org/ - last post No

Is Cyc/OpenCyc dead? http://blog.cyc.com/ http://blog.cyc.com/ - last post Nov 2009 http://www.cycfoundation.org/ http://www.cycfoundation.org/ - last post Nov 2008 http://cyc.com/cyc/company/press http://cyc.com/cyc/company/press - last post Sept 2009 If Cycorp is dead, what is Doug Lenat up to now?