All properties in HP

Label Id Description
negatively regulated by RO_0002335 [inverse of negatively regulates]
negatively regulates RO_0002212 [p negatively regulates q iff p regulates q, and p decreases the rate or magnitude of execution of q.]
non_informative non_informative
occurs in BFO_0000066 [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]
organ_slim organ_slim
output of RO_0002353 [inverse of has output]
overlaps RO_0002131 [x overlaps y if and only if there exists some z such that x has part z and z part of y]
part of BFO_0000050 [a core relation that holds between a part and its whole]
part of developmental precursor of RO_0002287
part of structure that is capable of RO_0002329 [this relation holds between c and p when c is part of some c', and c' is capable of p.]
participates in RO_0000056 [a relation between a continuant and a process, in which the continuant is somehow involved in the process]
pheno_slim pheno_slim
phenotype_rcn phenotype_rcn
plural form plural_form
positively regulated by RO_0002336 [inverse of positively regulates]
positively regulates RO_0002213 [p positively regulates q iff p regulates q, and p increases the rate or magnitude of execution of q.]
posteriorly connected to posteriorly_connected_to [x posteriorly_connected_to y iff the posterior part of x is connected to y. i.e. x connected_to y and x anterior_to y.]
preceded by BFO_0000062 [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.]
precedes BFO_0000063 [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.]
process has causal agent RO_0002608 [Inverse of 'causal agent in process']