any of the seeds of the cola tree, which contain caffeine and theobromine and are used medicinally and in the manufacture of soft drinks