[pə′trō·səl ‚prä·səs] (anatomy) A sharp process of the sphenoid bone located below the notch for the passage of the abducens nerve, which articulates with the apex of the petrous portion of the temporal bone and forms the medial boundary of the foramen lacerum.