Disjoints of upper level classes to detect inconsistencies

[bpeters42]

To detect inconsistencies like issue #182, we could insert disjoints for (most) upper level classes. I believe the following are all pairwise disjoint

• material entity
• characteristic
• process
• information

A potentially problematic class where I would be more careful is 'immaterial entity' - which might overlap with characteristic - and we simply haven't fully defined it. But we could minimally add disjoints with process and material entity.

[balhoff]

This would be necessary if we (e.g. GO) want to import COB instead of BFO axioms.