Thank you for the response. I tried with the SuSE version, but I still get the same error while "performing initialization" (please see the trace below).

Command:
/usr/share/opencyc-1.0/server/cyc/run/bin/opencyc-SuSE-9.2-x86_32.bin -f "(open-cyc-load-kb \"/usr/share/opencyc-1.0/server/cyc/run/units/5006/\")"
Trace:
...
Loading lexicon cache
Performing initializations
A SYMBOL at 0xb7dc001c is not a integerp.
[Switching to single-threaded mode ....]
Select a restart:
  0: Skip running init form.
  1: Recursive read loop.
  2: Exit program.
?

The CYC KB units seem to be there:

ls /usr/share/opencyc-1.0/server/cyc/run/units/5006/

arg-type-cache.cfasl          deduction-index.cfasl
assertion.cfasl               indices.cfasl
assertion-index.cfasl         lexicon-cache.cfasl
assertion-indices.cfasl       misc.cfasl
assertion-shell.cfasl         nat-indices.cfasl
auxiliary-indices.cfasl       nat-shell.cfasl
bookkeeping-assertions.cfasl  rule-set.cfasl
bookkeeping-indices.cfasl     rule-utility-experience.cfasl
cardinality-estimates.cfasl   sbhl-cache.cfasl
clause-struc.cfasl            sbhl-modules.cfasl
constant-shell.cfasl          sbhl-time.cfasl
constant-shell.text           special.cfasl
deduction.cfasl               tva-cache.cfasl

Trace for running with SuSE:

/usr/share/opencyc-1.0/server/cyc/run/bin/opencyc-SuSE-9.2-x86_32.bin -f "(open-cyc-load-kb \"/usr/share/opencyc-1.0/server/cyc/run/units/5006/\")"

Cyc 10 (Linux 32-bit)
Copyright (C) 1995 - 2006 Cycorp, Inc.  All rights reserved.
RTL (Green Threads/ASM Contexts) initialized.
CycL Initialized.
Warning: System parameters file (init/parameters.lisp) not loaded.
Warning: No KB is loaded.  System KB initializations will not be run.
Process ID: 23152
System 1.11058.2.20.2.3.
Loading init form "(open-cyc-load-kb \"/usr/share/opencyc-1.0/server/cyc/run/units/5006/\")".

Loading special objects
Loading constant shells
Freeing clause-strucs
 [ DONE (0:00) ]
Freeing deductions
 [ DONE (0:00) ]
Freeing assertions
 [ DONE (0:00) ]
Freeing NARTs
 [ DONE (0:00) ]
Freeing constants
 [ DONE (0:00) ]
Loading constant shells
 [ 30% 40% 50% 60% 70% 80% 90% 100% DONE (0:07) ]
Determining maximum constant SUID
 [ DONE (0:00) ]

Loading NART shells
Loading NART shells
 [ DONE (0:00) ]
Determining maximum NART ID
 [ DONE (0:01) ]

Loading assertion shells
Loading assertion shells
 [ 30% 40% 50% 60% 70% 80% 90% 100% DONE (0:07) ]
Determining maximum assertion ID
 [ DONE (0:01) ]

Loading clause-struc definitions
Loading clause-struc definitions
 [ DONE (0:00) ]
Determining maximum clause-struc ID
 [ DONE (0:00) ]

Loading deduction definitions
Deduction definitions will be swapped in lazily from /usr/share/opencyc-1.0/server/cyc/run/units/5006/deduction.cfasl and /usr/share/opencyc-1.0/server/cyc/run/units/5006/deduction-index.cfasl
Initializing deduction handles only
 [ DONE (0:01) ]
Warning: HL Store directory could not be set to absolute directory /usr/share/opencyc-1.0/server/cyc/run/units/5006/
Warning: Guessing HL Store location of units/0NIL/
Warning: Could not initialize HL store caches from /usr/share/opencyc-1.0/server/cyc/run/units/5006/.
Determining maximum deduction ID
 [ DONE (0:00) ]

Loading assertion definitions
Assertion definitions will be swapped in lazily from /usr/share/opencyc-1.0/server/cyc/run/units/5006/assertion.cfasl and /usr/share/opencyc-1.0/server/cyc/run/units/5006/assertion-index.cfasl
Warning: HL Store directory could not be set to absolute directory /usr/share/opencyc-1.0/server/cyc/run/units/5006/
Warning: Could not initialize HL store caches from /usr/share/opencyc-1.0/server/cyc/run/units/5006/.

Loading bookkeeping assertions
Loading experience
Loading constant indices
Loading constant indices
 [ 10% 20% 30% 40% 50% 60% 70% 80% 90% 100% DONE (0:19) ]

Loading NART indices
Loading NART indices
 [ DONE (0:03) ]

Loading Assertion indices
Loading Assertion indices
 [ DONE (0:00) ]

Loading rule set
Loading miscellaneous stuff
Loading sbhl graphs
Loading sbhl time state
Loading sbhl cache
Loading cardinality estimates
Loading arg-type cache
Loading TVA cache
Loading lexicon cache

Performing initializations
A SYMBOL at 0xb7dc001c is not a integerp.
[Switching to single-threaded mode ....]

Select a restart:
  0: Skip running init form.
  1: Recursive read loop.
  2: Exit program.
?


On Wed, Jul 30, 2008 at 7:29 PM, <dmiles@users.sourceforge.net> wrote:
The units from The opencyc version with 5006 might be missing from the gz,
 
Due to:
 
Warning: HL Store directory could not be set to absolute directory /usr/share/opencyc-1.0/server/cyc/run/units/5006/
Warning: Guessing HL Store location of units/0NIL/
Warning: Could not initialize HL store caches from /usr/share/opencyc-1.0/server/cyc/run/units/5006/.
 
If this is the case, then go one opencyc version forward or backwards.
 
 
But most likely you should try the SuSE bin, its seems to be the best for every system, even including the systems that had corrisponding binaries.
 
 
----- Original Message -----
From: Paul Fodor
Sent: Wednesday, July 30, 2008 3:13 PM
Subject: [OpenCyc-devel] OpenCyc on Ubuntu 7.10

To: opencyc-devel@lists.sourceforge.net

Dear Sir,
I am trying to use OpenCyc on Ubuntu 7.10. I understood that there is no compilation for Ubuntu, so I am trying to use the one for RedHat 7.1, but I get an error at initialization (please see below). We can skip this error, but I guess no initialization is done, so we cannot use the knowledge base. Can we still use the inference engine?
I wonder if the sources for OpenCyc are available, so we can compile it under Ubuntu.
Thank you,
Paul Fodor.

Command:
/usr/share/opencyc-1.0/server/cyc/run/bin/opencyc-RH-7.1-x86_32.bin -f "(open-cyc-load-kb \"/usr/share/opencyc-1.0/server/cyc/run/units/5006/\")"

Cyc 10 (Linux 32-bit)
Copyright (C) 1995 - 2006 Cycorp, Inc. All rights reserved.
RTL (Green Threads/ASM Contexts) initialized.
CycL Initialized.
Warning: System parameters file (init/parameters.lisp) not loaded.
Warning: No KB is loaded. System KB initializations will not be run.
Process ID: 21049
System 1.11058.2.20.2.3.
Loading init form "(open-cyc-load-kb \"/usr/share/opencyc-1.0/server/cyc/run/units/5006/\")".

Loading special objects
Loading constant shells
Freeing clause-strucs
[ DONE (0:00) ]
Freeing deductions
[ DONE (0:00) ]
Freeing assertions
[ DONE (0:01) ]
Freeing NARTs
[ DONE (0:00) ]
Freeing constants
[ DONE (0:00) ]
Loading constant shells
[ 10% 30% 40% 50% 60% 70% 80% 90% 100% DONE (0:07) ]
Determining maximum constant SUID
[ DONE (0:00) ]

Loading NART shells
Loading NART shells
[ DONE (0:01) ]
Determining maximum NART ID
[ DONE (0:00) ]

Loading assertion shells
Loading assertion shells
[ 10% 20% 30% 40% 50% 60% 70% 80% 90% 100% DONE (0:07) ]
Determining maximum assertion ID
[ 10% DONE (0:02) ]

Loading clause-struc definitions
Loading clause-struc definitions
[ DONE (0:00) ]
Determining maximum clause-struc ID
[ DONE (0:00) ]

Loading deduction definitions
Deduction definitions will be swapped in lazily from /usr/share/opencyc-1.0/server/cyc/run/units/5006/deduction.cfasl and /usr/share/opencyc-1.0/server/cyc/run/units/5006/deduction-index.cfasl
Initializing deduction handles only
[ DONE (0:01) ]
Warning: HL Store directory could not be set to absolute directory /usr/share/opencyc-1.0/server/cyc/run/units/5006/
Warning: Guessing HL Store location of units/0NIL/
Warning: Could not initialize HL store caches from /usr/share/opencyc-1.0/server/cyc/run/units/5006/.
Determining maximum deduction ID
[ DONE (0:00) ]

Loading assertion definitions
Assertion definitions will be swapped in lazily from /usr/share/opencyc-1.0/server/cyc/run/units/5006/assertion.cfasl and /usr/share/opencyc-1.0/server/cyc/run/units/5006/assertion-index.cfasl
Warning: HL Store directory could not be set to absolute directory /usr/share/opencyc-1.0/server/cyc/run/units/5006/
Warning: Could not initialize HL store caches from /usr/share/opencyc-1.0/server/cyc/run/units/5006/.

Loading bookkeeping assertions
Loading experience
Loading constant indices
Loading constant indices
[ 10% 20% 30% 40% 50% 60% 70% 80% 90% 100% DONE (0:20) ]

Loading NART indices
Loading NART indices
[ DONE (0:03) ]

Loading Assertion indices
Loading Assertion indices
[ DONE (0:00) ]

Loading rule set
Loading miscellaneous stuff
Loading sbhl graphs
Loading sbhl time state
Loading sbhl cache
Loading cardinality estimates
Loading arg-type cache
Loading TVA cache
Loading lexicon cache
Performing initializations
A SYMBOL at 0xb7e3001c is not a integerp.

[Switching to single-threaded mode ....]

Select a restart:
0: Skip running init form.
1: Recursive read loop.
2: Exit program.
? 0
[Resuming multi-threaded mode ....]
Done.
CYC(1): console waiting




-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/


_______________________________________________
OpenCyc-devel mailing list
OpenCyc-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/opencyc-devel

-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
OpenCyc-devel mailing list
OpenCyc-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/opencyc-devel