The KB system being used by DARPA is cyc.com. It's the oldest, largest and as far as I'm aware best of classical AI systems. I believe you can research with it for free, but it may be expensive to deploy commercially.

Why AP History vs. Mathematics? Why not predicate calculus which is regarded as a requisite for developing such systems?