Cycorp is the home of Cyc, a knowledge modeling and machine reasoning environment capable of addressing the most challenging... problems in industry, government, and academia. The result of three decades of R&D and commercial and government applications, Cyc provides an unparalleled knowledge modeling language, a vast and broad-reaching library of formally represented knowledge, and a...