"havsreptil" er et 10-bokstavers substantiv som brukes som synonym for "elefantskilpadde". elefantskilpadde betyr: Reptil som lever i havet, ofte stor.