Restored the OpenCyc repository that was corrupted by unit testing.