Ben Kovitz - 2009-06-18

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?

Ben