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