Cyc is a computer program.