"dykkepatrulje" er et 13-bokstavers substantiv som brukes som synonym for "froskemann". froskemann betyr: En patrulje av dykkere utførende oppdrag under vann.