rel_stat	OBO_REL:has_agent	9	As for has_participant, but with the additional condition that the component instance is causally active in the relevant process
rel_stat	OBO_REL:results_in_acquisition_of_features_of	1	P results_in_acquisition_of_features_of C : P is_a process in which a participant acquires the qualities of a C. Formally: forall pP exists C' such that C transformation_of C', exists c such that c instantiates C' at start-of P and c instantiates C' at end-of P
rel_stat	OBO_REL:results_in_closure_of	1	P results_in_closure_of C : forall pP exists cC such that a topological change occurs in c, whereby two parts of c, c1 and c2 become connected
rel_stat	OBO_REL:results_in_commitment_to	1	NO_DEF
rel_stat	OBO_REL:results_in_complete_development_of	160	A relation between a process type P and a continuant type C, such that any instance of Pp has as outcome the progression of an instance of Cc, from the formation of c to the maturation of c
rel_stat	OBO_REL:results_in_connection_of	1	P results_in_connection_of C1, P results_in_connection_of C2 : forall pP, at the end of p, there is some c1, c2 such that c1C1 and c2C2 and c1 connected_to c2, and c1 not connected_to c2 at the end of p
rel_stat	OBO_REL:results_in_developmental_progression_of	30	P results_in_developmental_progression_of C : any instance of P spans part of the development of some C. Formally: forall pP, p part_of some P', and P' results_in_complete_development_of C
rel_stat	OBO_REL:results_in_division_of	1	P results_in_division_of C : any instance of C (c1) divides giving rise to two continuants c2 and c3 of type C' and C''. C' derives_from C, C'' derives_from C
rel_stat	OBO_REL:results_in_formation_of	93	P results_in_formation_of C : any instance of P gives rise to a C from the parts of C. Formally: forall pP, exists some c such that c instantiates C at end-of p, and c has some parts c1, c2, ... such that the parts are connected at the end-of p and disconected at the start-of p
rel_stat	OBO_REL:results_in_formation_ofx	1	NO_REL
rel_stat	OBO_REL:results_in_increase_in_mass_of	3	P results_in_increase_in_mass_of C : any P has some participant cC, such that c has_quality q and q instantiates PATO:mass, and the magnitude of q at start_of p < magnitude of q at end of p
rel_stat	OBO_REL:results_in_maturation_of	31	p results_in_maturation_of c : exists f such that f instantiates F, p instantiates P, c participates_in p and c lacks_function f at start_of(p) and c has_function(f) at end_of(p), and P has_function F
rel_stat	OBO_REL:results_in_morphogenesis_of	9	NO_DEF
rel_stat	OBO_REL:results_in_release_of	3	p results_in_release_of a : exists b, a located_in b at t1, and not(a located_in b) at t2, where start_of(p)=t1 and end_of(p)=t2
rel_stat	OBO_REL:results_in_remodeling_of	2	NO_DEF
rel_stat	OBO_REL:results_in_specification_of	5	NO_DEF
rel_stat	OBO_REL:results_in_transport_from	1	P results_in_transport_from C : forall pP, there exists some c' such that located_in C at start_of(p) and not(c' located_in C at end_of(p))
rel_stat	OBO_REL:results_in_transport_to	1	P results_in_transport_to C : forall pP, there exists some c' such that located_in C at end_of(p) and not(c' located_in C at start_of(p))
rel_stat	OBO_REL:unfolds_around	1	P unfolds_around C : the execution of P spatially contains by C.
rel_stat	OBO_REL:unfolds_in	79	P unfolds_in C : the execution of P is spatially contained by C. forall pP,  forall c' partipates_in p, c' located_in C at t, for some t in P
rel_stat	part_of	105	NO_DEF
rel_stat	results_in_increased_length_of	1	NO_REL