The CYC project attempted to encode all human knowledge into a massive logical knowledge base, with the goal of eventually making it so sophisticated it could write its own rules; it was widely ridiculed as a cautionary tale of AI overambition and is now used as a punchline (a 'microlennart' is a unit of measuring how bogus something is).