www.OpenCyc.org & www.Cyc.com

Just wondering if you can still access these web sites?
I can't reach either of them via my ISP's DNS.

I did follow Google's cache to sourceforge.net & got on the OpenCyc mailing lists.
But opencyc.sourceforge.net points back to www.opencyc.org which fails.

P.S. I'm already a member of sourceforge.net, so it's easy for me to download the latest source, but I have to get access to www.OpenCyc.org first.
============ 
Dick McCullough 
knowledge := man do identify od existent done
knowledge haspart list of proposition