[1791] porticātio, ōnis, f. (porticus), eine Reihe von Galerien, eine Halle, Plur. bei Macer dig. 11, 7, 37. § 1.