"geoteknisk institutt" er et 20-bokstavers substantiv som brukes som synonym for "petroleumsinstitutt". petroleumsinstitutt betyr: Institutt som studerer jordens geotekniske egenskaper, relevant for oljeutvinning.