Exploring the Formal Semantics of Linguistics to help Doug Lenat complete his Cyc Project by determining minimum Bootstrap knowledge ontology for self-sustained machine learning. Exactly what does a machine need to know to know what it is missing and know how to fill in its own knowledge gaps?