OpenCyc

Formalized Common Knowledge
Home
Below are the same instructions as in the README file in the distribution:
Installation instructions for OpenCyc release 0.9.0

OpenCyc requires a version of linux x86 that is compatible with Suse 9.1 or
Windows NT/2000/XP, about 400MB of disk space and performs best with over 
500 MB RAM.  The java api requires Java 2 and the download of freely available
third-party jar files.


For our extensive documentation: http://www.opencyc.org

1. Create a directory to contain opencyc (call it something like 'opencyc-0.9'), copy 
the archive into that directory, then untar or unzip the compressed archive.

For Linux:
tar -xvfz opencyc-0.9.0-Suse91.tgz

For Windows:
unzip the zipped folder

2. move to the cyc/run directory and launch the Cyc server.

For Linux:
./run-cyc.sh

For Windows:
double-click the file run-cyc.bat

When the world file is loaded into memory you will see 

CYC(1):

which is the SubL command prompt. Don't close the window containing this prompt.

3. (optional) 
You can enter SubL expressions such as (+ 1 2) or (genls #$Person)
or (all-genls #$Person) at the command line to verify Cyc's operation.
 
4. At this point the cyc http server is running and you can access
Cyc directly via the local web browser.

http://localhost:3602/cgi-bin/cyccgi/cg?cb-start

To access from a remote machine, change 'localhost' to the IP name of the
machine running Cyc, e.g.

http://hamlet.mydomain.com:3602/cgi-bin/cyccgi/cg?cb-start

You can browse Cyc via the Guest account or perform updates by
logging on as CycAdministrator.

5. You can cleanly shut down the OpenCyc server by entering (exit) at
the command line.

6.  You can save the state of the OpenCyc world by entering the expression

(write-image "")

before shutting down using (exit).  Edit run-cyc.sh, replacing world/latest.load 
with the path to your saved world. Or just type the single command in run-cyc.sh 
at a shell prompt, substituting the name you used to save your world. 
YOU CANNOT SAVE TO THE SAME WORLD NAME AS THE ONE CURRENTLY BEING USED.