OpenCyc

After spending a few hours learning OpenCyc's unintuitive interface I find that it can't verify idiot level assertions like is-a Dog Animal. I got the ugly syntax correct, the xface gave me links to each of the 3 elements. Could the problem be the "low memory situation" error message - completely undocumented -- that I get even though I have 4 GB RAM for Win32? Regardless of my freeing memory, the RAM OpenCyc finds tops out at 1GB. I am seriously unimpressed.