Cyc is a commonsense knowledge base.