]> The BRO provides a set of domain-independent relations between OWL entities. It is inspired by the OBO's relationship ontology (RO) http://www.obofoundry.org/ro 2007-01-01 Basic Relationship Ontology (BRO) 1.0 Dumontier Lab application/rdf+xml Michel Dumontier en http://ontology.dumontierlab.com/bro bearer of A relation between an entity and dependent continuant. PMID:15892874 contains A spatial relation between two continuants such that one spatially contains the other with no overlap. C contains C' if and only if: given any instance c that instantiates C at a time t, there is some c' such that: c' instantiates C' at time t and c located_of c' at t, and it is not the case that c *overlaps* c' at t. A transitive, symmetric, temporal relation in which one continuant is the derivative of another non-identical continuant. derivative of osteocyte derives_from osteoblast http://obofoundry.org/ro/derives_from PMID:15892874 A transitive, temporal relation in which one continuant derives from another non-identical continuant. derives from C derives_from C' if and only if: there is an chain of derivation relations connecting C to C'. PMID:15892874 A transitive, temporal relation in which one continuant derives into another non-identical continuant. derives into A relation between a process and a causally active participant. PMID:15892874 As for has_participant, but with the additional condition that the component instance is causally active in the relevant process http://obofoundry.org/ro/has_agent has agent has disposition A relation between an entity and the disposition it realizes. has function A relation between an entity and the function it realizes. has improper part PMID:15892874 A reflexive, transitive parthood relation such that the entities are not distinct. cake has_improper_part slice of cake has integral part C has_integral_part C' if and only if: C has_part C' AND C' part_of C A reflexive, anti-symmetric, transitive parthood relation between two entities such that one has_part the other, and the other has_part the one. PMID:15892874 A reflexive, anti-symmetric, transitive relation between two entities such that one is part_of the other. has part Continuant: C has_part C' = for all c, t, if Cct then there is some c' such that C'c't and c' part_of c at t. Process: P has_part P' = for all p, if Pp then there is some p' such that P'p' and p' part_of p. A relation between a process and its a continuant participant. http://obofoundry.org/ro/has_particpant 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 has participant PMID:15892874 has proper part PMID:15892874 A transitive parthood relation such that the entities are distinct. A relation between an entity and the quality that inheres in it. has quality The relation between an entity and the role it realizes. has role immediately derives from C immediately_derives_from C' if and only if: given any c and any t, if c instantiates C at time t, then there is some c' and some t', such that c' instantiates C' at t' and t' earlier-than t and c *derives_from* c'. A non-transitive temporal relation in which one continuant immediately derives from a non-identical continuant such that there are no intermediate continuants between them. a molecule of alpha-D-glucose-6-phosphate immediately_derives_from D-glucose in glucose metabolism. PMID:15892874 A non-transitive temporal relation in which one continuant immediately derives into a non-identical continuant such that there are no intermediate steps between them. C immediately_derives_into C' if and only if: given any c and any t, if c instantiates C at time t, then there is some c' and some t', such that c' instantiates C' at t' and t' later-than t and c *derives_from* c'. immediately derives into D-glucose immediately_derives_into alpha-D-glucose-6-phosphate. PMID:15892874 P immediately_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. PMID:15892874 immediately preceded by A non-transitive temporal relation in which one process is immediately preceded by another process, such that there is no interval of time between the two processes. P immediately_precedes 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 later than t. immediately precedes PMID:15892874 A non-transitive temporal relation in which one process is immediately precedes another process, such that there is no interval of time between the two processes. C immediately_transforms_from C' if and only if given any c and any t, if c instantiates C at time t, then for some t', c instantiates C' at t' and t' later t, and there is no t2 such that c instantiates C at t2 and c instantiates C' at t2. A non-transitive temporal relation between two continuants such that one continuant immediately transforms from another continuant such that there is no intermediate between them, while retaining their identity. PMID:15892874 C immediately_transformes_into C' if and only if given any c and any t, if c instantiates C at time t, then for some t', c instantiates C' at t' and t' later t, and there is no t2 such that c instantiates C at t2 and c instantiates C' at t2. PMID:15892874 A temporal relation in which one continuant immediately transforms into another continuant such that there is no intermediate continuant, and with which identity is maintained. immediately transforms into inheres in A relation between a dependent continuant and an entity. C is adjacent to C' if and only if: given any instance c that instantiates C at a time t, there is some c' such that: c' instantiates C' at time t and c and c' are in spatial proximity. A symmetric spatial relation between two continuants such that are adjacent to one another. http://obofoundry.org/ro/adjacent_to is adjacent to PMID:15892874 is agent in As for participates_in, but with the additional condition that the component instance is causally active in the relevant process. PMID:15892874 A relation in which a continuant participates in a causally active way in the process. A spatial relation between two continuants such that one is contained in the other, but for which there is no overlap. PMID:15892874 C is_contained_in C' if and only if: given any instance c that instantiates C at a time t, there is some c' such that: c' instantiates C' at time t and c located_in c' at t, and it is not the case that c *overlaps* c' at t. (c' is a conduit or cavity) http://obofoundry.org/ro/contained_in is contained in A relation between a disposition and the entity that realizes it. is disposition of A relation between a function and the entity that realizes it. is function of A reflexive, transitive parthood relation such that the entities are not distinct. PMID:15892874 is improper part of A reflexive, anti-symmetric, transitivie parthood relation between two entities such that one has_part the other, and the other has_part the one. http://obofoundry.org/ro/integral_part_of C integral_part_of C' if and only if: C part_of C' AND C' has_part C PMID:15892874 is integral part of PMID:15892874 C is_located_in C' if and only if: given any c that instantiates C at a time t, there is some c' such that: c' instantiates C' at time t and c *is_located_in* c'. http://obofoundry.org/ro/located_in A transitive, reflexive relation between two entities such that one is located in the other. is located in A transitive, reflexive relation between two entities such that one is the location of another. PMID:15892874 C is_location_of C' if and only if: given any c that instantiates C at a time t, there is some c' such that: c' instantiates C' at time t and c *is_location_of* c'. is location of continuant: cell nucleus part_of cell process: rhodopsin mediated phototransduction part_of visual perception A reflexive, anti-symmetric, transitive relation between two entities at which one is a part of the other. For continuants: C part_of C' if and only if: given any c that instantiates C at a time t, there is some c' such that c' instantiates C' at time t, and c *part_of* c' at t. For processes: P part_of P' if and only if: given any p that instantiates P at a time t, there is some p' such that p' instantiates P' at time t, and p *part_of* p' at t. PMID:15892874 http://obofoundry.org/ro/part_of part of C participates in P if and only if: given any continuant c that instantiates C, some process p that instantiates P, and some time t, such that:c instantiates C at t and c participates in p at t" A relation in which a continuant participates in some way in the process. is participant in PMID:15892874 http://obofoundry.org/ro/proper_part_of A transitive parthood relation such that the entities are distinct. PMID:15892874 is proper part of is quality of A relation between a quality and some entity. is related to A property between two entities. With the exception of temporal relations, it is understood that these relations must occur between instances of occurents at the same time. A relation between a role and the entity that realizes it. is role of is spatial location of A relation between a region of space and an oject that occupies that space. A relation between an object and a region of space. is spatially located in is spatially related to A relation between continuants with respect to the spatial regions they occupy. A relation between aa spatial temporal region and a process. is spatiotemporal location of A relation between an entity and a spatial temporal region. is spatiotemporally located in is temporal location of A relation between two temporal entities such that a temporal region is the location of a temporal entity. A relation between two temporal entities such that one is located in a region of time. is temporally located in A relation between entities at different times. is temporally related to translation preceded_by transcription PMID:15892874 http://obofoundry.org/ro/preceded_by A transitive, temporal relation in which one process is preceded by (has occured later than) another process. 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. aging preceded_by development (not however death preceded_by aging). preceded by P precedes 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 later than t. PMID:15892874 precedes A transitive, temporal relation in which one process precedes (has occured earlier than) another process. A transitive, symmetric, temporal relation in which one continuant is the transformation of itself at another time. transformation of http://obofoundry.org/ro/transformation_of PMID:15892874 transforms from C transforms_from C' if and only if given any c and any t, if c instantiates C at time t, then for some t', c instantiates C' at t' and t' later t, and there is no t2 such that c instantiates C at t2 and c instantiates C' at t2. A transitive, temporal relation between two continuants such that one continuant transforms from itself at an earlier time while retaining their identity. C transforms_into C' if and only if given any c and any t, if c instantiates C at time t, then for some t', c instantiates C' at t' and t' later t, and there is no t2 such that c instantiates C at t2 and c instantiates C' at t2. A transitive, temporal relation between two continuants such that one continuant transforms into another continuant at a later time while retaining their identity. PMID:15892874 an embryonic oenocyte (a type of insect cell) transforms into a larval oenocyte transforms into A data property that marks the beginning of a temporal entity. begins end A data property that marks the end of a temporal entity. A data type property to store a value. has value