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

See: http://research.cyc.com/    (HPY)