This bot:hasZone relation could be used between a stairwell space and the storeys it intersects with? But it could be problematic e.g. if you have a space adjacent to another space belonging to another building. If you then would query for all bot:hasZone of the first building, the adjacent space of another building will be included.
Maybe it's better to have another property on the same level as bot:adjacentZone and bot:containsZone but for intersecting zones, e.g. bot:intersectingZone. I would like a similar property for elements, e.g. bot:intersectingElement for elements that intersect multiple zones. This because the 'contains' and 'adjacent' relations expect an element/zone to be completely contained or adjacent in another zone