Added logical definitions for multiple biomes. (#1552)

* Added logical definitions for multiple biomes.

These were all converted from existing subClassOf axioms, thus ensuring consistency.
(note of course that these subClassOf axioms come back in the release
version through reasoning).

See also #1416

* reworked desert ecosystems and biomes

* adding subclass relations for desert biomes to their ecosystem superclasses

* regularising definitions and logic of broad biome classes

* regularised freshwater biomes

* regularising more biome groups

---------

Co-authored-by: pbuttigieg, cmungall - interim review by turbomam