format-version: 1.0 date: 13:02:2007 16:03 saved-by: bada auto-generated-by: OBO-Edit 1.002 default-namespace: UCDHSC remark:

This ontology contains a set of relationships proposed by Larry Hunter and Mike Bada of the University of Colorado at Denver and Health Sciences Center (UCDHSC) as an extension to the formal OBO Relationship Ontology (RO). As such, these proposed relationships are classified under those already in RO.

[Typedef] id: UCDHSC:joins_in name: joins_in is_a: UCDHSC:is_source_of_change_in ! is_source_of_change_in inverse_of: UCDHSC:results_in_joining_of ! results_in_joining_of [Typedef] id: UCDHSC:is_perceived_in name: is_perceived_in is_a: OBO_REL:participates_in ! participates_in inverse_of: UCDHSC:results_in_perception_of ! results_in_perception_of [Typedef] id: UCDHSC:is_possible_product_of_change_in name: is_possible_product_of_change_in is_a: OBO_REL:participates_in ! participates_in inverse_of: UCDHSC:results_in_capability_to_change_to ! results_in_capability_to_change_to [Typedef] id: UCDHSC:is_product_of_change_in name: is_product_of_change_in is_a: OBO_REL:participates_in ! participates_in inverse_of: UCDHSC:results_in_change_to ! results_in_change_to [Typedef] id: UCDHSC:is_regulated_in name: is_regulated_in is_a: OBO_REL:relationship ! relationship inverse_of: UCDHSC:results_in_regulation_of ! results_in_regulation_of [Typedef] id: UCDHSC:is_source_and_product_of_change_in name: is_source_and_product_of_change_in is_a: UCDHSC:is_product_of_change_in ! is_product_of_change_in is_a: UCDHSC:is_source_of_change_in ! is_source_of_change_in inverse_of: UCDHSC:results_in_change_in ! results_in_change_in [Typedef] id: UCDHSC:is_source_of_change_in name: is_source_of_change_in is_a: OBO_REL:participates_in ! participates_in inverse_of: UCDHSC:results_in_change_from ! results_in_change_from [Typedef] id: UCDHSC:is_object_of_directed_movement_in name: is_object_of_directed_movement_in is_a: OBO_REL:participates_in ! participates_in inverse_of: UCDHSC:results_in_directed_movement_of ! results_in_directed_movement_of [Typedef] id: UCDHSC:results_in_joining_of name: results_in_joining_of def: "P results_in_joining_of C if and only if: given any process p that instantiates P there is some continuant c, a set of at least one other continuants c1... cn {n >= 1} and some time t, such that: c instantiates C at t and c joins with c1 ... cn in p at t." [UCDHSC:] is_a: UCDHSC:results_in_change_from ! results_in_change_from inverse_of: UCDHSC:joins_in ! joins_in [Typedef] id: UCDHSC:results_in_capability_to_change_to name: results_in_capability_to_change_to def: "P results_in_capability_to_change_to C if and only if: given any process that instantiates P, there is some continuant c' that instantiates C' that becomes capable of changing into a continuant c that instantiates C." [UCDHSC:] is_a: OBO_REL:has_participant ! has_participant inverse_of: UCDHSC:is_possible_product_of_change_in ! is_possible_product_of_change_in [Typedef] id: UCDHSC:results_in_change_from name: results_in_change_from def: "P results_in_change_from C if and only if: given any process p that instantiates P, there is some continuant c that instantiates C and some other continuant c' such that c' changes from c (i.e., c changes to c')." [UCDHSC:] is_a: OBO_REL:has_participant ! has_participant inverse_of: UCDHSC:is_source_of_change_in ! is_source_of_change_in [Typedef] id: UCDHSC:results_in_change_in name: results_in_change_in def: "P results_in_change_in C if and only if: given any process p that instantiates P, there is some continuant c that instantiates C and another continuant c' that instantiates C such that c changes to c'." [UCDHSC:] is_a: UCDHSC:results_in_change_from ! results_in_change_from is_a: UCDHSC:results_in_change_to ! results_in_change_to inverse_of: UCDHSC:is_source_and_product_of_change_in ! is_source_and_product_of_change_in [Typedef] id: UCDHSC:results_in_change_to name: results_in_change_to def: "P results_in_change_to C if and only if: given any process p that instantiates P, there is some continuant c that instantiates C and some other continuant c' such that c' changes to c." [UCDHSC:] is_a: OBO_REL:has_participant ! has_participant inverse_of: UCDHSC:is_product_of_change_in ! is_product_of_change_in [Typedef] id: UCDHSC:results_in_perception_of name: results_in_perception_of def: "P results_in_perception_of 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 is perceived as a stimulus in p at t." [UCDHSC:] is_a: OBO_REL:has_participant ! has_participant inverse_of: UCDHSC:is_perceived_in ! is_perceived_in [Typedef] id: UCDHSC:results_in_division_of name: results_in_division_of def: "P results_in_division_of C if and only if: given any process p that instantiates P there is some continuant c, and some t, such that: c instantiates C at t and c breaks apart in p at t." [UCDHSC:] is_a: UCDHSC:results_in_change_from ! results_in_change_from inverse_of: UCDHSC:divides_in ! divides_in [Typedef] id: UCDHSC:results_in_regulation_of name: results_in_regulation_of def: "P results_in_regulation_of P' if and only if: given any process p that instantiates P there is some process p', and some time t, such that: p' instantiates P' at t and p' is regulated by p at t." [UCDHSC:] is_a: OBO_REL:relationship ! relationship inverse_of: UCDHSC:is_regulated_in ! is_regulated_in [Typedef] id: UCDHSC:results_in_directed_movement_of name: results_in_directed_movement_of def: "P results_in_directed_movement_of 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 is transported in p at t." [UCDHSC:] is_a: OBO_REL:has_participant ! has_participant inverse_of: UCDHSC:is_object_of_directed_movement_in ! is_object_of_directed_movement_in [Typedef] id: UCDHSC:divides_in name: divides_in is_a: UCDHSC:is_source_of_change_in ! is_source_of_change_in inverse_of: UCDHSC:results_in_division_of ! results_in_division_of