Add back logical axioms for GO_MAIN_RELATIONS. (#28995)

geneontology · Sep 26, 2024 · 999be25 · 999be25
1 parent 5e7e5e8
commit 999be25
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/src/ontology/go-edit.obo b/src/ontology/go-edit.obo
@@ -600749,6 +600749,8 @@ id: happens_during
 name: happens during
 namespace: external
 xref: RO:0002092
+is_transitive: true
+is_a: ends_during ! ends during
 
 [Typedef]
 id: has_component
@@ -600805,6 +600807,7 @@ id: has_part
 name: has part
 namespace: external
 xref: BFO:0000051
+is_transitive: true
 
 [Typedef]
 id: has_participant
@@ -600895,6 +600898,7 @@ id: negatively_regulates
 name: negatively regulates
 namespace: external
 xref: RO:0002212
+is_a: regulates ! regulates
 
 [Typedef]
 id: negatively_regulates_characteristic
@@ -600912,6 +600916,7 @@ id: occurs_in
 name: occurs in
 namespace: external
 xref: BFO:0000066
+transitive_over: part_of ! part of
 
 [Typedef]
 id: output_of
@@ -600930,6 +600935,8 @@ id: part_of
 name: part of
 namespace: external
 xref: BFO:0000050
+is_transitive: true
+inverse_of: has_part ! has part
 
 [Typedef]
 id: participates_in
@@ -600948,6 +600955,8 @@ id: positively_regulates
 name: positively regulates
 namespace: external
 xref: RO:0002213
+holds_over_chain: negatively_regulates negatively_regulates
+is_a: regulates ! regulates
 
 [Typedef]
 id: positively_regulates_characteristic
@@ -601001,6 +601010,7 @@ id: regulates
 name: regulates
 namespace: external
 xref: RO:0002211
+is_transitive: true
 
 [Typedef]
 id: regulates_characteristic