Remove redundant injections about RO terms.

We are injecting several statements about RO terms that are redundant
because they correspond to axioms that are already present in upstream
RO.

Here, we remove all such injections. We also prevent the renaming of RO
terms (e.g., avoid renaming 'present in taxon' into 'present_in_taxon').

Of note, the injections on RO:0002492 ('existence ends during') were not,
in fact, redundant: we injected a somewhat simplified definition and an
exact synonym that do not exist in RO. But since we did not inject such
simplified definitions and synonyms for other similar relations (e.g.
'existence starts during'), there is no reason to do it specifically for
'existence ends during'.

Related to #2453

src/ontology/uberon-edit.obo

@@ -224717,8 +224717,7 @@ xref: RO:0002220
 
 [Typedef]
 id: ambiguous_for_taxon
-name: ambiguous_for_taxon
-def: "S ambiguous_for_taxon T if the class S does not have a clear referent in taxon T. An example would be the class 'manual digit 1', which encompasses a homology hypotheses that is accepted for some species (e.g. human and mouse), but does not have a clear referent in Aves - the referent is dependent on the hypothesis embraced, and also on the ontogenetic stage." [PHENOSCPAE:asilomar_mtg]
+name: ambiguous for taxon
 xref: RO:0002173
 is_metadata_tag: true
 is_class_level: true
@@ -224955,7 +224954,6 @@ xref: RO:0002285
 id: develops_from
 name: develops from
 xref: RO:0002202
-is_a: has_developmental_contribution_from ! has developmental contribution from
 
 [Typedef]
 id: develops_from_part_of
@@ -225039,9 +225037,7 @@ domain: UBERON:0001638 ! vein
 
 [Typedef]
 id: dubious_for_taxon
-name: dubious_for_taxon
-def: "S dubious_for_taxon T if it is probably the case that no instances of S can be found in any instance of T." [https://orcid.org/0000-0002-6601-2165]
-comment: this relation lacks a strong logical interpretation, but can be used in place of never_in_taxon where it is desirable to state that the definition of the class is too strict for the taxon under consideration, but placing a never_in_taxon link would result in a chain of inconsistencies that will take time to resolve. Example: metencephalon in teleost
+name: dubious for taxon
 xref: RO:0002174
 is_metadata_tag: true
 is_class_level: true
@@ -225071,8 +225067,6 @@ is_metadata_tag: true
 [Typedef]
 id: existence_ends_during
 name: existence ends during
-def: "Relation between continuant c and occurrent s, such that every instance of c ceases to exist during some s, if it does not die prematurely." [https://orcid.org/0000-0002-6601-2165]
-synonym: "ceases_to_exist_during" EXACT []
 xref: RO:0002492
 
 [Typedef]
@@ -225222,10 +225216,8 @@ xref: RO:0002372
 
 [Typedef]
 id: has_no_connections_with
-name: has_no_connections_with
-def: "A is has_no_connections_with B if there are no parts of A or B that have a connection with the other." [https://orcid.org/0000-0002-6601-2165]
+name: has no connections with
 xref: RO:0002475
-expand_assertion_to: "Class: <http://www.w3.org/2002/07/owl#Nothing> EquivalentTo: (BFO_0000050 some ?X) and (RO_0002170 some (BFO_0000050 some ?Y))" []
 is_metadata_tag: true
 is_class_level: true
 
@@ -225488,18 +225480,15 @@ xref: RO:0002572
 
 [Typedef]
 id: mutually_spatially_disjoint_with
-name: mutually_spatially_disjoint_with
+name: mutually spatially disjoint with
 xref: RO:0002171
-expand_assertion_to: "Class: <http://www.w3.org/2002/07/owl#Nothing> EquivalentTo: (BFO_0000050 some ?X) and (BFO_0000050 some ?Y)" []
 is_metadata_tag: true
 is_class_level: true
 
 [Typedef]
 id: never_in_taxon
-name: never_in_taxon
-def: "S never_in_taxon T iff: S SubClassOf in_taxon only not T." [PMID:20973947]
+name: never in taxon
 xref: RO:0002161
-expand_assertion_to: "Class: <http://www.w3.org/2002/07/owl#Nothing> EquivalentTo: ?X and (RO_0002162 some ?Y)" []
 is_metadata_tag: true
 is_class_level: true
 
@@ -225593,9 +225582,7 @@ is_metadata_tag: true
 
 [Typedef]
 id: present_in_taxon
-name: present_in_taxon
-def: "S present_in_taxon T if some instance of T has some S. This does not means that all instances of T have an S - it may only be certain life stages or sexes that have S." [https://orcid.org/0000-0002-6601-2165]
-synonym: "applicable for taxon" EXACT []
+name: present in taxon
 xref: RO:0002175
 is_metadata_tag: true
 is_class_level: true