is a defining property chain axiom If R <- P o Q is a defining property chain axiom, then it also holds that R -> P o Q. Note that this cannot be expressed directly in OWL is a defining property chain axiom where second argument is reflexive If R <- P o Q is a defining property chain axiom, then (1) R -> P o Q holds and (2) Q is either reflexive or locally reflexive. A corollary of this is that P SubPropertyOf R. part of a core relation that holds between a part and its whole has part a core relation that holds between a whole and its part 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 contains process [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 inheres in a relation between a specifically dependent continuant (the dependent) and an independent continuant (the bearer), in which the dependent specifically depends on the bearer for its existence bearer of a relation between an independent continuant (the bearer) and a specifically dependent continuant (the dependent), in which the dependent specifically depends on the bearer for its existence participates in a relation between a continuant and a process, in which the continuant is somehow involved in the process has participant a relation between a process and a continuant, in which the continuant is somehow involved in the process in neural circuit with A relation that holds between two neurons connected directly via a synapse, or indirectly via a series of synaptically connected neurons. upstream in neural circuit with A relation that holds between a neuron that is synapsed_to another neuron or a neuron that is connected indirectly to another by a chain of neurons, each synapsed_to the next. downstream in neural circuit with A relation that holds between a neuron that is synapsed_to another neuron or a neuron that is connected indirectly to another by a chain of neurons, each synapsed_to the next. location of a relation between two independent continuants, the location and the target, in which the target is entirely within the location contained in contains located in a relation between two independent continuants, the target and the location, in which the target is entirely within the location innervated_by has synaptic terminal of has soma location Relation between a neuron and an anatomical structure that its soma is part of. synapsed by Relation between an anatomical structure (including cells) and a neuron that chemically synapses to it. has plasma membrane part Holds between a cell c and a protein complex or protein p if and only if that cell has as part a plasma_membrane[GO:0005886], and that plasma membrane has p as part. synapsed to Relation between a neuron and an anatomical structure (including cells) that it chemically synapses to. has synaptic terminal in A general relation between a neuron and some structure in which it either chemically synapses to some target or in which it receives (chemical) synaptic input. overlaps x overlaps y if and only if there exists some z such that x has part z and z part of y true innervates Relation between a 'neuron projection bundle' and a region in which one or more of its component neuron projections either synapses to targets or receives synaptic input. T innervates some R Expands_to: T has_fasciculating_neuron_projection that synapse_in some R. spatially disjoint from A is spatially_disjoint_from B if and only if they have no parts in common develops from 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 develops into regulates x regulates y if and only if the x is the realization of a function to exert an effect on the frequency, rate or extent of y negatively regulates x negatively regulates y if and only if the progression of x reduces the frequency, rate or extent of y positively regulates x positively regulates y if and only if the progression of x increases the frequency, rate or extent of y capable of 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. capable of part of 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. true adjacent to x adjacent to y if and only if x and y share a boundary has developmental contribution from x has developmental contribution from y iff x has some part z such that z develops from y developmentally contributes to developmentally preceded by 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 developmentally succeeded by Inverse of developmentally preceded by inheres in part of q inheres in part of w if and only if there exists some p such that q inheres in p and p part of w. true mereotopologically related to A mereological relationship or a topological relationship developmentally related to A relationship that holds between entities participating in some developmental process (GO:0032502) functionally related to part of structure that is capable of this relation holds between c and p when c is part of some c', and c' is capable of p. true regulated by inverse of regulates negatively regulated by positively regulated by spatially coextensive with x spatially_coextensive_with y if and inly if x and y have the same location has developmental potential involving 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). has potential to developmentally contribute to x has potential to developmentrally contribute to y iff x developmentally contributes to y or x is capable of developmentally contributing to y has potential to develop into x has the potential to develop into y iff x develops into y or if x is capable of developing into y has potential to directly develop into x has potential to directly develop into y iff x directly develops into y or x is capable of directly developing into y causally related to This relation groups causal relations between material entities and causal relations between processes causally upstream of or within p 'causally upstream or within' q iff (1) the end of p is before the end of q and (2) the execution of p exerts some causal influence over the outputs of q; i.e. if p was abolished or the outputs of p were to be modified, this would necessarily affect q. causally downstream of or within has part that occurs in 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. true causal agent in A relationship between a material entity and a process where the material entity has some causal role that influences the process causal relation between processes 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 of direct activation or direct inhibition. p may be upstream, downstream, part of or a container of q. depends on has part structure that is capable of 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 causal relation between material entity and a process 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. capable of regulating Holds between c and p if and only if c is capable of some activity a, and a regulates p. capable of negatively regulating Holds between c and p if and only if c is capable of some activity a, and a negatively regulates p. capable of positively regulating Holds between c and p if and only if c is capable of some activity a, and a positively regulates p. has causal agent Inverse of 'causal agent in' related via dependence to A relationship that holds between two entities, where the relationship holds based on the presence or absence of statistical dependence relationship. The entities may be statistical variables, or they may be other kinds of entities such as diseases, chemical entities or processes. produces 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. produced by a produced_by b iff some process that occurs_in b has_output a. continuant 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 An entity that has temporal parts and that happens, unfolds or develops through time. independent continuant A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything. process An occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. specifically dependent continuant A continuant that inheres in or is borne by other entities. Every instance of A requires some specific instance of B which must always be the same. material entity An independent continuant that is spatially extended whose identity is independent of that of other entities and can be maintained through time. anatomical structure material anatomical entity cell part multi-cell-part structure neuron projection bundle cell neuron nucleus cell part