Yes. The name changes depending on the region. Both my grandmothers were from the South (USA) so we grew up calling them "butter beans". I rarely buy canned beans unless they are kidney beans for my chili (if I don't have time to long cook the beans) but here is a can showing how they are labeled in my area.
View attachment 49914
I usually use canned beans, unless I plan ahead and make a big pot of ham and bean soup, or something similar.
In Texas, it used to be forbidden to use beans in chili, but it is acceptable now, but no kidney beans, only pintos.
CD