Em termos de Java, quando alguém pergunta:

o que é polimorfismo?

Seriasobrecarga ousuperando ser uma resposta aceitável?

Eu acho que há um pouco mais do que isso.

Se você tivesse uma classe base abstrata que definisse um método sem nenhuma implementação, e você definisse esse método na subclasse, isso ainda está sendo sobreposto?

eu acho quesobrecarga não é a resposta certa, com certeza.