Is the opposite of a word called an antonym?

For example:

* Hot is an antonym of cold.

* Up is an antonym of down.

* Happy is an antonym of sad.