Open turbomam opened 9 months ago
@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)
@turbomam can you fix this to conform to newly agreed on patterns?
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.