You are probably referring to OpenCyc. It provides much more value than your comment suggests.
I'd recommend that more people take a look and compare its approach against others. https://en.wikipedia.org/wiki/CycL is compact and worth a read, especially the concept of "microtheories".