While the KB is what Cyc knows, this knowledge will only be useful if Cyc can efficiently reason over that massive store of knowledge. Cyc is unique because it harnesses 1100+ inference engines to logically combine pieces of knowledge from its KB and relevant internal and external data sources. This allows Cyc to quickly produce arguments that are hundreds or even thousands of steps long in real t
