OpenCyc is the open source version of the Cyc(r) technology, the world's largest and most complete general knowledge base and commonsense reasoning engine. OpenCyc can be used as the basis for a wide variety of intelligent applications.
Download
TPTP Challenge Problem Set - Cyc TPTP v1.1
Last Update: Mar 24 2008
©Copyright 1999-2008 - SourceForge, Inc., All Rights Reserved