Create a coherent collected-metazoa ontology that includes all bridging axioms

[cmungall]

I realize there may be smaller issues for this but I think we should tackle this as a whole

We want all metazoan ssAOs plus bridge axioms plus Uberon to have no unsatisfiable classes

This may need some compromise on the uberon side. We may need to relax some disjointness axioms (these can be retained as something that is used internally to check uberon, but are dropped from the main release). Having the ability to traverse up from terms to their uberon counterparts is a higher priority for users than ontological perfection.

The main challenge here will be space-vs-material distinctions. IMO this is irrelevant to biologists and I think it's OK if collected-metazoa drops CARO/BFO/COB so that we can conflate these. An alternative is to have a rule that no mod ssAO maps to spaces and we make a material counterpart for all.

Note: this task is impossible with the current official release of FMA as it is already incoherent but we should be able to use the bioportal release which has no disjointness axioms