ResearchCyc is a version of the Cyc technology designed specifically for use by researchers.
See: http://research.cyc.com/