Classify a 'desert biome' as a 'terrestrial biome'

[turbomam]

A desert biome is a terrestrial biome A terrestrial biome is a biome that is determined by a planetary landmass, or by something that is part of a planetary landmass.

A ‘desert biome’ has always been a ‘desert ecosystem’ that’s determined by some ‘ecological community’. We just added the axiom that it participates in some ‘climactic ecosystem procession.’ That’s doesn't appear in OLS yet.

And a ‘desert ecosystem’ is determined by some desert

I don’t think desert is being considered a planetary landmass, or part of a planetary landmass.

[pbuttigieg]

@turbomam thanks for recording this. I think we can remove the determination axiom - as we expand the successional process semantics, the communities will be linked by participation .

The assertion of a desert being terrestrial would be on "desert" itself. The label is used for non-terrestrial things too, but that's more metaphor than metaphysics.

I think the equivalence axiom on terrestrial ecosystem would look like: any ecosystem determined by a material entity (like a desert) that is part of a landmass. That would entail applying that parthood assertion to many classes (incrementally)

[cmungall]

@turbomam can you fix this to conform to newly agreed on patterns?