Here is an example:

http://www.cyc.com/cyc/technology/whatiscyc

A large knowledge-based system with several hundred thousand concepts (classes) and millions of assertions (facts and rules).

Under development since 1984.