Entonces ¿qué es un cocodrilo? Desde un punto de vista estricto, un cocodrilo es un miembro de la familia Crocodylidae. Esta familia está integrada por los géneros vivos Crocodylus, Osteolamus y Tomistoma.
Ahora, desde un punto de vista más amplio, un cocodrilo, es un miembro del orden Crocodylia (también escrito a veces como Crocodilia). Usando esta definición, se integran los aligátores y los gaviales como cocodrilos. Sin embargo, el término que debemos usar es crocodiliano (y no me equivoqué, se dice "croco" y no "coco" debido a que la raíz latina es Crocodylus y de hecho, los hispanoparlantes somos los únicos que decimos "coco").
Ahora, si queremos usar como punto de partida la taxonomía (ciencia que ordena los nombres científicos de las criaturas vivientes), entonces un cocodrilo es cualquier miembro del grupo conocido como Eusuchia, término que por su etimología significa "cocodrilo verdadero". Pero ¿me baso en pura etimología? No. Existen además características importantes que distinguen a un cocodrilo verdadero. Están por ejemplo, la presencia de paladar óseo secundario (que permite a los animales de este grupo respirar mientras tienen la boca abierta bajo el agua) y la presencia de escudos óseos (osteodermos) en un arreglo tetraserial (en cuatro series). Ahora, estas características se tienen que presentar juntas.
Entonces ¿qué pasa con todos esos pobres bichos que son llamados cocodrilos en las noticias? Simple, no son cocodrilos, sino crocodilomorfos. Esta palabra significa "con forma de cocodrilo" y precisamente indica que todas estas criaturas se asemejan a un cocodrilo, pero no lo son. Es cierto que son parientes, pero no son lo mismo. Incluirlos como cocodrilos sin más, es semejante a incluir como ave a cualquier criatura bípeda con plumas o a cualquier criatura bípeda con sacos de aire. Simplemente ninguno de esos criterios es válido y debemos depender de la nomenclatura de los grupos para decidir qué es un ave y qué no lo es, de la misma forma que lo hacemos con los cocodrilos.
Así que ya lo sabe estimado lector. Esos grupos de peculiares animalitos con forma de cocodrilo, no son cocodrilos, sino crocodilomorfos con nombres propios (que le proporciono en los nodos de cada ramificación).