De forma geral a superclasse não deveria conhecer nada das subclasses. E de fato nesse código não ocorre. O `foreach` está varrendo um *array* com objetos que possuem abstratamente um monte de `Animal`. Cada um deles tem uma característica própria concretamente, cada um é um animal específico. Por isso na hora de imprimir ele assume o comportamento do objeto específico. Ele não chamará o comportamento específico do `Animal`, e sim do `Gato`, da `Vaca`, etc., isso é o polimorfismo. Sem ele, tentaria chamar o comportamento do `Animal`, o que neste caso nem seria permitido por ele ser, acertadamente, abstrato (sem comportamento real). Superclasse não recebe coisa alguma, ela é só um modelo para as outras classes, que é só um modelo para criar um objeto. Veja https://pt.stackoverflow.com/q/100812/101. O que está no objeto é que importa durante a execução. No momento que executa ele sabe qual é o tipo em questão e chama o método de acordo com o tipo, isso é resolvido dinamicamente. Se o método fosse `final`, ou seja, sem polimorfismo, o tipo declarado seria usado e chamaria o método da superclasse, o que é impossível neste caso. Se terá várias ações diferentes ou não, é indiferente. [Polimorfismo][1] é um comportamento sendo assumido pelo objeto de acordo com seu tipo concreto, nada mais que isto. [1]: https://pt.stackoverflow.com/a/153042/101