#<html><pre>
# KEHOME/bin/opencyc
# Aug/25/2003

# start local opencyc server
# usage: opencyc server
#
# browse local opencyc kb
# usage: opencyc browser

case "$1" in
server)
	cd /home/opencyc/scripts/win;
	#./run-cyc.bat;;
	 ./run-cyc-world.bat world/rhm;;
browser)
	iexplore="/pf/Internet Explorer/iexplore.exe";
	server="http://localhost:3602/cgi-bin/cyccgi/cg?cb-start";
	"$iexplore" "$server";;
*)
	echo "usage: opencyc server";
	echo "usage: opencyc browser";;
esac

#</pre></html>
