cyc

industrial attempt to catalogue all human knowledge that is common to children
uses a language like structure representations - some historical tie-ins
controversial, but not widely used in modern NLP, often cited as a failure of symbolic AI