Additional axioms that do not fit into the simple OBO format profile cjm cjm https://orcid.org/0000-0002-4142-7153