No, anonymous was right: "For example, a hospital building that is abandoned or repurposed to be a marketplace is still a building=hospital, and to mark active hospitals amenity=hospital is used." https://wiki.openstreetmap.org/wiki/Key:building