Module extract from NCIt OBO Edition (Plus) based on the NCIt Neoplasm Core. This module is based on the SLME BOT algorithm, starting with the list of Neoplasm Core terms.
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
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.
is a defining property chain axiom where second argument is reflexive
a core relation that holds between a part and its whole
part of
a core relation that holds between a whole and its part
has part
X preceded_by Y iff: end(Y) before_or_simultaneous_with start(X)
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.
preceded by
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.
precedes
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
occurs in
[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
contains process
a relation between a continuant and a process, in which the continuant is somehow involved in the process
participates in
a relation between a process and a continuant, in which the continuant is somehow involved in the process
has participant
A 'has regulatory component activity' B if A and B are GO molecular functions (GO_0003674), A has_component B and A is regulated by B.
A relationship that holds between a GO molecular function and a component of that molecular function that negatively regulates the activity of the whole. More formally, A 'has regulatory component activity' B iff :A and B are GO molecular functions (GO_0003674), A has_component B and A is negatively regulated by B.
has negative regulatory component activity
A relationship that holds between a GO molecular function and a component of that molecular function that positively regulates the activity of the whole. More formally, A 'has regulatory component activity' B iff :A and B are GO molecular functions (GO_0003674), A has_component B and A is positively regulated by B.
has positive regulatory component activity
w 'has process component' p if p and w are processes, w 'has part' p and w is such that it can be directly disassembled into into n parts p, p2, p3, ..., pn, where these parts are of similar type.
A relationship that holds between between a receptor and an chemical entity, typically a small molecule or peptide, that carries information between cells or compartments of a cell and which binds the receptor and regulates its effector function.
Process(P2) is directly negatively regulated by process(P1) iff: P1 negatively regulates P2 via direct physical interaction between an agent executing P1 (or some part of P1) and an agent executing P2 (or some part of P2). For example, if protein A has protein binding activity(P1) that targets protein B and this binding negatively regulates the kinase activity (P2) of protein B then P2 directly negatively regulated by P1.
Process(P2) is directly postively regulated by process(P1) iff: P1 positively regulates P2 via direct physical interaction between an agent executing P1 (or some part of P1) and an agent executing P2 (or some part of P2). For example, if protein A has protein binding activity(P1) that targets protein B and this binding positively regulates the kinase activity (P2) of protein B then P2 is directly postively regulated by P1.
A 'has effector activity' B if A and B are GO molecular functions (GO_0003674), A 'has component activity' B and B is the effector (output function) of B. Each compound function has only one effector activity.
ends after
X immediately_preceded_by Y iff: end(X) simultaneous_with start(Y)
A non-transitive temporal relation in which one process immediately precedes another process, such that there is no interval of time between the two processes[SIO:000251].
immediately preceded by
immediately precedes
w 'has component' p if w 'has part' p and w is such that it can be directly disassembled into into n parts p, p2, p3, ..., pn, where these parts are of similar type.
has component
process(P1) regulates process(P2) iff: P1 results in the initiation or termination of P2 OR affects the frequency of its initiation or termination OR affects the magnitude or rate of output of P2.
regulates
Process(P1) negatively regulates process(P2) iff: P1 terminates P2, or P1 descreases the the frequency of initiation of P2 or the magnitude or rate of output of P2.
negatively regulates
Process(P1) postively regulates process(P2) iff: P1 initiates P2, or P1 increases the the frequency of initiation of P2 or the magnitude or rate of output of P2.
positively regulates
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
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.
capable of part of
temporally related to
p has input c iff: p is a process, c is a material entity, c is a participant in p, c is present at the start of p, and the state of c is modified during p.
has input
c involved in regulation of p if c enables 'p' and p' causally upstream of p
c acts upstream of or within p if c is enables 'p' and p' causally upstream of or within p
enables
functionally related to
this relation holds between c and p when c is part of some c', and c' is capable of p.
part of structure that is capable of
c involved_in p if and only if c enables some process p', and p' is part of p
involved in
enabled by
regulated by
negatively regulated by
positively regulated by
input of
causally downstream of
immediately causally downstream of
p is causally upstream of q if and only if p precedes q and p and q are linked in a causal chain
causally upstream of
p is immediately causally upstream of q iff both (a) p immediately precedes q and (b) p is causally upstream of q. In addition, the output of p must be an input of q.
immediately causally upstream of
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.
inverse of causally upstream of or within
c involved in regulation of p if c is involved in some 'p' and p' regulates some p
c involved in or regulates p if and only if either (i) c is involved in p or (ii) c is involved in regulation of p
involved in or involved in regulation of
c executes activity in d if and only if c enables p and p occurs_in d. Assuming no action at a distance by gene products, if a gene product enables (is capable of) a process that occurs in some structure, it must have at least some part in that structure.
A relationship that holds between two entities in which the processes executed by the two entities are causally connected.
An interaction relationship in which the two partners are molecular entities that directly physically interact with each other for example via a stable binding interaction or a brief interaction during which one modifies the other.
Holds between molecular entities A and B where A can physically interact with B and in doing so regulates a process that B is capable of. For example, A and B may be gene products and binding of B by A regulates the kinase activity of B.
Holds between molecular entities A and B where A can physically interact with B and in doing so negatively regulates a process that B is capable of. For example, A and B may be gene products and binding of B by A negatively regulates the kinase activity of B.
activity directly negatively regulates activity of
Holds between molecular entities A and B where A can physically interact with B and in doing so positively regulates a process that B is capable of. For example, A and B may be gene products and binding of B by A positively regulates the kinase activity of B.
activity directly positively regulates activity of
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.
A relationship between a material entity and a process where the material entity has some causal role that influences the process
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.
causal relation between material entities
Holds between materal entities a and b if the activity of a is causally upstream of the activity of b, or causally upstream of a an activity that modifies b
Process(P1) directly regulates process(P2) iff: P1 regulates P2 via direct physical interaction between an agent executing P1 (or some part of P1) and an agent executing P2 (or some part of P2). For example, if protein A has protein binding activity(P1) that targets protein B and this binding regulates the kinase activity (P2) of protein B then P1 directly regulates P2.
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
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.
causal relation between material entity and a process
Holds between c and p if and only if c is capable of some activity a, and a regulates p.
Holds between c and p if and only if c is capable of some activity a, and a negatively regulates p.
Holds between c and p if and only if c is capable of some activity a, and a positively regulates p.
Process(P1) directly postively regulates process(P2) iff: P1 positively regulates P2 via direct physical interaction between an agent executing P1 (or some part of P1) and an agent executing P2 (or some part of P2). For example, if protein A has protein binding activity(P1) that targets protein B and this binding positively regulates the kinase activity (P2) of protein B then P1 directly positively regulates P2.
Process(P1) directly negatively regulates process(P2) iff: P1 negatively regulates P2 via direct physical interaction between an agent executing P1 (or some part of P1) and an agent executing P2 (or some part of P2). For example, if protein A has protein binding activity(P1) that targets protein B and this binding negatively regulates the kinase activity (P2) of protein B then P1 directly negatively regulates P2.
negative regulation of molecular function
positive regulation of molecular function
positive regulation of biological process
negative regulation of biological process
MF(X)-directly_regulates->MF(Y)-enabled_by->GP(Z) => MF(Y)-has_input->GP(Y) e.g. if 'protein kinase activity'(X) directly_regulates 'protein binding activity (Y)and this is enabled by GP(Z) then X has_input Z
GP(X)-enables->MF(Y)-has_part->MF(Z) => GP(X) enables MF(Z), e.g. if GP X enables ATPase coupled transporter activity' and 'ATPase coupled transporter activity' has_part 'ATPase activity' then GP(X) enables 'ATPase activity'
GP(X)-enables->MF(Y)-part_of->BP(Z) => GP(X) involved_in BP(Z) e.g. if X enables 'protein kinase activity' and Y 'part of' 'signal tranduction' then X involved in 'signal transduction'
This rule is dubious: added as a quick fix for expected inference in GO-CAM. The problem is most acute for transmembrane proteins, such as receptors or cell adhesion molecules, which have some subfunctions inside the cell (e.g. kinase activity) and some subfunctions outside (e.g. ligand binding). Correct annotation of where these functions occurs leads to incorrect inference about the location of the whole protein. This should probably be weakened to "... -> overlaps"
If a molecular function (X) has a regulatory subfunction, then any gene product which is an input to that subfunction has an activity that directly_regulates X. Note: this is intended for cases where the regaultory subfunction is protein binding, so it could be tightened with an additional clause to specify this.
inferring direct reg edge from input to regulatory subfunction
inferring direct neg reg edge from input to regulatory subfunction
inferring direct positive reg edge from input to regulatory subfunction
effector input is compound function input
Input of effector is input of its parent MF
if effector directly regulates X, its parent MF directly regulates X
if effector directly positively regulates X, its parent MF directly positively regulates X
if effector directly negatively regulates X, its parent MF directly negatively regulates X