Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

What do I download?

Help
Ben Kovitz
2009-06-18
2013-05-28
  • Ben Kovitz
    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