Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo
This is probably a dumb question, but: What do I download in order to run OpenCyc?
I've found two files here on SourceForge: both are tptp files, containing nothing but .ax and .p files.
Where do I download the files needed to run something?