All properties in PATO

Label Id Description
obsolete towards towards
occurs across RO_0002021 [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.]
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]
only in taxon RO_0002160 [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.]
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
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']
produced by RO_0003001 [a produced_by b iff some process that occurs_in b has_output a.]