Another way to say "Cyc is a commonsense knowledge base." is "One commonsense knowledge base is Cyc."