All properties in PATO

Label Id Description
develops in RO_0002226 [x develops_in y if x is located in y whilst x is developing]
develops into RO_0002203 [inverse of develops from]
device utilizes material RO_0017001 [X device utilizes material Y means X and Y are material entities, and X is capable of some process P that has input Y.]
different in magnitude relative to RO_0015006 [q1 different_in_magnitude_relative_to q2 if and only if magnitude(q1) NOT =~ magnitude(q2). Here, magnitude(q) is a function that maps a quality to a unit-invariant scale.]
directly develops from RO_0002207 [Candidate definition: x directly_develops from y if and only if there exists some developmental process (GO:0032502) p such that x and y both participate in p, and x is the output of p and y is the input of p, and a substantial portion of the matter of x comes from y, and the start of x is coincident with or after the end of y.]
directly develops into RO_0002210 [inverse of directly develops from]
disposition_slim disposition_slim
distally connected to distally_connected_to [x distally_connected_to y iff the distal part of x is connected to y. i.e. x connected_to y and x proximal_to y.]
drains RO_0002179 [Relation between an collecting structure and another structure, where the collecting structure acts as a conduit channeling fluid, substance or energy away from the other structure.]
early_development early_development
efo_slim efo_slim
emapa_ehdaa2 emapa_ehdaa2
ends RO_0002229 [inverse of ends with]
ends after RO_0002086
ends with RO_0002230 [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.]
evolutionarily related to RO_0002320 [A relationship that holds via some environmental process]
existence ends during RO_0002492 [x existence ends during y if and only if the time point at which x ends is before or equivalent to the time point at which y ends and after or equivalent to the point at which y starts. Formally: x existence ends during y iff ω(x) <= ω(y) and ω(x) >= α(y).]
existence ends during or before RO_0002497 [x existence ends during or before y if and only if the time point at which x ends is before or equivalent to the time point at which y ends.]
existence ends with RO_0002493 [x existence ends with y if and only if the time point at which x ends is equivalent to the time point at which y ends. Formally: x existence ends with y iff ω(x) = ω(y).]
existence overlaps RO_0002490 [x existence overlaps y if and only if either (a) the start of x is part of y or (b) the end of x is part of y. Formally: x existence starts and ends during y iff (α(x) >= α(y) & α(x) <= ω(y)) OR (ω(x) <= ω(y) & ω(x) >= α(y))]