ResearchCyc

 ResearchCyc  is a version of the Cyc technology designed specifically for use by researchers.

See: http://research.cyc.com/