Formalized Common Knowledge
Home
Projects
FAQ
Documentation
Releases
Downloads
Discussion
News
License
You can download OpenCyc from SourceForge by going here.