definition
type: AnnotationProperty

never in taxon
type: AnnotationProperty
definition: x never in taxon T if and only if T is a class, and x does not instantiate the class expression "in taxon some T". Note that this is a shortcut relation, and should be used as a hasValue restriction in OWL.

subset_property
type: AnnotationProperty

has_broad_synonym
type: AnnotationProperty

database_cross_reference
type: AnnotationProperty

has_exact_synonym
type: AnnotationProperty

has_narrow_synonym
type: AnnotationProperty

has_obo_format_version
type: AnnotationProperty

has_related_synonym
type: AnnotationProperty

in_subset
type: AnnotationProperty

part of
type: ObjectProperty
sub property of: overlaps
inverse of: has part
type: TransitiveProperty
definition: a core relation that holds between a part and its whole
database_cross_reference: BFO:0000050
shorthand: part_of

has part
type: ObjectProperty
sub property of: overlaps
type: TransitiveProperty
definition: a core relation that holds between a whole and its part
database_cross_reference: BFO:0000051
shorthand: has_part

preceded by
type: ObjectProperty
sub property of: ends after
inverse of: precedes
type: TransitiveProperty
domain: occurrent
range: occurrent
property chain axiom: part of
property chain axiom: starts during
property chain axiom: happens during
definition: x is preceded by y if and only if the time point at which y ends is before or equivalent to the time point at which x starts. Formally: x preceded by y iff ω(y) <= α(x), where α is a function that maps a process to a start point, and ω is a function that maps a process to an end point.
database_cross_reference: BFO:0000062
shorthand: preceded_by

precedes
type: ObjectProperty
sub property of: temporally related to
type: TransitiveProperty
domain: occurrent
range: occurrent
property chain axiom: part of
property chain axiom: happens during
definition: x precedes y if and only if the time point at which x ends is before or equivalent to the time point at which y starts. Formally: x precedes y iff ω(x) <= α(y), where α is a function that maps a process to a start point, and ω is a function that maps a process to an end point.
database_cross_reference: BFO:0000063
shorthand: precedes

occurs in
type: ObjectProperty
inverse of: contains process
domain: occurrent
range: independent continuant
property chain axiom: part of
definition: b occurs_in c =def b is a process and c is a material entity or immaterial entity& there exists a spatiotemporal region r and b occupies_spatiotemporal_region r.& forall(t) if b exists_at t then c exists_at t & there exist spatial regions s and s’ where & b spatially_projects_onto s at t& c is occupies_spatial_region s’ at t& s is a proper_continuant_part_of s’ at t
database_cross_reference: BFO:0000066
shorthand: occurs_in

contains process
type: ObjectProperty
definition: [copied from inverse property 'occurs in'] b occurs_in c =def b is a process and c is a material entity or immaterial entity& there exists a spatiotemporal region r and b occupies_spatiotemporal_region r.& forall(t) if b exists_at t then c exists_at t & there exist spatial regions s and s’ where & b spatially_projects_onto s at t& c is occupies_spatial_region s’ at t& s is a proper_continuant_part_of s’ at t
database_cross_reference: BFO:0000067
shorthand: contains_process

characteristic of
type: ObjectProperty
sub property of: characteristic of part of
inverse of: has characteristic
type: FunctionalProperty
definition: a relation between a specifically dependent continuant (the characteristic) and any other entity (the bearer), in which the characteristic depends on the bearer for its existence.
database_cross_reference: RO:0000052
shorthand: characteristic_of

has characteristic
type: ObjectProperty
type: InverseFunctionalProperty
range: specifically dependent continuant
definition: Inverse of characteristic_of
database_cross_reference: RO:0000053
shorthand: has_characteristic

participates in
type: ObjectProperty
inverse of: has participant
domain: continuant
range: occurrent
definition: a relation between a continuant and a process, in which the continuant is somehow involved in the process
database_cross_reference: RO:0000056
shorthand: participates_in

has participant
type: ObjectProperty
domain: occurrent
range: continuant
property chain axiom: has part
definition: a relation between a process and a continuant, in which the continuant is somehow involved in the process
database_cross_reference: RO:0000057
shorthand: has_participant

function of
type: ObjectProperty
sub property of: characteristic of
inverse of: has function
domain: function
definition: a relation between a function and an independent continuant (the bearer), in which the function specifically depends on the bearer for its existence
database_cross_reference: RO:0000079
shorthand: function_of

quality of
type: ObjectProperty
sub property of: characteristic of
inverse of: has quality
definition: a relation between a quality and an independent continuant (the bearer), in which the quality specifically depends on the bearer for its existence
database_cross_reference: RO:0000080
shorthand: quality_of

role of
type: ObjectProperty
sub property of: characteristic of
inverse of: has role
definition: a relation between a role and an independent continuant (the bearer), in which the role specifically depends on the bearer for its existence
database_cross_reference: RO:0000081
shorthand: role_of

has function
type: ObjectProperty
sub property of: has characteristic
domain: independent continuant
range: function
definition: a relation between an independent continuant (the bearer) and a function, in which the function specifically depends on the bearer for its existence
database_cross_reference: RO:0000085
shorthand: has_function

has quality
type: ObjectProperty
sub property of: has characteristic
range: quality
definition: a relation between an independent continuant (the bearer) and a quality, in which the quality specifically depends on the bearer for its existence
database_cross_reference: RO:0000086
shorthand: has_quality

has role
type: ObjectProperty
sub property of: has characteristic
domain: independent continuant
range: role
definition: a relation between an independent continuant (the bearer) and a role, in which the role specifically depends on the bearer for its existence
database_cross_reference: RO:0000087
shorthand: has_role

has disposition
type: ObjectProperty
sub property of: has characteristic
inverse of: disposition of
domain: independent continuant
range: disposition
definition: a relation between an independent continuant (the bearer) and a disposition, in which the disposition specifically depends on the bearer for its existence
database_cross_reference: RO:0000091
shorthand: has_disposition

disposition of
type: ObjectProperty
sub property of: characteristic of
definition: inverse of has disposition
database_cross_reference: RO:0000092
shorthand: disposition_of

bounding layer of
type: ObjectProperty
sub property of: part of
domain: Class
  intersection of: material entity
  intersection of: Restriction
    on property: has characteristic
    some values from: PATO_0002124
range: material entity
definition: X outer_layer_of Y iff: . X :continuant that bearer_of some PATO:laminar . X part_of Y . exists Z :surface . X has_boundary Z . Z boundary_of Y has_boundary: http://purl.obolibrary.org/obo/RO_0002002 boundary_of: http://purl.obolibrary.org/obo/RO_0002000
database_cross_reference: RO:0002007
shorthand: bounding_layer_of

coincident with
type: ObjectProperty
sub property of: mereotopologically related to
domain: Class
  intersection of: continuant
  intersection of: Restriction
    on property: has characteristic
    some values from: PATO_0001199
range: Class
  intersection of: continuant
  intersection of: Restriction
    on property: has characteristic
    some values from: PATO_0001199
definition: A relation that holds between two linear structures that are approximately parallel to each other for their entire length and where either the two structures are adjacent to each other or one is part of the other.
database_cross_reference: RO:0002008
shorthand: coincident_with

regulates in other organism
type: ObjectProperty
sub property of: causally upstream of or within
domain: process
range: process
definition: x 'regulates in other organism' y if and only if: (x is the realization of a function to exert an effect on the frequency, rate or extent of y) AND (the agents of x are produced by organism o1 and the agents of y are produced by organism o2).
database_cross_reference: RO:0002010
shorthand: regulates_in_other_organism

has regulatory component activity
type: ObjectProperty
sub property of: has component activity
sub property of: regulated by
definition: A 'has regulatory component activity' B if A and B are GO molecular functions (GO_0003674), A has_component B and A is regulated by B.
database_cross_reference: RO:0002013
shorthand: has_regulatory_component_activity

has negative regulatory component activity
type: ObjectProperty
sub property of: has regulatory component activity
sub property of: negatively regulated by
definition: A relationship that holds between a GO molecular function and a component of that molecular function that negatively regulates the activity of the whole. More formally, A 'has regulatory component activity' B iff :A and B are GO molecular functions (GO_0003674), A has_component B and A is negatively regulated by B.
database_cross_reference: RO:0002014
shorthand: has_negative_regulatory_component_activity

has positive regulatory component activity
type: ObjectProperty
sub property of: has regulatory component activity
sub property of: positively regulated by
definition: A relationship that holds between a GO molecular function and a component of that molecular function that positively regulates the activity of the whole. More formally, A 'has regulatory component activity' B iff :A and B are GO molecular functions (GO_0003674), A has_component B and A is positively regulated by B.
database_cross_reference: RO:0002015
shorthand: has_positive_regulatory_component_activity

has necessary component activity
type: ObjectProperty
sub property of: has component activity
sub property of: positively regulated by
database_cross_reference: RO:0002016
shorthand: has_necessary_component_activity

has component activity
type: ObjectProperty
sub property of: has component process
database_cross_reference: RO:0002017
shorthand: has_component_activity

has component process
type: ObjectProperty
sub property of: has component
domain: process
range: process
definition: w 'has process component' p if p and w are processes, w 'has part' p and w is such that it can be directly disassembled into into n parts p, p2, p3, ..., pn, where these parts are of similar type.
database_cross_reference: RO:0002018
shorthand: has_component_process

has ligand
type: ObjectProperty
sub property of: has input
definition: A relationship that holds between between a receptor and an chemical entity, typically a small molecule or peptide, that carries information between cells or compartments of a cell and which binds the receptor and regulates its effector function.
database_cross_reference: RO:0002019
shorthand: has_ligand

occurs across
type: ObjectProperty
sub property of: has part that occurs in
definition: A relationship between a process and a barrier, where the process occurs in a region spanning the barrier. For cellular processes the barrier is typically a membrane. Examples include transport across a membrane and membrane depolarization.
database_cross_reference: RO:0002021
shorthand: occurs_across

directly regulated by
type: ObjectProperty
sub property of: regulated by
inverse of: directly regulates
database_cross_reference: RO:0002022
shorthand: directly_regulated_by

directly negatively regulated by
type: ObjectProperty
sub property of: directly regulated by
inverse of: directly negatively regulates
definition: Process(P2) is directly negatively regulated by process(P1) iff: P1 negatively regulates P2 via direct physical interaction between an agent executing P1 (or some part of P1) and an agent executing P2 (or some part of P2). For example, if protein A has protein binding activity(P1) that targets protein B and this binding negatively regulates the kinase activity (P2) of protein B then P2 directly negatively regulated by P1.
database_cross_reference: RO:0002023
shorthand: directly_negatively_regulated_by

directly positively regulated by
type: ObjectProperty
sub property of: directly regulated by
inverse of: directly positively regulates
definition: Process(P2) is directly postively regulated by process(P1) iff: P1 positively regulates P2 via direct physical interaction between an agent executing P1 (or some part of P1) and an agent executing P2 (or some part of P2). For example, if protein A has protein binding activity(P1) that targets protein B and this binding positively regulates the kinase activity (P2) of protein B then P2 is directly postively regulated by P1.
database_cross_reference: RO:0002024
shorthand: directly_positively_regulated_by

has effector activity
type: ObjectProperty
sub property of: has component activity
type: FunctionalProperty
definition: A 'has effector activity' B if A and B are GO molecular functions (GO_0003674), A 'has component activity' B and B is the effector (output function) of B. Each compound function has only one effector activity.
database_cross_reference: RO:0002025
shorthand: has_effector_activity

during which ends
type: ObjectProperty
sub property of: temporally related to
inverse of: ends during
database_cross_reference: RO:0002084
shorthand: during_which_ends

encompasses
type: ObjectProperty
sub property of: during which starts
inverse of: happens during
type: TransitiveProperty
database_cross_reference: RO:0002085
shorthand: encompasses

ends after
type: ObjectProperty
sub property of: temporally related to
type: TransitiveProperty
property chain axiom: ends during
property chain axiom: preceded by
database_cross_reference: RO:0002086
shorthand: ends_after

immediately preceded by
type: ObjectProperty
sub property of: preceded by
inverse of: immediately precedes
property chain axiom: starts with
property chain axiom: ends with
database_cross_reference: RO:0002087
shorthand: immediately_preceded_by

during which starts
type: ObjectProperty
sub property of: temporally related to
inverse of: starts during
database_cross_reference: RO:0002088
shorthand: during_which_starts

immediately precedes
type: ObjectProperty
sub property of: precedes
property chain axiom: ends with
property chain axiom: starts with
database_cross_reference: RO:0002090
shorthand: immediately_precedes

starts during
type: ObjectProperty
sub property of: temporally related to
domain: occurrent
range: occurrent
database_cross_reference: RO:0002091
shorthand: starts_during

happens during
type: ObjectProperty
sub property of: starts during
sub property of: ends during
type: TransitiveProperty
database_cross_reference: RO:0002092
shorthand: happens_during

ends during
type: ObjectProperty
sub property of: temporally related to
database_cross_reference: RO:0002093
shorthand: ends_during

overlaps
type: ObjectProperty
sub property of: mereotopologically related to
type: SymmetricProperty
property chain axiom: part of
property chain axiom: has part
definition: x overlaps y if and only if there exists some z such that x has part z and z part of y
database_cross_reference: RO:0002131
shorthand: overlaps

only in taxon
type: ObjectProperty
sub property of: in taxon
definition: x only in taxon y if and only if x is in taxon y, and there is no other organism z such that y!=z a and x is in taxon z.
database_cross_reference: RO:0002160
shorthand: only_in_taxon

in taxon
type: ObjectProperty
sub property of: evolutionarily related to
range: OBI_0100026
property chain axiom: part of
property chain axiom: has part
property chain axiom: develops from
property chain axiom: capable of
property chain axiom: has developmental contribution from
property chain axiom: results in developmental progression of
definition: x is in taxon y if an only if y is an organism, and the relationship between x and y is one of: part of (reflexive), developmentally preceded by, derives from, secreted by, expressed.
database_cross_reference: RO:0002162
shorthand: in_taxon

spatially disjoint from
type: ObjectProperty
sub property of: mereotopologically related to
definition: A is spatially_disjoint_from B if and only if they have no parts in common
database_cross_reference: RO:0002163
shorthand: spatially_disjoint_from

has component
type: ObjectProperty
sub property of: has part
definition: w 'has component' p if w 'has part' p and w is such that it can be directly disassembled into into n parts p, p2, p3, ..., pn, where these parts are of similar type.
database_cross_reference: RO:0002180
shorthand: has_component

develops from
type: ObjectProperty
sub property of: developmentally preceded by
inverse of: develops into
type: TransitiveProperty
domain: independent continuant
range: independent continuant
definition: x develops from y if and only if either (a) x directly develops from y or (b) there exists some z such that x directly develops from z and z develops from y
database_cross_reference: RO:0002202
shorthand: develops_from

develops into
type: ObjectProperty
sub property of: developmentally succeeded by
sub property of: has potential to develop into
sub property of: has potential to directly develop into
type: TransitiveProperty
definition: inverse of develops from
database_cross_reference: RO:0002203
shorthand: develops_into

regulates
type: ObjectProperty
sub property of: causally upstream of
inverse of: regulated by
type: TransitiveProperty
domain: process
range: process
property chain axiom: has effector activity
property chain axiom: ends with
property chain axiom: directly regulates
definition: p regulates q iff p is causally upstream of q, the execution of p is not constant and varies according to specific conditions, and p influences the rate or magnitude of execution of q due to an effect either on some enabler of q or some enabler of a part of q.
database_cross_reference: RO:0002211
shorthand: regulates

negatively regulates
type: ObjectProperty
sub property of: regulates
sub property of: causally upstream of, negative effect
inverse of: negatively regulated by
property chain axiom: ends with
definition: p negatively regulates q iff p regulates q, and p decreases the rate or magnitude of execution of q.
database_cross_reference: RO:0002212
shorthand: negatively_regulates

positively regulates
type: ObjectProperty
sub property of: regulates
sub property of: causally upstream of, positive effect
inverse of: positively regulated by
type: TransitiveProperty
property chain axiom: negatively regulates
property chain axiom: ends with
definition: p positively regulates q iff p regulates q, and p increases the rate or magnitude of execution of q.
database_cross_reference: RO:0002213
shorthand: positively_regulates

capable of
type: ObjectProperty
sub property of: capable of part of
domain: independent continuant
range: process
definition: A relation between a material entity (such as a cell) and a process, in which the material entity has the ability to carry out the process.
database_cross_reference: RO:0002215
shorthand: capable_of

capable of part of
type: ObjectProperty
sub property of: functionally related to
sub property of: causal agent in process
property chain axiom: capable of
property chain axiom: part of
definition: c stands in this relationship to p if and only if there exists some p' such that c is capable_of p', and p' is part_of p.
database_cross_reference: RO:0002216
shorthand: capable_of_part_of

adjacent to
type: ObjectProperty
sub property of: spatially disjoint from
domain: independent continuant
range: independent continuant
definition: x adjacent to y if and only if x and y share a boundary.
database_cross_reference: RO:0002220
shorthand: adjacent_to

temporally related to
type: ObjectProperty
domain: occurrent
range: occurrent
database_cross_reference: RO:0002222
shorthand: temporally_related_to

starts
type: ObjectProperty
sub property of: part of
sub property of: temporally related to
inverse of: starts with
definition: inverse of starts with
database_cross_reference: RO:0002223
shorthand: starts

starts with
type: ObjectProperty
sub property of: has part
sub property of: temporally related to
type: TransitiveProperty
definition: x starts with y if and only if x has part y and the time point at which x starts is equivalent to the time point at which y starts. Formally: α(y) = α(x) ∧ ω(y) < ω(x), where α is a function that maps a process to a start point, and ω is a function that maps a process to an end point.
database_cross_reference: RO:0002224
shorthand: starts_with

ends
type: ObjectProperty
sub property of: part of
sub property of: temporally related to
inverse of: ends with
definition: inverse of ends with
database_cross_reference: RO:0002229
shorthand: ends

ends with
type: ObjectProperty
sub property of: has part
sub property of: temporally related to
type: TransitiveProperty
definition: x ends with y if and only if x has part y and the time point at which x ends is equivalent to the time point at which y ends. Formally: α(y) > α(x) ∧ ω(y) = ω(x), where α is a function that maps a process to a start point, and ω is a function that maps a process to an end point.
database_cross_reference: RO:0002230
shorthand: ends_with

has start location
type: ObjectProperty
sub property of: has part that occurs in
domain: process
range: independent continuant
property chain axiom: starts with
property chain axiom: occurs in
definition: x 'has starts location' y if and only if there exists some process z such that x 'starts with' z and z 'occurs in' y
database_cross_reference: RO:0002231
shorthand: has_start_location

has end location
type: ObjectProperty
sub property of: has part that occurs in
domain: process
range: independent continuant
property chain axiom: ends with
property chain axiom: occurs in
definition: x 'has end location' y if and only if there exists some process z such that x 'ends with' z and z 'occurs in' y
database_cross_reference: RO:0002232
shorthand: has_end_location

has input
type: ObjectProperty
sub property of: has participant
inverse of: input of
domain: process
property chain axiom: starts with
definition: p has input c iff: p is a process, c is a material entity, c is a participant in p, c is present at the start of p, and the state of c is modified during p.
database_cross_reference: RO:0002233
shorthand: has_input

has output
type: ObjectProperty
sub property of: has participant
inverse of: output of
property chain axiom: ends with
definition: p has output c iff c is a participant in p, c is present at the end of p, and c is not present in the same state at the beginning of p.
database_cross_reference: RO:0002234
shorthand: has_output

has developmental contribution from
type: ObjectProperty
sub property of: developmentally preceded by
inverse of: developmentally contributes to
domain: UBERON_0001062
range: UBERON_0001062
property chain axiom: has part
property chain axiom: develops from
definition: x has developmental contribution from y iff x has some part z such that z develops from y
database_cross_reference: RO:0002254
shorthand: has_developmental_contribution_from

developmentally contributes to
type: ObjectProperty
sub property of: developmentally succeeded by
sub property of: has potential to developmentally contribute to
property chain axiom: develops into
property chain axiom: part of
definition: inverse of has developmental contribution from
database_cross_reference: RO:0002255
shorthand: developmentally_contributes_to

developmentally preceded by
type: ObjectProperty
sub property of: developmentally related to
inverse of: developmentally succeeded by
domain: continuant
range: continuant
definition: Candidate definition: x developmentally related to y if and only if there exists some developmental process (GO:0032502) p such that x and y both participates in p, and x is the output of p and y is the input of p
database_cross_reference: RO:0002258
shorthand: developmentally_preceded_by

acts upstream of
type: ObjectProperty
sub property of: acts upstream of or within
property chain axiom: enables
property chain axiom: causally upstream of
definition: c acts upstream of p if and only if c enables some f that is involved in p' and p' occurs chronologically before p, is not part of p, and affects the execution of p. c is a material entity and f, p, p' are processes.
database_cross_reference: RO:0002263
shorthand: acts_upstream_of

acts upstream of or within
type: ObjectProperty
sub property of: causal agent in process
property chain axiom: enables
property chain axiom: causally upstream of or within
definition: c acts upstream of or within p if c is enables f, and f is causally upstream of or within p. c is a material entity and p is an process.
database_cross_reference: RO:0002264
has_related_synonym: affects
shorthand: acts_upstream_of_or_within

developmentally succeeded by
type: ObjectProperty
sub property of: has developmental potential involving
definition: Inverse of developmentally preceded by
database_cross_reference: RO:0002286
shorthand: developmentally_succeeded_by

results in developmental progression of
type: ObjectProperty
sub property of: developmentally related to
domain: GO_0008150
range: UBERON_0001062
definition: p results in the developmental progression of s iff p is a developmental process and s is an anatomical entity and p causes s to undergo a change in state at some point along its natural developmental cycle (this cycle starts with its formation, through the mature structure, and ends with its loss).
database_cross_reference: RO:0002295
shorthand: results_in_developmental_progression_of

results in development of
type: ObjectProperty
sub property of: results in developmental progression of
sub property of: results in changes to anatomical or cellular structure
definition: p 'results in development of' c if and only if p is a developmental process and p results in the state of c changing from its initial state as a primordium or anlage through its mature state and to its final state.
database_cross_reference: RO:0002296
shorthand: results_in_development_of

results in formation of
type: ObjectProperty
sub property of: has output
sub property of: results in developmental progression of
inverse of: formed as result of
database_cross_reference: RO:0002297
shorthand: results_in_formation_of

results in morphogenesis of
type: ObjectProperty
sub property of: results in developmental progression of
sub property of: results in changes to anatomical or cellular structure
definition: The relationship that links an entity with the process that results in the formation and shaping of that entity over time from an immature to a mature state.
database_cross_reference: RO:0002298
shorthand: results_in_morphogenesis_of

results in maturation of
type: ObjectProperty
sub property of: results in developmental progression of
sub property of: results in changes to anatomical or cellular structure
definition: The relationship that links an entity with a process that results in the progression of the entity over time that is independent of changes in it's shape and results in an end point state of that entity.
database_cross_reference: RO:0002299
shorthand: results_in_maturation_of

causally upstream of, positive effect
type: ObjectProperty
sub property of: causally upstream of
sub property of: causally upstream of or within, positive effect
definition: p is causally upstream of, positive effect q iff p is casually upstream of q, and the execution of p is required for the execution of q.
database_cross_reference: RO:0002304
shorthand: causally_upstream_of,_positive_effect

causally upstream of, negative effect
type: ObjectProperty
sub property of: causally upstream of
sub property of: causally upstream of or within, negative effect
definition: p is causally upstream of, negative effect q iff p is casually upstream of q, and the execution of p decreases the execution of q.
database_cross_reference: RO:0002305
shorthand: causally_upstream_of,_negative_effect

characteristic of part of
type: ObjectProperty
sub property of: depends on
property chain axiom: characteristic of
property chain axiom: part of
definition: q characteristic of part of w if and only if there exists some p such that q inheres in p and p part of w.
database_cross_reference: RO:0002314
shorthand: characteristic_of_part_of

results in acquisition of features of
type: ObjectProperty
sub property of: results in developmental progression of
sub property of: results in changes to anatomical or cellular structure
range: UBERON_0000061
definition: The relationship that links a specified entity with the process that results in an unspecified entity acquiring the features and characteristics of the specified entity
database_cross_reference: RO:0002315
shorthand: results_in_acquisition_of_features_of

evolutionarily related to
type: ObjectProperty
definition: A relationship that holds via some environmental process
database_cross_reference: RO:0002320
shorthand: evolutionarily_related_to

mereotopologically related to
type: ObjectProperty
definition: A mereological relationship or a topological relationship
database_cross_reference: RO:0002323
shorthand: mereotopologically_related_to

developmentally related to
type: ObjectProperty
definition: A relationship that holds between entities participating in some developmental process (GO:0032502)
database_cross_reference: RO:0002324
shorthand: developmentally_related_to

enables
type: ObjectProperty
sub property of: capable of
inverse of: enabled by
property chain axiom: has part
property chain axiom: has component activity
definition: c enables p iff c is capable of p and c acts to execute p.
database_cross_reference: RO:0002327
shorthand: enables

functionally related to
type: ObjectProperty
definition: A grouping relationship for any relationship directly involving a function, or that holds because of a function of one of the related entities.
database_cross_reference: RO:0002328
shorthand: functionally_related_to

part of structure that is capable of
type: ObjectProperty
sub property of: functionally related to
property chain axiom: part of
property chain axiom: capable of
definition: this relation holds between c and p when c is part of some c', and c' is capable of p.
database_cross_reference: RO:0002329
shorthand: part_of_structure_that_is_capable_of

involved in
type: ObjectProperty
sub property of: participates in
sub property of: involved in or involved in regulation of
property chain axiom: enables
property chain axiom: part of
definition: c involved_in p if and only if c enables some process p', and p' is part of p
database_cross_reference: RO:0002331
shorthand: involved_in

regulates levels of
type: ObjectProperty
sub property of: functionally related to
domain: process
range: material entity
definition: p regulates levels of c if p regulates some amount (PATO:0000070) of c
database_cross_reference: RO:0002332
shorthand: regulates_levels_of

enabled by
type: ObjectProperty
sub property of: has participant
sub property of: functionally related to
definition: inverse of enables
database_cross_reference: RO:0002333
shorthand: enabled_by

regulated by
type: ObjectProperty
sub property of: causally downstream of or within
type: TransitiveProperty
domain: process
range: process
definition: inverse of regulates
database_cross_reference: RO:0002334
shorthand: regulated_by

negatively regulated by
type: ObjectProperty
sub property of: regulated by
definition: inverse of negatively regulates
database_cross_reference: RO:0002335
shorthand: negatively_regulated_by

positively regulated by
type: ObjectProperty
sub property of: regulated by
definition: inverse of positively regulates
database_cross_reference: RO:0002336
shorthand: positively_regulated_by

related via localization to
type: ObjectProperty
domain: process
range: continuant
definition: A relationship that holds via some process of localization
database_cross_reference: RO:0002337
shorthand: related_via_localization_to

has target start location
type: ObjectProperty
sub property of: results in transport to from or in
property chain axiom: part of
definition: This relationship holds between p and l when p is a transport or localization process in which the outcome is to move some cargo c from some initial location l to some destination.
database_cross_reference: RO:0002338
shorthand: has_target_start_location

has target end location
type: ObjectProperty
sub property of: results in transport to from or in
property chain axiom: part of
definition: This relationship holds between p and l when p is a transport or localization process in which the outcome is to move some cargo c from a an initial location to some destination l.
database_cross_reference: RO:0002339
shorthand: has_target_end_location

results in transport along
type: ObjectProperty
sub property of: related via localization to
definition: Holds between p and l when p is a transportation or localization process and the outcome of this process is to move c from one location to another, and the route taken by c follows a path that is aligned_with l
database_cross_reference: RO:0002341
shorthand: results_in_transport_along

results in transport across
type: ObjectProperty
sub property of: occurs across
sub property of: results in transport to from or in
definition: Holds between p and m when p is a transportation or localization process and the outcome of this process is to move c from one location to another, and the route taken by c follows a path that crosses m.
database_cross_reference: RO:0002342
shorthand: results_in_transport_across

results in growth of
type: ObjectProperty
sub property of: results in developmental progression of
sub property of: results in changes to anatomical or cellular structure
database_cross_reference: RO:0002343
shorthand: results_in_growth_of

results in transport to from or in
type: ObjectProperty
sub property of: related via localization to
database_cross_reference: RO:0002344
shorthand: results_in_transport_to_from_or_in

results in commitment to
type: ObjectProperty
sub property of: results in developmental progression of
range: CL_0000000
definition: p 'results in commitment to' c if and only if p is a developmental process and c is a cell and p results in the state of c changing such that is can only develop into a single cell type.
database_cross_reference: RO:0002348
shorthand: results_in_commitment_to

results in determination of
type: ObjectProperty
sub property of: results in developmental progression of
range: CL_0000000
definition: p 'results in determination of' c if and only if p is a developmental process and c is a cell and p results in the state of c changing to be determined. Once a cell becomes determined, it becomes committed to differentiate down a particular pathway regardless of its environment.
database_cross_reference: RO:0002349
shorthand: results_in_determination_of

input of
type: ObjectProperty
sub property of: participates in
sub property of: functionally related to
definition: inverse of has input
database_cross_reference: RO:0002352
shorthand: input_of

output of
type: ObjectProperty
sub property of: participates in
sub property of: functionally related to
definition: inverse of has output
database_cross_reference: RO:0002353
shorthand: output_of

formed as result of
type: ObjectProperty
sub property of: output of
database_cross_reference: RO:0002354
shorthand: formed_as_result_of

results in structural organization of
type: ObjectProperty
sub property of: results in developmental progression of
sub property of: results in changes to anatomical or cellular structure
definition: A relationship between a process and an anatomical entity such that the process contributes to the act of creating the structural organization of the anatomical entity.
database_cross_reference: RO:0002355
shorthand: results_in_structural_organization_of

results in specification of
type: ObjectProperty
sub property of: results in developmental progression of
range: CL_0000000
definition: The relationship linking a cell and its participation in a process that results in the fate of the cell being specified. Once specification has taken place, a cell will be committed to differentiate down a specific pathway if left in its normal environment.
database_cross_reference: RO:0002356
shorthand: results_in_specification_of

has developmental potential involving
type: ObjectProperty
sub property of: developmentally related to
domain: UBERON_0001062
range: UBERON_0001062
definition: x has developmental potential involving y iff x is capable of a developmental process with output y. y may be the successor of x, or may be a different structure in the vicinity (as for example in the case of developmental induction).
database_cross_reference: RO:0002384
shorthand: has_developmental_potential_involving

has potential to developmentally contribute to
type: ObjectProperty
sub property of: has developmental potential involving
definition: x has potential to developmentrally contribute to y iff x developmentally contributes to y or x is capable of developmentally contributing to y
database_cross_reference: RO:0002385
shorthand: has_potential_to_developmentally_contribute_to

has potential to develop into
type: ObjectProperty
sub property of: has developmental potential involving
definition: x has the potential to develop into y iff x develops into y or if x is capable of developing into y
database_cross_reference: RO:0002387
shorthand: has_potential_to_develop_into

has potential to directly develop into
type: ObjectProperty
sub property of: has potential to develop into
definition: x has potential to directly develop into y iff x directly develops into y or x is capable of directly developing into y
database_cross_reference: RO:0002388
shorthand: has_potential_to_directly_develop_into

causally downstream of
type: ObjectProperty
sub property of: preceded by
sub property of: causally downstream of or within
inverse of: causally upstream of
definition: inverse of upstream of
database_cross_reference: RO:0002404
shorthand: causally_downstream_of

immediately causally downstream of
type: ObjectProperty
sub property of: immediately preceded by
sub property of: causally downstream of
inverse of: immediately causally upstream of
database_cross_reference: RO:0002405
shorthand: immediately_causally_downstream_of

indirectly positively regulates
type: ObjectProperty
sub property of: positively regulates
sub property of: indirectly regulates
type: TransitiveProperty
property chain axiom: directly positively regulates
property chain axiom: indirectly negatively regulates
definition: p indirectly positively regulates q iff p is indirectly causally upstream of q and p positively regulates q.
database_cross_reference: RO:0002407
shorthand: indirectly_positively_regulates

indirectly negatively regulates
type: ObjectProperty
sub property of: negatively regulates
sub property of: indirectly regulates
type: TransitiveProperty
property chain axiom: directly negatively regulates
definition: p indirectly negatively regulates q iff p is indirectly causally upstream of q and p negatively regulates q.
database_cross_reference: RO:0002409
shorthand: indirectly_negatively_regulates

causally related to
type: ObjectProperty
definition: relation that links two events, processes, states, or objects such that one event, process, state, or object (a cause) contributes to the production of another event, process, state, or object (an effect) where the cause is partly or wholly responsible for the effect, and the effect is partly or wholly dependent on the cause.
database_cross_reference: RO:0002410
shorthand: causally_related_to

causally upstream of
type: ObjectProperty
sub property of: precedes
sub property of: causally upstream of or within
type: TransitiveProperty
definition: p is causally upstream of q iff p is causally related to q, the end of p precedes the end of q, and p is not an occurrent part of q.
database_cross_reference: RO:0002411
shorthand: causally_upstream_of

immediately causally upstream of
type: ObjectProperty
sub property of: immediately precedes
sub property of: causally upstream of
definition: p is immediately causally upstream of q iff p is causally upstream of q, and the end of p is coincident with the beginning of q.
database_cross_reference: RO:0002412
shorthand: immediately_causally_upstream_of

causally upstream of or within
type: ObjectProperty
sub property of: causal relation between processes
inverse of: causally downstream of or within
type: TransitiveProperty
definition: p is 'causally upstream or within' q iff p is causally related to q, and the end of p precedes, or is coincident with, the end of q.
database_cross_reference: RO:0002418
has_related_synonym: affects
shorthand: causally_upstream_of_or_within

causally downstream of or within
type: ObjectProperty
sub property of: causal relation between processes
type: TransitiveProperty
definition: inverse of causally upstream of or within
database_cross_reference: RO:0002427
shorthand: causally_downstream_of_or_within

involved in regulation of
type: ObjectProperty
sub property of: acts upstream of
sub property of: involved in or involved in regulation of
property chain axiom: enables
property chain axiom: regulates
property chain axiom: involved in
definition: c involved in regulation of p if c is involved in some p' and p' regulates some p
database_cross_reference: RO:0002428
shorthand: involved_in_regulation_of

involved in positive regulation of
type: ObjectProperty
sub property of: involved in regulation of
property chain axiom: enables
property chain axiom: positively regulates
property chain axiom: involved in
definition: c involved in regulation of p if c is involved in some p' and p' positively regulates some p
database_cross_reference: RO:0002429
shorthand: involved_in_positive_regulation_of

involved in negative regulation of
type: ObjectProperty
sub property of: involved in regulation of
property chain axiom: enables
property chain axiom: negatively regulates
property chain axiom: involved in
definition: c involved in regulation of p if c is involved in some p' and p' negatively regulates some p
database_cross_reference: RO:0002430
shorthand: involved_in_negative_regulation_of

involved in or involved in regulation of
type: ObjectProperty
sub property of: acts upstream of or within
sub property of: functionally related to
sub property of: causal agent in process
definition: c involved in or regulates p if and only if either (i) c is involved in p or (ii) c is involved in regulation of p
database_cross_reference: RO:0002431
shorthand: involved_in_or_involved_in_regulation_of

is active in
type: ObjectProperty
sub property of: overlaps
sub property of: functionally related to
property chain axiom: enables
property chain axiom: occurs in
definition: c executes activity in d if and only if c enables p and p occurs_in d. Assuming no action at a distance by gene products, if a gene product enables (is capable of) a process that occurs in some structure, it must have at least some part in that structure.
database_cross_reference: RO:0002432
has_exact_synonym: enables activity in
shorthand: is_active_in

interacts with
type: ObjectProperty
type: SymmetricProperty
domain: material entity
range: material entity
definition: A relationship that holds between two entities in which the processes executed by the two entities are causally connected.
database_cross_reference: RO:0002434
has_exact_synonym: in pairwise interaction with
shorthand: interacts_with

molecularly interacts with
type: ObjectProperty
sub property of: interacts with
type: SymmetricProperty
definition: An interaction relationship in which the two partners are molecular entities that directly physically interact with each other for example via a stable binding interaction or a brief interaction during which one modifies the other.
database_cross_reference: RO:0002436
shorthand: molecularly_interacts_with

phosphorylates
type: ObjectProperty
sub property of: molecularly interacts with
database_cross_reference: RO:0002447
shorthand: phosphorylates

directly regulates activity of
type: ObjectProperty
sub property of: molecularly interacts with
sub property of: regulates activity of
domain: material entity
range: material entity
property chain axiom: enables
property chain axiom: regulates
property chain axiom: enabled by
definition: The entity A, immediately upstream of the entity B, has an activity that regulates an activity performed by B. For example, A and B may be gene products and binding of B by A regulates the kinase activity of B. A and B can be physically interacting but not necessarily. Immediately upstream means there are no intermediate entity between A and B.
database_cross_reference: RO:0002448
has_exact_synonym: molecularly controls
shorthand: directly_regulates_activity_of

directly negatively regulates activity of
type: ObjectProperty
sub property of: directly regulates activity of
domain: material entity
range: material entity
property chain axiom: enables
property chain axiom: directly negatively regulates
property chain axiom: enabled by
definition: The entity A, immediately upstream of the entity B, has an activity that negatively regulates an activity performed by B. For example, A and B may be gene products and binding of B by A negatively regulates the kinase activity of B.
database_cross_reference: RO:0002449
has_exact_synonym: molecularly decreases activity of
shorthand: directly_negatively_regulates_activity_of

directly positively regulates activity of
type: ObjectProperty
sub property of: directly regulates activity of
domain: material entity
range: material entity
property chain axiom: enables
property chain axiom: directly positively regulates
property chain axiom: enabled by
definition: The entity A, immediately upstream of the entity B, has an activity that positively regulates an activity performed by B. For example, A and B may be gene products and binding of B by A positively regulates the kinase activity of B.
database_cross_reference: RO:0002450
has_exact_synonym: molecularly increases activity of
shorthand: directly_positively_regulates_activity_of

has part that occurs in
type: ObjectProperty
domain: occurrent
range: independent continuant
property chain axiom: has part
property chain axiom: occurs in
definition: p has part that occurs in c if and only if there exists some p1, such that p has_part p1, and p1 occurs in c.
database_cross_reference: RO:0002479
shorthand: has_part_that_occurs_in

transformation of
type: ObjectProperty
sub property of: develops from
type: TransitiveProperty
definition: x transformation of y if x is the immediate transformation of y, or is linked to y through a chain of transformation relationships
database_cross_reference: RO:0002494
shorthand: transformation_of

causal agent in process
type: ObjectProperty
sub property of: causal relation between material entity and a process
inverse of: process has causal agent
definition: A relationship between a material entity and a process where the material entity has some causal role that influences the process
database_cross_reference: RO:0002500
shorthand: causal_agent_in_process

causal relation between processes
type: ObjectProperty
sub property of: causally related to
domain: occurrent
range: occurrent
definition: p is causally related to q if and only if p or any part of p and q or any part of q are linked by a chain of events where each event pair is one where the execution of p influences the execution of q. p may be upstream, downstream, part of, or a container of q.
database_cross_reference: RO:0002501
shorthand: causal_relation_between_processes

depends on
type: ObjectProperty
database_cross_reference: RO:0002502
shorthand: depends_on

has intermediate
type: ObjectProperty
sub property of: has participant
definition: p has intermediate c if and only if p has parts p1, p2 and p1 has output c, and p2 has input c
database_cross_reference: RO:0002505
shorthand: has_intermediate

causal relation between entities
type: ObjectProperty
sub property of: causally related to
domain: continuant
range: continuant
database_cross_reference: RO:0002506
shorthand: causal_relation_between_entities

causally influenced by
type: ObjectProperty
sub property of: causal relation between entities
inverse of: causally influences
database_cross_reference: RO:0002559
shorthand: causally_influenced_by

results in movement of
type: ObjectProperty
sub property of: results in changes to anatomical or cellular structure
definition: Holds between p and c when p is locomotion process and the outcome of this process is the change of location of c
database_cross_reference: RO:0002565
shorthand: results_in_movement_of

causally influences
type: ObjectProperty
sub property of: causal relation between entities
domain: continuant
range: continuant
property chain axiom: enables
property chain axiom: causally upstream of
property chain axiom: has input
property chain axiom: enabled by
definition: The entity or characteristic A is causally upstream of the entity or characteristic B, A having an effect on B. An entity corresponds to any biological type of entity as long as a mass is measurable. A characteristic corresponds to a particular specificity of an entity (e.g., phenotype, shape, size).
database_cross_reference: RO:0002566
shorthand: causally_influences

directly regulates
type: ObjectProperty
sub property of: regulates
sub property of: immediately causally upstream of
definition: p directly regulates q iff p is immediately causally upstream of q and p regulates q.
database_cross_reference: RO:0002578
shorthand: directly_regulates

has part structure that is capable of
type: ObjectProperty
sub property of: functionally related to
sub property of: causal relation between material entity and a process
property chain axiom: has part
property chain axiom: capable of
definition: s 'has part structure that is capable of' p if and only if there exists some part x such that s 'has part' x and x 'capable of' p
database_cross_reference: RO:0002584
shorthand: has_part_structure_that_is_capable_of

results in breakdown of
type: ObjectProperty
sub property of: has input
definition: p results in breakdown of c if and only if the execution of p leads to c no longer being present at the end of p
database_cross_reference: RO:0002586
shorthand: results_in_breakdown_of

results in assembly of
type: ObjectProperty
sub property of: results in formation of
sub property of: results in organization of
database_cross_reference: RO:0002588
shorthand: results_in_assembly_of

results in disassembly of
type: ObjectProperty
sub property of: results in breakdown of
sub property of: results in organization of
database_cross_reference: RO:0002590
shorthand: results_in_disassembly_of

results in remodeling of
type: ObjectProperty
sub property of: has input
sub property of: results in organization of
database_cross_reference: RO:0002591
shorthand: results_in_remodeling_of

results in organization of
type: ObjectProperty
sub property of: results in changes to anatomical or cellular structure
definition: p results in organization of c iff p results in the assembly, arrangement of constituent parts, or disassembly of c
database_cross_reference: RO:0002592
shorthand: results_in_organization_of

causal relation between material entity and a process
type: ObjectProperty
sub property of: causally related to
domain: material entity
range: process
definition: A relationship that holds between a material entity and a process in which causality is involved, with either the material entity or some part of the material entity exerting some influence over the process, or the process influencing some aspect of the material entity.
database_cross_reference: RO:0002595
shorthand: causal_relation_between_material_entity_and_a_process

capable of regulating
type: ObjectProperty
sub property of: causal agent in process
property chain axiom: capable of
property chain axiom: regulates
definition: Holds between c and p if and only if c is capable of some activity a, and a regulates p.
database_cross_reference: RO:0002596
shorthand: capable_of_regulating

capable of negatively regulating
type: ObjectProperty
sub property of: capable of regulating
property chain axiom: capable of
property chain axiom: negatively regulates
definition: Holds between c and p if and only if c is capable of some activity a, and a negatively regulates p.
database_cross_reference: RO:0002597
shorthand: capable_of_negatively_regulating

capable of positively regulating
type: ObjectProperty
sub property of: capable of regulating
property chain axiom: capable of
property chain axiom: positively regulates
definition: Holds between c and p if and only if c is capable of some activity a, and a positively regulates p.
database_cross_reference: RO:0002598
shorthand: capable_of_positively_regulating

process has causal agent
type: ObjectProperty
sub property of: causally related to
definition: Inverse of 'causal agent in process'
database_cross_reference: RO:0002608
shorthand: process_has_causal_agent

directly positively regulates
type: ObjectProperty
sub property of: positively regulates
sub property of: directly regulates
definition: p directly positively regulates q iff p is immediately causally upstream of q, and p positively regulates q.
database_cross_reference: RO:0002629
shorthand: directly_positively_regulates

directly negatively regulates
type: ObjectProperty
sub property of: negatively regulates
sub property of: directly regulates
definition: p directly negatively regulates q iff p is immediately causally upstream of q, and p negatively regulates q.
database_cross_reference: RO:0002630
shorthand: directly_negatively_regulates

produces
type: ObjectProperty
inverse of: produced by
domain: material entity
range: material entity
property chain axiom:
  inverse of: occurs in
property chain axiom: has output
definition: a produces b if some process that occurs_in a has_output b, where a and b are material entities. Examples: hybridoma cell line produces monoclonal antibody reagent; chondroblast produces avascular GAG-rich matrix.
database_cross_reference: RO:0003000
shorthand: produces

produced by
type: ObjectProperty
domain: material entity
range: material entity
definition: a produced_by b iff some process that occurs_in b has_output a.
database_cross_reference: RO:0003001
shorthand: produced_by

has primary input or output
type: ObjectProperty
sub property of: has participant
definition: p 'has primary input ot output' c iff either (a) p 'has primary input' c or (b) p 'has primary output' c.
database_cross_reference: RO:0004007
shorthand: has_primary_input_or_output

has primary output
type: ObjectProperty
sub property of: has output
sub property of: has primary input or output
definition: p has primary output c if (a) p has output c and (b) the goal of process is to modify, produce, or transform c.
database_cross_reference: RO:0004008
shorthand: has_primary_output

has primary input
type: ObjectProperty
sub property of: has input
sub property of: has primary input or output
definition: p has primary input c if (a) p has input c and (b) the goal of process is to modify, consume, or transform c.
database_cross_reference: RO:0004009
shorthand: has_primary_input

enables subfunction
type: ObjectProperty
sub property of: functionally related to
property chain axiom: enables
property chain axiom: has part
definition: Holds between an entity and an process P where the entity enables some larger compound process, and that larger process has-part P.
database_cross_reference: RO:0004031
shorthand: enables_subfunction

acts upstream of or within, positive effect
type: ObjectProperty
sub property of: acts upstream of or within
property chain axiom: enables
property chain axiom: causally upstream of or within, positive effect
database_cross_reference: RO:0004032
shorthand: acts_upstream_of_or_within,_positive_effect

acts upstream of or within, negative effect
type: ObjectProperty
sub property of: acts upstream of or within
property chain axiom: enables
property chain axiom: causally upstream of or within, negative effect
database_cross_reference: RO:0004033
shorthand: acts_upstream_of_or_within,_negative_effect

acts upstream of, positive effect
type: ObjectProperty
sub property of: acts upstream of
sub property of: acts upstream of or within, positive effect
property chain axiom: enables
property chain axiom: causally upstream of, positive effect
definition: c 'acts upstream of, positive effect' p if c is enables f, and f is causally upstream of p, and the direction of f is positive
database_cross_reference: RO:0004034
shorthand: acts_upstream_of,_positive_effect

acts upstream of, negative effect
type: ObjectProperty
sub property of: acts upstream of
sub property of: acts upstream of or within, negative effect
property chain axiom: enables
property chain axiom: causally upstream of, negative effect
definition: c 'acts upstream of, negative effect' p if c is enables f, and f is causally upstream of p, and the direction of f is negative
database_cross_reference: RO:0004035
shorthand: acts_upstream_of,_negative_effect

causally upstream of or within, negative effect
type: ObjectProperty
sub property of: causally upstream of or within
database_cross_reference: RO:0004046
shorthand: causally_upstream_of_or_within,_negative_effect

causally upstream of or within, positive effect
type: ObjectProperty
sub property of: causally upstream of or within
database_cross_reference: RO:0004047
shorthand: causally_upstream_of_or_within,_positive_effect

regulates activity of
type: ObjectProperty
sub property of: causally influences
domain: material entity
range: material entity
definition: The entity A has an activity that regulates an activity of the entity B. For example, A and B are gene products where the catalytic activity of A regulates the kinase activity of B.
database_cross_reference: RO:0011002
shorthand: regulates_activity_of

has small molecule regulator
type: ObjectProperty
sub property of: has participant
inverse of: is small molecule regulator of
definition: a relation between a process and a continuant, in which the process is regulated by the small molecule continuant
database_cross_reference: RO:0012000
shorthand: has_small_molecule_regulator

has small molecule activator
type: ObjectProperty
sub property of: has small molecule regulator
inverse of: is small molecule activator of
definition: a relation between a process and a continuant, in which the process is activated by the small molecule continuant
database_cross_reference: RO:0012001
shorthand: has_small_molecule_activator

acts on population of
type: ObjectProperty
sub property of: has participant
definition: p acts on population of c iff c' is a collection, has members of type c, and p has participant c
database_cross_reference: RO:0012003
shorthand: acts_on_population_of

is small molecule regulator of
type: ObjectProperty
sub property of: capable of regulating
definition: a relation between a continuant and a process, in which the continuant is a small molecule that regulates the process
database_cross_reference: RO:0012004
shorthand: is_small_molecule_regulator_of

is small molecule activator of
type: ObjectProperty
sub property of: capable of positively regulating
sub property of: is small molecule regulator of
definition: a relation between a continuant and a process, in which the continuant is a small molecule that activates the process
database_cross_reference: RO:0012005
shorthand: is_small_molecule_activator_of

results in fusion of
type: ObjectProperty
sub property of: results in organization of
database_cross_reference: RO:0012008
shorthand: results_in_fusion_of

indirectly causally upstream of
type: ObjectProperty
sub property of: causally upstream of
definition: p is indirectly causally upstream of q iff p is causally upstream of q and there exists some process r such that p is causally upstream of r and r is causally upstream of q.
database_cross_reference: RO:0012011
shorthand: indirectly_causally_upstream_of

indirectly regulates
type: ObjectProperty
sub property of: regulates
sub property of: indirectly causally upstream of
definition: p indirectly regulates q iff p is indirectly causally upstream of q and p regulates q.
database_cross_reference: RO:0012012
shorthand: indirectly_regulates

device utilizes material
type: ObjectProperty
property chain axiom: capable of
property chain axiom: has input
definition: X device utilizes material Y means X and Y are material entities, and X is capable of some process P that has input Y.
has_broad_synonym: utilizes
database_cross_reference: RO:0017001
shorthand: device_utilizes_material

regulates characteristic
type: ObjectProperty
sub property of: causally related to
domain: process
range: PATO_0000001
property chain axiom: regulates
definition: A relationship that holds between a process and a characteristic in which process (P) regulates characteristic (C) iff: P results in the existence of C OR affects the intensity or magnitude of C.
database_cross_reference: RO:0019000
shorthand: regulates_characteristic

positively regulates characteristic
type: ObjectProperty
sub property of: regulates characteristic
property chain axiom: positively regulates
definition: A relationship that holds between a process and a characteristic in which process (P) positively regulates characteristic (C) iff: P results in an increase in the intensity or magnitude of C.
database_cross_reference: RO:0019001
shorthand: positively_regulates_characteristic

negatively regulates characteristic
type: ObjectProperty
sub property of: regulates characteristic
property chain axiom: negatively regulates
property chain axiom: positively regulates characteristic
property chain axiom: positively regulates
definition: A relationship that holds between a process and a characteristic in which process (P) negatively regulates characteristic (C) iff: P results in a decrease in the intensity or magnitude of C.
database_cross_reference: RO:0019002
shorthand: negatively_regulates_characteristic

results in changes to anatomical or cellular structure
type: ObjectProperty
sub property of: has participant
definition: p has anatomical participant c iff p has participant c, and c is an anatomical entity
database_cross_reference: RO:0040036
shorthand: results_in_changes_to_anatomical_or_cellular_structure

continuant
type: Class
subclass of: Restriction
  on property: part of
  all values from: continuant
disjoint with: occurrent
disjoint with: Restriction
  on property: part of
  some values from: occurrent
definition: An entity that exists in full at any time in which it exists at all, persists through time while maintaining its identity and has no temporal parts.

occurrent
type: Class
subclass of: Restriction
  on property: part of
  all values from: occurrent
disjoint with: Restriction
  on property: part of
  some values from: continuant
definition: An entity that has temporal parts and that happens, unfolds or develops through time.

independent continuant
type: Class
subclass of: continuant
subclass of: Restriction
  on property: part of
  all values from: independent continuant
disjoint with: specifically dependent continuant
definition: b is an independent continuant = Def. b is a continuant which is such that there is no c and no t such that b s-depends_on c at t. (axiom label in BFO2 Reference: [017-002])

process
type: Class
subclass of: occurrent
definition: p is a process = Def. p is an occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. (axiom label in BFO2 Reference: [083-003])

disposition
type: Class
subclass of: realizable entity
disjoint with: role

realizable entity
type: Class
subclass of: specifically dependent continuant
subclass of: Restriction
  on property: part of
  all values from: realizable entity
disjoint with: quality
definition: A specifically dependent continuant that inheres in continuant entities and are not exhibited in full at every time in which it inheres in an entity or group of entities. The exhibition or actualization of a realizable entity is a particular manifestation, functioning or process that occurs under certain circumstances.

quality
type: Class
subclass of: specifically dependent continuant
subclass of: Restriction
  on property: part of
  all values from: quality

specifically dependent continuant
type: Class
subclass of: continuant
subclass of: Restriction
  on property: part of
  all values from: specifically dependent continuant
definition: b is a specifically dependent continuant = Def. b is a continuant & there is some independent continuant c which is not a spatial region and which is such that b s-depends_on c at every time t during the course of b’s existence. (axiom label in BFO2 Reference: [050-003])

role
type: Class
subclass of: realizable entity
definition: A realizable entity the manifestation of which brings about some result or end that is not essential to a continuant in virtue of the kind of thing that it is but that can be served or participated in by that kind of continuant in some kinds of natural, social or institutional contexts.

function
type: Class
subclass of: disposition

material entity
type: Class
subclass of: independent continuant
disjoint with: immaterial entity
disjoint with: Restriction
  on property: part of
  some values from: immaterial entity
definition: An independent continuant that is spatially extended whose identity is independent of that of other entities and can be maintained through time.

immaterial entity
type: Class
subclass of: independent continuant
disjoint with: Restriction
  on property: has part
  some values from: material entity