Noun
petrosectomy (plural petrosectomies) (surgery) The removal of air cells from a bone, typically from the temporal bone before a cochlear implant.