Cyc is a knowledge base.