CYC    (10G3)

See: http://www.cyc.com/cyc/technology/whatiscyc_dir/whatsincyc & OpenCyc    (10G4)