Cycorp

The Cyc Common Sense product family comprises an immense multi-contextual knowledge base, an efficient inference engine, a set of interface tools, and a number of special-purpose application modules.