rel_stat OBO_REL:activates 4 NO_DEF rel_stat OBO_REL:dependent_on 7 NO_DEF rel_stat OBO_REL:has_function 159 Relation between an independent continuant and a function. rel_stat OBO_REL:has_part 1 NO_DEF rel_stat OBO_REL:has_participant 3 P has_participant C if and only if: given any process p that instantiates P there is some continuant c, and some time t, such that: c instantiates C at t and c participates in p at t rel_stat OBO_REL:inheres_in 2 A relation between a dependent continuant D and an entity E. D inheres_in E iff: given any d that instantiates D at t, there exists some e that instantiates E at t and d *inheres_in* e at t. Here *inheres_in* is the primitive instance level relation. rel_stat OBO_REL:lacks_part 1 rel_stat OBO_REL:mediated_by 9 NO_DEF rel_stat OBO_REL:participates_in 1 NO_DEF rel_stat OBO_REL:preceded_by 5 P preceded_by P' if and only if: given any process p that instantiates P at a time t, there is some process p' such that p' instantiates P' at time t', and t' is earlier than t. rel_stat OBO_REL:precedes 1 NO_DEF rel_stat OBO_REL:realizes 23 Relation between a process and a function, where the unfolding of the process requires the execution of the function. Class level: P realizes F iff: given any p that instantiates P, there exists some f, t such that f instantiates F at t and p *realizes* f. Here, *realizes* is the primitive instance level relation rel_stat OBO_REL:regulated_by 4 NO_DEF rel_stat OBO_REL:results_in_breakdown_of 22 NO_DEF rel_stat OBO_REL:results_in_change_to 4 NO_DEF rel_stat OBO_REL:results_in_complete_development_of 6 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 8 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 7 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 7 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 136 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_fusion_of 19 P results_in_fusion_of C : two instances of C (c1, c2) join together to become a single instance c of C' over the course of any P. C' derives_from C rel_stat OBO_REL:results_in_localization_of 28 P results_in_localization_of C : **TODO** - compare and contrast with maintenance of localization, and transportation rel_stat OBO_REL:results_in_localization_to 2 NO_REL rel_stat OBO_REL:results_in_maturation_of 1 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 1 NO_DEF rel_stat OBO_REL:results_in_organization_of 1 NO_REL rel_stat OBO_REL:results_in_remodeling_of 11 NO_DEF rel_stat OBO_REL:results_in_removal_of 4 NO_DEF rel_stat OBO_REL:results_in_transport_across 3 NO_REL rel_stat OBO_REL:results_in_transport_along 1 NO_REL rel_stat OBO_REL:results_in_transport_from 12 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_involving 2 NO_REL rel_stat OBO_REL:results_in_transport_of 15 NO_DEF rel_stat OBO_REL:results_in_transport_to 22 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:results_in_transport_towards 2 NO_REL rel_stat OBO_REL:results_in_transport_within 1 NO_REL rel_stat OBO_REL:unfolds_around 3 P unfolds_around C : the execution of P spatially contains by C. rel_stat OBO_REL:unfolds_in 40 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 adjacent_to 19 NO_DEF rel_stat attached_to 1 NO_REL rel_stat attaches_to 8 NO_DEF rel_stat bounded_by 6 NO_DEF rel_stat bounds 5 NO_DEF rel_stat completely_bounded_by 1 NO_DEF rel_stat complex_of 1 X complex_of Y all instance of X has_part y1 and has_part y2 where y1 and y2 are distinct instances of Y rel_stat contained_by 1 NO_REL rel_stat continuous_with 1 NO_DEF rel_stat derived_from 1 NO_REL rel_stat derives_from 1 NO_REL rel_stat extrinsic_to 15 NO_DEF rel_stat has_level 1 NO_REL rel_stat has_part 19 NO_DEF rel_stat inheres_in 18 NO_REL rel_stat inner_part_of 1 NO_DEF rel_stat inwards_of 1 NO_REL rel_stat lacks_part 2 NO_DEF rel_stat located_in 25 NO_REL rel_stat negatively_regulates 1167 NO_DEF rel_stat outer_part_of 1 NO_DEF rel_stat outwards_of 2 NO_REL rel_stat part_of 325 NO_DEF rel_stat partially_bounded_by 1 NO_REL rel_stat partially_enclosed_by 3 NO_DEF rel_stat perforates 1 NO_DEF rel_stat positively_regulates 1118 NO_DEF rel_stat precedes 1 NO_REL rel_stat regulates 1307 NO_DEF rel_stat results_in_distribution_of 7 NO_REL rel_stat results_in_increased_length_of 2 NO_REL rel_stat results_in_organization_of 106 NO_REL rel_stat spans 2 A spans B iff A overlaps B and A overlaps the two regions on either side of B rel_stat subclass 1 NO_REL rel_stat surrounded_by 61 NO_DEF rel_stat surrounds 122 NO_DEF