rel_stat OBO_REL:has_agent 1 As for has_participant, but with the additional condition that the component instance is causally active in the relevant process rel_stat OBO_REL:has_participant 8 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:mediated_by 2 NO_DEF rel_stat OBO_REL:results_in_addition_of 4 NO_DEF rel_stat OBO_REL:results_in_addition_to 6 NO_DEF rel_stat OBO_REL:results_in_breakdown_of 6 NO_DEF rel_stat OBO_REL:results_in_change_to 7 NO_DEF 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 9 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_localization_of 1 P results_in_localization_of C : **TODO** - compare and contrast with maintenance of localization, and transportation rel_stat OBO_REL:results_in_transport_of 4 NO_DEF rel_stat OBO_REL:unfolds_around 1 P unfolds_around C : the execution of P spatially contains by C. rel_stat adjacent_to 3 A geometric operator, specified in Egenhofer 1989. Two features meet if they share a junction on the sequence. rel_stat associated_with 16 NO_DEF rel_stat derives_from 5 NO_DEF rel_stat has_origin 17 NO_DEF rel_stat has_part 6 NO_DEF rel_stat has_quality 100 NO_DEF rel_stat part_of 3 NO_DEF