This property is not functional because the many values could be at a variety of granularies (In this building, in this room, in that chair). (en)
The naming of prov:atLocation parallels prov:atTime, and is not named prov:hadLocation to avoid conflicting with the convention that prov:had* properties are used on prov:Influence classes. (en)