I finally got the Cyc license today. This guy, Doug Lenat, has been working on programming common sense reasoning since 1984 and he finally went commercial last year. This guy is the leader in common sense reasoning. The program is written in LISP so I'll have to learn that language. I am chiefly interested to see how he hands the troublesome metaphysical concepts such as truth, meaning, necessity, contingency, reference, consequence, concept, property and abstract. I'm hoping he doesn't have a clue about them because those concepts are my speciality.