Looking for the latest version? Download opencyc-4.0-windows.zip (193.0 MB)
Home / TPTP Challenge Problem Set
Name Modified Size Downloads / Week Status
Parent folder
Totals: 1 Item  
Cyc TPTP v1.0 2007-09-06 1 weekly downloads