An ontology for respresenting spatial concepts, anatomical axes, gradients, regions, planes, sides and surfaces. These concepts can be used at multiple biological scales and in a diversity of taxa, including plants, animals and fungi. The BSPO is used to provide a source of anatomical location descriptors for logically defining anatomical entity classes in anatomy ontologies.
definition
The official definition, explaining the meaning of a class or property. Shall be Aristotelian, formalized and normalized. Can be augmented with colloquial definitions.
2012-04-05: Barry Smith The official OBI definition, explaining the meaning of a class or property: 'Shall be Aristotelian, formalized and normalized. Can be augmented with colloquial definitions' is terrible. Can you fix to something like: A statement of necessary and sufficient conditions explaining the meaning of an expression referring to a class or property. Alan Ruttenberg Your proposed definition is a reasonable candidate, except that it is very common that necessary and sufficient conditions are not given. Mostly they are necessary, occasionally they are necessary and sufficient or just sufficient. Often they use terms that are not themselves defined and so they effectively can't be evaluated by those criteria. On the specifics of the proposed definition: We don't have definitions of 'meaning' or 'expression' or 'property'. For 'reference' in the intended sense I think we use the term 'denotation'. For 'expression', I think we you mean symbol, or identifier. For 'meaning' it differs for class and property. For class we want documentation that let's the intended reader determine whether an entity is instance of the class, or not. For property we want documentation that let's the intended reader determine, given a pair of potential relata, whether the assertion that the relation holds is true. The 'intended reader' part suggests that we also specify who, we expect, would be able to understand the definition, and also generalizes over human and computer reader to include textual and logical definition. Personally, I am more comfortable weakening definition to documentation, with instructions as to what is desirable. We also have the outstanding issue of how to aim different definitions to different audiences. A clinical audience reading chebi wants a different sort of definition documentation/definition from a chemistry trained audience, and similarly there is a need for a definition that is adequate for an ontologist to work with.
PERSON:Daniel Schober
editor note
An administrative note intended for its editor. It may not be included in the publication version of the ontology, so it should contain nothing necessary for end users to understand the ontology.
has ontology root term
Ontology annotation property. Relates an ontology to a term that is a designated root term of the ontology. Display tools like OLS can use terms annotated with this property as the starting point for rendering the ontology class hierarchy. There can be more than one root.
Nicolas Matentzoglu
term replaced by
Use on obsolete terms, relating the term to another term that can be used as a substitute
Person:Alan Ruttenberg
Add as annotation triples in the granting ontology
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
synonym typically used in the context of human anatomy
synonym typically used in the context of vertebrate anatomy
An alternative label for a class or property which has the exact same meaning than the preferred name/primary label.
has exact synonym
An alternative label for a class or property which has a more specific meaning than the preferred name/primary label.
has narrow synonym
An alternative label for a class or property that has been used synonymously with the primary term name, but the usage is not strictly correct.
has related synonym
is part of
my brain is part of my body (continuant parthood, two material entities)
my stomach cavity is part of my stomach (continuant parthood, immaterial entity is part of material entity)
this day is part of this year (occurrent parthood)
a core relation that holds between a part and its whole
Everything is part of itself. Any part of any part of a thing is itself part of that thing. Two distinct things cannot be part of each other.
Occurrents are not subject to change and so parthood between occurrents holds for all the times that the part exists. Many continuants are subject to change, so parthood between continuants will only hold at certain times, but this is difficult to specify in OWL. See http://purl.obolibrary.org/obo/ro/docs/temporal-semantics/
Parthood requires the part and the whole to have compatible classes: only an occurrent can be part of an occurrent; only a process can be part of a process; only a continuant can be part of a continuant; only an independent continuant can be part of an independent continuant; only an immaterial entity can be part of an immaterial entity; only a specifically dependent continuant can be part of a specifically dependent continuant; only a generically dependent continuant can be part of a generically dependent continuant. (This list is not exhaustive.) A continuant cannot be part of an occurrent: use 'participates in'. An occurrent cannot be part of a continuant: use 'has participant'. A material entity cannot be part of an immaterial entity: use 'has location'. A specifically dependent continuant cannot be part of an independent continuant: use 'inheres in'. An independent continuant cannot be part of a specifically dependent continuant: use 'bearer of'.
part_of
part of
has part
my body has part my brain (continuant parthood, two material entities)
my stomach has part my stomach cavity (continuant parthood, material entity has part immaterial entity)
this year has part this day (occurrent parthood)
a core relation that holds between a whole and its part
Everything has itself as a part. Any part of any part of a thing is itself part of that thing. Two distinct things cannot have each other as a part.
Parthood requires the part and the whole to have compatible classes: only an occurrent have an occurrent as part; only a process can have a process as part; only a continuant can have a continuant as part; only an independent continuant can have an independent continuant as part; only a specifically dependent continuant can have a specifically dependent continuant as part; only a generically dependent continuant can have a generically dependent continuant as part. (This list is not exhaustive.) A continuant cannot have an occurrent as part: use 'participates in'. An occurrent cannot have a continuant as part: use 'has participant'. An immaterial entity cannot have a material entity as part: use 'location of'. An independent continuant cannot have a specifically dependent continuant as part: use 'bearer of'. A specifically dependent continuant cannot have an independent continuant as part: use 'inheres in'.
has_part
preceded by
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.
An example is: translation preceded_by transcription; aging preceded_by development (not however death preceded_by aging). Where derives_from links classes of continuants, preceded_by links classes of processes. Clearly, however, these two relations are not independent of each other. Thus if cells of type C1 derive_from cells of type C, then any cell division involving an instance of C1 in a given lineage is preceded_by cellular processes involving an instance of C. The assertion P preceded_by P1 tells us something about Ps in general: that is, it tells us something about what happened earlier, given what we know about what happened later. Thus it does not provide information pointing in the opposite direction, concerning instances of P1 in general; that is, that each is such as to be succeeded by some instance of P. Note that an assertion to the effect that P preceded_by P1 is rather weak; it tells us little about the relations between the underlying instances in virtue of which the preceded_by relation obtains. Typically we will be interested in stronger relations, for example in the relation immediately_preceded_by, or in relations which combine preceded_by with a condition to the effect that the corresponding instances of P and P1 share participants, or that their participants are connected by relations of derivation, or (as a first step along the road to a treatment of causality) that the one process in some way affects (for example, initiates or regulates) the other.
is preceded by
preceded_by
precedes
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.
x anterior to y iff x is further along the antero-posterior axis than y, towards the head. An antero-posterior axis is an axis that extends through an organism from head end to opposite end of body or tail.
x distal to y iff x is further along the proximo-distal axis than y, towards the appendage tip. A proximo-distal axis extends from tip of an appendage (distal) to where it joins the body (proximal).
x dorsal to y iff x is further along the dorso-ventral axis than y, towards the back. A dorso-ventral axis is an axis that extends through an organism from back (e.g. spinal column) to front (e.g. belly).
x posterior to y iff x is further along the antero-posterior axis than y, towards the body/tail. An antero-posterior axis is an axis that extends through an organism from head end to opposite end of body or tail.
x proximal to y iff x is closer to the point of attachment with the body than y.
The elbow is proximal to the hand, but distal to the shoulder.
x ventral to y iff x is further along the dorso-ventral axis than y, towards the front. A dorso-ventral axis is an axis that extends through an organism from back (e.g. spinal column) to front (e.g. belly).
Crosses at an angle that is 90 degrees, or close to 90 degrees. In any non-linear organism, the main axes are rarely perpendicular when taken through the organism as a whole.
On the same side as. For example, the left arm is ipsilateral to the left leg.
On the opposite side from. For example, the left arm is contralateral to the right arm (and the right leg).
Further away from the surface of the organism. Thus, the muscular layer is deep to the skin, but superficial to the intestines.
Near the outer surface of the organism. Thus, skin is superficial to the muscle layer.
Closer to the left side of the organism. Example: The dorsal fin is right of the left pectoral fin, but is left of the right eye. On the type level: X left of Y <=> every instance x of X is left of some instance y of Y, and there exists some organism o such that x part of o and y part of o.
Closer to the right side of the organism. Example: The dorsal fin is right of the left pectoral fin, but is left of the right eye. On the type level: X left of Y <=> every instance x of X is right of some instance y of Y, and there exists some organism o such that x part of o and y part of o.
Direcly opposite to. i.e. on the opposite side through the axis.
X lateral to y if x is further from the midsagittal plane than y.
Jennifer Girón
lateral to
X medial to y if x is closer to the midsagittal plane than y.
medial to
X in left side of Y <=> if Y is subdivided into two left and right portions, X is part of the left portion.
X in right side of Y <=> if Y is subdivided into two left and right portions, X is part of the right portion.
X posterior side of Y <=> if Y is subdivided into two anterior and posterior portions, X is part of the posterior portion.
X anterior side of Y <=> if Y is subdivided into two anterior and posterior portions, X is part of the anterior portion.
x in proximal side of y <=> if y is subdivided into two proximal and distal portions, y is part of the proximal portion.
x in distal side of y <=> if y is subdivided into two proximal and distal portions, y is part of the distal portion.
X in lateral side of Y <=> if X is in left side of Y or X is in right side of Y. X is often, but not always a paired structure
X superficial part of Y <=> if Y is subdivided into two superficial and deep portions, X is part of the superficial portion.
X superficial part of Y <=> if Y is subdivided into two superficial and deep portions, X is part of the deep portion.
x is parallel t y iff x and y are lines or planes which when extended indefinitely do not cross.
X proximalmost part of Y <=> X is in proximal side of Y and X is adjacent to the proximal boundary of Y
x immediately deep to y iff x deep_to y and x is contiguous with y.
X distalmost part of Y <=> X is in distal side of Y and X is adjacent to the distal boundary of Y
x preaxial to y iff x is further along the preaxial-postaxial axis than y, towards the postaxial side.
X intersects median plane of iff X crosses the midine plane of Y.
A directional axis can be divided by a plane. Following Allen Interval Algebra terminology we say that the side on which the axis initiates starts the axis, with the other side finishing the axis. If s finishes axis x, and x has end point p, then x overlaps p
A relation between an axis and a part of an organism, in which the part defines the initial point of the axis.
Axes can be defined in a given species by subtyping the relevant axis type and stating a end and end point
A directional axis can be divided by a plane. Following Allen Interval Algebra terminology we say that the side on which the axis initiates starts the axis, with the other side finishing the axis. . If s starts axis x, and x has start point p, then x overlaps p
placeholder. used for relation between anatomical surface and an anatomical side.
x immediately anterior to y iff x anterior to y and x is contiguous with y.
x immediately distal to y iff x distal to y and x is contiguous with y.
x immediately dorsal to y iff x dorsal to y and x is contiguous with y.
x immediately posterior to y iff x posterior_to y and x is contiguous with y.
x immediately proximal to y iff x proximal to y and x is contiguous with y.
x immediately superficial to y iff x superficial to y and x is contiguous with y.
x immediately ventral to y iff x ventral to y and x is contiguous with y.
x immediately left of y iff x left_of y and x is contiguous with y.
x immediately right of y iff x right of y and x is contiguous with y.
X dorsal side of Y <=> if Y is subdivided into two dorsal and ventral portions, X is part of the dorsal portion.
X ventral side of Y <=> if Y is subdivided into two dorsal and ventral portions, X is part of the ventral portion.
nearer to the oral opening of the organism, on the oral-aboral axis.
nearer to the aboral opening of the organism, on the oral-aboral axis.
X in_central_side Y <=> if Y is subdivided into left and right portions around some median divisor, all parts of X are closer to the median divisor than the outermost lateral sides.
This was migrated from http://purl.obolibrary.org/obo/uberon/core#in_central_side_of in Uberon.
This relationship was originally called http://purl.obolibrary.org/obo/#_has_start_point, but was renamed because of the non-standard IRI syntax.
Axes can be defined in a given species by subtyping the relevant axis type and stating a start and end point.
x dorsalmost_part_of y iff x part_of y and there is no z which is part_of y and is more dorsal than x but not part_of x; x is adjacent to the dorsal boundary of y
dorsalmost part of
x anteriormost_part_of y iff x part_of y and there is no z which is part_of y and is more anterior than x but not part_of x; x is adjacent to the anterior boundary of y
anteriormost part of
x lateralmost_part_of y iff x part_of y and there is no z which is part_of y and is more lateral than x but not part_of x; x is adjacent to the lateral boundary of y
lateralmost part of
X medial side of Y <=> if Y is subdivided into two medial and lateral portions, X is part of the medial portion.
in medial side of
x medialmost_part_of y iff x part_of y and there is no z which is part_of y and is more medial than x but not part_of x; x is adjacent to the medial boundary of y
medialmost part of
x preaxial to y iff x is further along the preaxial-postaxial axis than y, towards the front.
inheres in
this fragility is a characteristic of this vase
this red color is a characteristic of this apple
a relation between a specifically dependent continuant (the characteristic) and any other entity (the bearer), in which the characteristic depends on the bearer for its existence.
inheres_in
Note that this relation was previously called "inheres in", but was changed to be called "characteristic of" because BFO2 uses "inheres in" in a more restricted fashion. This relation differs from BFO2:inheres_in in two respects: (1) it does not impose a range constraint, and thus it allows qualities of processes, as well as of information entities, whereas BFO2 restricts inheres_in to only apply to independent continuants (2) it is declared functional, i.e. something can only be a characteristic of one thing.
characteristic of
bearer of
this apple is bearer of this red color
this vase is bearer of this fragility
Inverse of characteristic_of
A bearer can have many dependents, and its dependents can exist for different periods of time, but none of its dependents can exist when the bearer does not exist.
bearer_of
is bearer of
has characteristic
participates in
this blood clot participates in this blood coagulation
this input material (or this output material) participates in this process
this investigator participates in this investigation
a relation between a continuant and a process, in which the continuant is somehow involved in the process
participates_in
has participant
this blood coagulation has participant this blood clot
this investigation has participant this investigator
this process has participant this input material (or this output material)
a relation between a process and a continuant, in which the continuant is somehow involved in the process
Has_participant is a primitive instance-level relation between a process, a continuant, and a time at which the continuant participates in some way in the process. The relation obtains, for example, when this particular process of oxygen exchange across this particular alveolar membrane has_participant this particular sample of hemoglobin at this particular time.
has_participant
this catalysis function is a function of this enzyme
a relation between a function and an independent continuant (the bearer), in which the function specifically depends on the bearer for its existence
A function inheres in its bearer at all times for which the function exists, however the function need not be realized at all the times that the function exists.
function_of
is function of
This relation is modeled after the BFO relation of the same name which was in BFO2, but is used in a more restricted sense - specifically, we model this relation as functional (inherited from characteristic-of). Note that this relation is now removed from BFO2020.
function of
this red color is a quality of this apple
a relation between a quality and an independent continuant (the bearer), in which the quality specifically depends on the bearer for its existence
A quality inheres in its bearer at all times for which the quality exists.
is quality of
quality_of
quality of
this investigator role is a role of this person
a relation between a role and an independent continuant (the bearer), in which the role specifically depends on the bearer for its existence
A role inheres in its bearer at all times for which the role exists, however the role need not be realized at all the times that the role exists.
is role of
role_of
role of
this enzyme has function this catalysis function (more colloquially: this enzyme has this catalysis function)
a relation between an independent continuant (the bearer) and a function, in which the function specifically depends on the bearer for its existence
A bearer can have many functions, and its functions can exist for different periods of time, but none of its functions can exist when the bearer does not exist. A function need not be realized at all the times that the function exists.
has_function
has function
this apple has quality this red color
a relation between an independent continuant (the bearer) and a quality, in which the quality specifically depends on the bearer for its existence
A bearer can have many qualities, and its qualities can exist for different periods of time, but none of its qualities can exist when the bearer does not exist.
has_quality
has quality
this person has role this investigator role (more colloquially: this person has this role of investigator)
a relation between an independent continuant (the bearer) and a role, in which the role specifically depends on the bearer for its existence
A bearer can have many roles, and its roles can exist for different periods of time, but none of its roles can exist when the bearer does not exist. A role need not be realized at all the times that the role exists.
has_role
has role
a relation between an independent continuant (the bearer) and a disposition, in which the disposition specifically depends on the bearer for its existence
has disposition
disposition of
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.
By convention GO molecular functions are classified by their effector function. Internal regulatory functions are treated as components. For example, NMDA glutmate receptor activity is a cation channel activity with positive regulatory component 'glutamate binding' and negative regulatory components including 'zinc binding' and 'magnesium binding'.
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.
By convention GO molecular functions are classified by their effector function and internal regulatory functions are treated as components. So, for example calmodulin has a protein binding activity that has positive regulatory component activity calcium binding activity. Receptor tyrosine kinase activity is a tyrosine kinase activity that has positive regulatory component 'ligand binding'.
has positive regulatory component activity
A 'has component activity' B if A is A and B are molecular functions (GO_0003674) and A has_component B.
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.
Process(P2) is directly regulated by process(P1) 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.
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.
This relation is designed for constructing compound molecular functions, typically in combination with one or more regulatory component activity relations.
X ends_after Y iff: end(Y) before_or_simultaneous_with end(X)
ends after
X immediately_preceded_by Y iff: end(X) simultaneous_with start(Y)
immediately preceded by
X immediately_precedes_Y iff: end(X) simultaneous_with start(Y)
immediately precedes
x overlaps y if and only if there exists some z such that x has part z and z part of y
x overlaps y iff they have some part in common.
http://purl.obolibrary.org/obo/BFO_0000051 some (http://purl.obolibrary.org/obo/BFO_0000050 some ?Y)
"(forall (x y) (iff (overlaps x y) (exists (z) (and (part of z x) (part of z y)))))" CLIF []
overlaps
A is spatially_disjoint_from B if and only if they have no parts in common
There are two ways to encode this as a shortcut relation. The other possibility to use an annotation assertion between two classes, and expand this to a disjointness axiom.
Note that it would be possible to use the relation to label the relationship between a near infinite number of structures - between the rings of saturn and my left earlobe. The intent is that this is used for parsiomoniously for disambiguation purposes - for example, between siblings in a jointly exhaustive pairwise disjointness hierarchy
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.
The definition of 'has component' is still under discussion. The challenge is in providing a definition that does not imply transitivity.
For use in recording has_part with a cardinality constraint, because OWL does not permit cardinality constraints to be used in combination with transitive object properties. In situations where you would want to say something like 'has part exactly 5 digit, you would instead use has_component exactly 5 digit.
has component
p regulates q iff p is causally upstream of q, the execution of p is not constant and varies according to specific conditions, and p influences the rate or magnitude of execution of q due to an effect either on some enabler of q or some enabler of a part of q.
Regulation precludes parthood; the regulatory process may not be within the regulated process.
regulates
p negatively regulates q iff p regulates q, and p decreases the rate or magnitude of execution of q.
negatively regulates (process to process)
negatively regulates
p positively regulates q iff p regulates q, and p increases the rate or magnitude of execution of q.
positively regulates (process to process)
positively regulates
mechanosensory neuron capable of detection of mechanical stimulus involved in sensory perception (GO:0050974)
osteoclast SubClassOf 'capable of' some 'bone resorption'
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.
For compatibility with BFO, this relation has a shortcut definition in which the expression "capable of some P" expands to "bearer_of (some realized_by only P)".
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
A caterpillar walking on the surface of a leaf is adjacent_to the leaf, if one of the caterpillar appendages is touching the leaf. In contrast, a butterfly flying close to a flower is not considered adjacent, unless there are any touching parts.
The epidermis layer of a vertebrate is adjacent to the dermis.
The plasma membrane of a cell is adjacent to the cytoplasm, and also to the cell lumen which the cytoplasm occupies.
The skin of the forelimb is adjacent to the skin of the torso if these are considered anatomical subdivisions with a defined border. Otherwise a relation such as continuous_with would be used.
x adjacent to y if and only if x and y share a boundary.
This relation acts as a join point with BSPO
adjacent to
Do not use this relation directly. It is ended as a grouping for relations between occurrents involving the relative timing of their starts and ends.
A relation that holds between two occurrents. This is a grouping relation that collects together all the Allen relations.
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
A faulty traffic light (material entity) whose malfunctioning (a process) is causally upstream of a traffic collision (a process): the traffic light acts upstream of the collision.
c acts upstream of p if and only if c enables some f that is involved in p' and p' occurs chronologically before p, is not part of p, and affects the execution of p. c is a material entity and f, p, p' are processes.
A gene product that has some activity, where that activity may be a part of a pathway or upstream of the pathway.
c acts upstream of or within p if c is enables f, and f is causally upstream of or within p. c is a material entity and p is an process.
p is causally upstream of, positive effect q iff p is casually upstream of q, and the execution of p is required for the execution of q.
holds between x and y if and only if x is causally upstream of y and the progression of x increases the frequency, rate or extent of y
p is causally upstream of, negative effect q iff p is casually upstream of q, and the execution of p decreases the execution of q.
q characteristic of part of w if and only if there exists some p such that q inheres in p and p part of w.
Because part_of is transitive, inheres in is a sub-relation of characteristic of part of
characteristic of part of
A mereological relationship or a topological relationship
Do not use this relation directly. It is ended as a grouping for a diverse set of relations, all involving parthood or connectivity relationships
mereotopologically related to
a particular instances of akt-2 enables some instance of protein kinase activity
c enables p iff c is capable of p and c acts to execute p.
This relation differs from the parent relation 'capable of' in that the parent is weaker and only expresses a capability that may not be actually realized, whereas this relation is always realized.
enables
A grouping relationship for any relationship directly involving a function, or that holds because of a function of one of the related entities.
This is a grouping relation that collects relations used for the purpose of connecting structure and function
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 indirectly positively regulates q iff p is indirectly causally upstream of q and p positively regulates q.
indirectly positively regulates
p indirectly negatively regulates q iff p is indirectly causally upstream of q and p negatively regulates q.
indirectly negatively regulates
relation that links two events, processes, states, or objects such that one event, process, state, or object (a cause) contributes to the production of another event, process, state, or object (an effect) where the cause is partly or wholly responsible for the effect, and the effect is partly or wholly dependent on the cause.
This branch of the ontology deals with causal relations between entities. It is divided into two branches: causal relations between occurrents/processes, and causal relations between material entities. We take an 'activity flow-centric approach', with the former as primary, and define causal relations between material entities in terms of causal relations between occurrents. To define causal relations in an activity-flow type network, we make use of 3 primitives: * Temporal: how do the intervals of the two occurrents relate? * Is the causal relation regulatory? * Is the influence positive or negative? The first of these can be formalized in terms of the Allen Interval Algebra. Informally, the 3 bins we care about are 'direct', 'indirect' or overlapping. Note that all causal relations should be classified under a RO temporal relation (see the branch under 'temporally related to'). Note that all causal relations are temporal, but not all temporal relations are causal. Two occurrents can be related in time without being causally connected. We take causal influence to be primitive, elucidated as being such that has the upstream changed, some qualities of the donwstream would necessarily be modified. For the second, we consider a relationship to be regulatory if the system in which the activities occur is capable of altering the relationship to achieve some objective. This could include changing the rate of production of a molecule. For the third, we consider the effect of the upstream process on the output(s) of the downstream process. If the level of output is increased, or the rate of production of the output is increased, then the direction is increased. Direction can be positive, negative or neutral or capable of either direction. Two positives in succession yield a positive, two negatives in succession yield a positive, otherwise the default assumption is that the net effect is canceled and the influence is neutral. Each of these 3 primitives can be composed to yield a cross-product of different relation types.
Do not use this relation directly. It is intended as a grouping for a diverse set of relations, all involving cause and effect.
causally related to
p is causally upstream of q iff p is causally related to q, the end of p precedes the end of q, and p is not an occurrent part of q.
causally upstream of
p is immediately causally upstream of q iff p is causally upstream of q, and the end of p is coincident with the beginning of q.
immediately causally upstream of
p is 'causally upstream or within' q iff p is causally related to q, and the end of p precedes, or is coincident with, the end of q.
We would like to make this disjoint with 'preceded by', but this is prohibited in OWL2
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 regulation of p if c is involved in some p' and p' positively regulates some p
c involved in regulation of p if c is involved in some p' and p' negatively 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
OWL does not allow defining object properties via a Union
involved in or involved in regulation of
A relationship that holds between two entities in which the processes executed by the two entities are causally connected.
This relation and all sub-relations can be applied to either (1) pairs of entities that are interacting at any moment of time (2) populations or species of entity whose members have the disposition to interact (3) classes whose members have the disposition to interact.
Note that this relationship type, and sub-relationship types may be redundant with process terms from other ontologies. For example, the symbiotic relationship hierarchy parallels GO. The relations are provided as a convenient shortcut. Consider using the more expressive processual form to capture your data. In the future, these relations will be linked to their cognate processes through rules.
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.
An interaction relation between x and y in which x catalyzes a reaction in which a phosphate group is added to y.
The entity A, immediately upstream of the entity B, has an activity that regulates an activity performed by B. For example, A and B may be gene products and binding of B by A regulates the kinase activity of B. A and B can be physically interacting but not necessarily. Immediately upstream means there are no intermediate entity between A and B.
The entity A, immediately upstream of the entity B, has an activity that negatively regulates an activity performed by B. For example, A and B may be gene products and binding of B by A negatively regulates the kinase activity of B.
directly negatively regulates activity of
The entity A, immediately upstream of the entity B, has an activity that positively regulates an activity performed by B. For example, A and B may be gene products and binding of B by A positively regulates the kinase activity of B.
directly positively regulates activity of
This property or its subproperties is not to be used directly. These properties exist as helper properties that are used to support OWL reasoning.
helper property (not for use in curation)
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 where the execution of p influences the execution of q. p may be upstream, downstream, part of, or a container of q.
The intent is that the process branch of the causal property hierarchy is primary (causal relations hold between occurrents/processes), and that the material branch is defined in terms of the process branch
molecular interaction relation helper property
The entity or characteristic A is causally upstream of the entity or characteristic B, A having an effect on B. An entity corresponds to any biological type of entity as long as a mass is measurable. A characteristic corresponds to a particular specificity of an entity (e.g., phenotype, shape, size).
p directly regulates q iff p is immediately causally upstream of q and p regulates q.
gland SubClassOf 'has part structure that is capable of' some 'secretion by cell'
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.
renin -> arteriolar smooth muscle contraction
Holds between c and p if and only if c is capable of some activity a, and a positively regulates p.
p directly positively regulates q iff p is immediately causally upstream of q, and p positively regulates q.
directly positively regulates (process to process)
p directly negatively regulates q iff p is immediately causally upstream of q, and p negatively regulates q.
directly negatively regulates (process to process)
Holds between an entity and an process P where the entity enables some larger compound process, and that larger process has-part P.
acts upstream of or within, positive effect
acts upstream of or within, negative effect
c 'acts upstream of, positive effect' p if c is enables f, and f is causally upstream of p, and the direction of f is positive
c 'acts upstream of, negative effect' p if c is enables f, and f is causally upstream of p, and the direction of f is negative
causally upstream of or within, negative effect
causally upstream of or within, positive effect
The entity A has an activity that regulates an activity of the entity B. For example, A and B are gene products where the catalytic activity of A regulates the kinase activity of B.
p is indirectly causally upstream of q iff p is causally upstream of q and there exists some process r such that p is causally upstream of r and r is causally upstream of q.
indirectly causally upstream of
p indirectly regulates q iff p is indirectly causally upstream of q and p regulates q.
indirectly regulates
A diagnostic testing device utilizes a specimen.
X device utilizes material Y means X and Y are material entities, and X is capable of some process P that has input Y.
A diagnostic testing device utilizes a specimen means that the diagnostic testing device is capable of an assay, and this assay a specimen as its input.
See github ticket https://github.com/oborel/obo-relations/issues/497
device utilizes material
A relationship that holds between a process and a characteristic in which process (P) regulates characteristic (C) iff: P results in the existence of C OR affects the intensity or magnitude of C.
A relationship that holds between a process and a characteristic in which process (P) positively regulates characteristic (C) iff: P results in an increase in the intensity or magnitude of C.
A relationship that holds between a process and a characteristic in which process (P) negatively regulates characteristic (C) iff: P results in a decrease in the intensity or magnitude of C.
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.
continuant
An entity that has temporal parts and that happens, unfolds or develops through time.
occurrent
A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything.
independent continuant
An occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t.
process
disposition
A specifically dependent continuant that inheres in continuant entities and are not exhibited in full at every time in which it inheres in an entity or group of entities. The exhibition or actualization of a realizable entity is a particular manifestation, functioning or process that occurs under certain circumstances.
realizable entity
quality
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.
specifically dependent continuant
A realizable entity the manifestation of which brings about some result or end that is not essential to a continuant in virtue of the kind of thing that it is but that can be served or participated in by that kind of continuant in some kinds of natural, social or institutional contexts.
role
function
An independent continuant that is spatially extended whose identity is independent of that of other entities and can be maintained through time.
material entity
immaterial entity
The side of an organism that is left of the sagittal plane.
was made obsolete because the ID had too many digits
A 2D surface of an anatomical continuant.
Fiat anatomical region extending a short distance from the boundary of an object inwards.
The side of an organism that is right of the sagittal plane.
Sagittal plane that divides a bilateral body into unequal left and right parts.
Sagittal plane that divides bilateral body into equal left and right parts.
only in bilaterally symmetrical organisms
A straight line through space, intersecting an anatomical entity.
Axis directions are defined in terms of axes.
An anatomical axis determined by gravity.
An axis that extends from an internal position to a more external position in the body or body part.
Muscles are frequently categorized as 'deep', 'intermediate', and 'superficial'.
An axis that extends through an organism from head end to opposite end of body or tail.
In sponges, AP is used to indicate the direction of movement [in larval stage] (as it is in other metazoans that move, e.g., the basal bilaterians). [PM]
An axis that extends through an organism or organism part from the part of the organism or organism part attached to a substrate (basal) to the furthest from the attachment (apical). Note that the apical-basal axis is often used for organismal parts where there is attachment via a basal lamina or other structure.
An axis that extends from the point of attachment of a structure (proximal) to the point furthest away from the plane of attachment (distal).
In some communities, proximal and distal are used when specifying the position of parts of elements that are contained within the body, such as gill arches or vertebral spines. In these cases, use of the classes medial-lateral axis or medial-external axis are more appropriate.
An axis that is approximately perpendicular to the anterior-posterior axis and that extends through the horizontal plane of the body.
An axis that bisects an organism from left to right sides of body, through a sagittal plane.
Anatomical plane that divides body into anterior and posterior parts.
Anatomical plane that divides bilateral body into dorsal and ventral parts.
Anatomical gradient that is distributed along the upper-lower axis.
Anatomical gradient that is distributed along the deep-superficial axis.
The side that is higher relative to the substrate.
Anatomical gradient that is distributed along the apical-basal axis.
Anatomical gradient that is distributed along the proximal-distal axis.
The side that is lower relative to the substrate.
Anatomical region that overlaps the anterior and dorsal regions of a body or body part.
Anatomical region that overlaps the anterior and ventral regions of a body or body part.
Anatomical region that overlaps the posterior and lateral regions of the body or body part.
Anatomical region that overlaps the anterior and lateral regions of a body or body part.
Anatomical region that overlaps the posterior and dorsal regions of the body or body part.
Anatomical region located deep within an organism or structure.
Anatomical region superficially located on the body or body part.
Anatomical region that overlaps the posterior and ventral regions of a body or body part.
Anatomical margin that is located on the antero-medial region of the body or body part.
Anatomical margin that is located on the antero-lateral region of the body or body part.
Anatomical margin that is located on the postero-medial region of the body or body part.
Anatomical margin that is located on the postero-lateral region of the body or body part.
Anatomical margin that is located on the dorso-medial region of the body or body part.
Anatomical margin that is located on the ventro-medial region of the body or body part.
Anatomical region that overlaps the anterior and medial regions of the body or body part.
Material anatomical entity defined by change in the value of some quantity per unit of distance across some spatial axis.
Anatomical gradient that is distributed along the anterior-posterior axis.
Anatomical gradient that is distributed along the dorsal-ventral axis.
An anatomical region bounded by a plane perpendicular to an axis through the middle.
An anatomical region that is the entire part of an anatomical structure anterior to a transverse plane and bounded on one side by the same transverse plane.
An anatomical region that is the entire part of an anatomical structure posterior to a transverse plane and bounded on one side by the same transverse plane.
Anatomical side that is located on the apical end of an organism or structure.
Anatomical side that is located on the basal end of an organism or structure.
The part of the organism attached to a substrate. Axis of symmetry.
Anatomical side that is centrally located on an organism or structure.
inherited from flybase cv. not clear how this would be used. Suggest we obsolete, and use the corresponding relation.
Anatomical side that is distally located on an organism or structure.
An anatomical region that is the entire part of an anatomical structure dorsal to a horizontal plane and bounded on one side by the same transverse plane.
Anatomical region that overlaps the posterior and medial regions of the body or body part.
a point in the centre of the organism (where the left-right axis intersects the midsagittal plane)
An anatomical region that is the entire part of an anatomical structure ventral to a horizontal plane and bounded on one side by the same horizontal plane.
Anatomical region that overlaps the dorsal and medial regions of the body or body part.
A 3D region in space without well-defined compartmental boundaries; for example, the dorsal region of an ectoderm.
Anatomical region anteriorly located on the body or body part.
Anatomical region posteriorly located on the body or body part.
Anatomical region located on the apical end on the body or body part.
Anatomical region located basally on the body or body part.
Anatomical region centrally located on the body or body part.
inherited from flybase cv. not clear how this would be used
Anatomical region proximally located on the body or body part.
Anatomical region distally located on the body or body part.
Anatomical region dorsally located on the body or body part.
Anatomical region that overlaps the dorsal and lateral regions of a body or body part.
Anatomical region laterally located on the body or body part.
Anatomical region medially located on the body or body part.
Anatomical region ventrally located on the body or body part.
Anatomical region that overlaps the ventral and lateral regions of a body or body part.
This is an example of a composition of two axis positions.
The region corresponding to the ventral region of the entity, towards the midline.
Anatomical region peripherally located on the body or body part.
An anatomical axis that extends from the side of the anatomical entity that is closer to an axis (adaxial) to the side that is further from the same axis (abaxial).
An anatomical axis that extends from the center of the body outwards or externally.
The medial-external axis could apply to a sphere-shaped body.
An anatomical axis that is perpendicular to an apical/basal axis or proximal/distal axis and extends from the center of an axis (shoot axis or root in the case of plants) to any point on the exterior of the axis.
In plants, lateral growth (http://purl.obolibrary.org/obo/GO_0080190) run is along the medial/radial axis (from medial to radial) [RW]. Also applies to radially symmetrical animals such as sea urchins, cnidarians [PM] or applies to more-or-less cylindrical body parts in animals, like limbs.
An axis that extends from the oral opening to the furthest point in an organism that is directly opposite.
An axis that extends from the animal end of an egg or early embryo to the opposite, vegetal end. In animals with yolk-bearing eggs, the vegetal end is the yolk bearing pole. (pertains to animals only - both vertebrate and invertebrate embryos).
An axis of a plant structure that is determined by the direction of apical growth, either by an apical meristem or an apical cell. Apical is toward the direction of apical growth: toward the tip of a growing shoot axis, root, thallus, or non-vascular leaf. Basal is away from the direction of apical growth: toward the root-shoot junction in the case of the primary root or stem, toward the primary root or stem for higher order roots or branches, toward the point of attachment for non-vascular leaves, and toward the original point of growth (as determined in the embryo) for thalli.
Plant structures that do not grow from an apical meristem, such as vascular leaves or petals, should be described using the proximal-distal axis. The proximal-distal axis may also be used for branches or lateral roots, and, in those cases, is concordant with the apical-basal axis.
apical-basal axis relative to direction of growth
Anatomical plane that is perpendicular to a radial plane.
Anatomical plane that follows the two dimensions specified by an apical-basal axis relative to direction of growth and a medial-lateral axis.
Anatomical surface that is located on the anterior side of the body or body part.
Anatomical surface that is located on the posterior side of the body or body part.
Anatomical surface that is located on the apical side of the body or body part.
Anatomical surface that is located on the basal side of the body or body part.
Anatomical surface that is located on the proximal side of the body or body part.
Anatomical surface that is located on the distal side of the body or body part.
Anatomical surface that located on the dorsal side of the body or body part.
Anatomical surface that is located on the same side of an organism or structure.
Anatomical surface that located on the lateral side of the body or body part.
Anatomical surface that located on the medial side of the body or body part.
Anatomical surface that is located on the ventral side of the body or body part.
A flat 2D plane intersecting an anatomical continuant, dividing it into two adjacent portions.
These anatomical sections are applicable to most bilaterally symmetrical animals, but bipedal animals such as humans have more complex usage of these terms. For example, in post-embryonic humans a coronal plane is vertical and a transverse plane is horizontal, but for embryos and quadrupeds a coronal plane is horizontal and a transverse plane is vertical.
Anatomical plane that divides a bilateral body into left and right parts, not necessarily of even size.
Anatomical margin that is located on the anterior side of a body or body part.
Anatomical margin that is located on the posterior side of the body or body part.
Anatomical margin that is located on the apical side of the body or body part.
Anatomical margin that is located on the basal side of the body or body part.
Anatomical margin that is located on the proximal region of the body or body part.
Anatomical margin that is located on the distal side of the body or body part.
Anatomical margin that is located on the dorsal side of body or body part.
Anatomical margin that is located on the dorso-lateral region of the body or body part.
Anatomical margin that is located on the lateral side of the body or body part.
Anatomical margin that is located on the medial side of the body or body part.
Anatomical margin that is located on the ventral side of the body or body part.
Anatomical margin that is located on the ventro-lateral region of the body or body part.
This is an example of a composition of two axis positions
Anatomical margin that is located on the antero-dorso region of the body or body part.
Anatomical margin that is located on the postero-dorsal region of the body or body part.
Anatomical margin that is located on the antero-ventral region of the body or body part.
Anatomical margin that is located on the postero-ventral region of the body or body part.
An axis that extends from the center of organism to one or other side.
Properly, the ML axis is a half axis; practically, its usage is less clumsy and less linguistically biased than "left-right". The terms may still be used relatively to describe locations along the LR axis. The gills are medial to the operculum, but lateral to the heart.
A part of a cellular organism that is either an immaterial entity or a material entity with granularity above the level of a protein complex. Or, a substance produced by a cellular organism with granularity above the level of a protein complex.
Biological entity that is either an individual member of a biological species or constitutes the structural organization of an individual member of a biological species.
Following BFO, material anatomical entities may have immaterial parts (the lumen of your stomach is part of your stomach). The granularity limit follows the limits set by the Gene Ontology on the granularity limit for GO:cellular_component. Note that substances produced by an organism (sweat, feaces, urine) do not need to be part of an organism to qualify as an anatomical structure.
Material anatomical entity that is a single connected structure with inherent 3D shape generated by coordinated expression of the organism's own genome.
Note that the definition does not say 'generated exclusively by the co-ordinated expression of the organism's own genome', so this is still valid for cases where normal morphogenesis requires the actions of a facultative symbiont, or some looser dependency such as the a requirement for the presence of gut flora for normal gut development.
A one dimensional, immaterial anatomical entity.
A non-material anatomical entity of two dimensions. Anatomical boundaries are contiguous structures.
A molecular process that can be carried out by the action of a single macromolecular machine, usually via direct physical interactions with other molecular entities. Function in this sense denotes an action, or activity, that a gene product (or a complex) performs. These actions are described from two distinct but related perspectives: (1) biochemical activity, and (2) role as a component in a larger system/process.
Note that, in addition to forming the root of the molecular function ontology, this term is recommended for use for the annotation of gene products whose molecular function is unknown. When this term is used for annotation, it indicates that no information was available about the molecular function of the gene product annotated as of the date the annotation was made; the evidence code 'no data' (ND), is used to indicate this. Despite its name, this is not a type of 'function' in the sense typically defined by upper ontologies such as Basic Formal Ontology (BFO). It is instead a BFO:process carried out by a single gene product or complex.
A biological process represents a specific objective that the organism is genetically programmed to achieve. Biological processes are often described by their outcome or ending state, e.g., the biological process of cell division results in the creation of two daughter cells (a divided cell) from a single parent cell. A biological process is accomplished by a particular set of molecular functions carried out by specific gene products (or macromolecular complexes), often in a highly regulated manner and in a particular temporal sequence.
Note that, in addition to forming the root of the biological process ontology, this term is recommended for use for the annotation of gene products whose biological process is unknown. When this term is used for annotation, it indicates that no information was available about the biological process of the gene product annotated as of the date the annotation was made; the evidence code 'no data' (ND), is used to indicate this.
Catalysis of the transfer of a phosphate group, usually from ATP, to a substrate molecule.
Note that this term encompasses all activities that transfer a single phosphate group; although ATP is by far the most common phosphate donor, reactions using other phosphate donors are included in this term.
data item
information content entity
curation status specification
The curation status of the term. The allowed values come from an enumerated list of predefined terms. See the specification of these instances for more detailed definitions of each enumerated value.
Better to represent curation as a process with parts and then relate labels to that process (in IAO meeting)
PERSON:Bill Bug
data about an ontology part
Data about an ontology part is a data item about a part of an ontology, for example a term
obsolescence reason specification
The reason for which a term has been deprecated. The allowed values come from an enumerated list of predefined terms. See the specification of these instances for more detailed definitions of each enumerated value.
The creation of this class has been inspired in part by Werner Ceusters' paper, Applying evolutionary terminology auditing to the Gene Ontology.
PERSON: Alan Ruttenberg
PERSON: Melanie Courtot
denotator type
The Basic Formal Ontology ontology makes a distinction between Universals and defined classes, where the formal are "natural kinds" and the latter arbitrary collections of entities.
A denotator type indicates how a term should be interpreted from an ontological perspective.
Alan Ruttenberg
Barry Smith, Werner Ceusters
A dependent entity that inheres in a bearer by virtue of how the bearer is related to other entities
example to be eventually removed
failed exploratory term
The term was used in an attempt to structure part of the ontology but in retrospect failed to do a good job
metadata complete
Class has all its metadata, but is either not guaranteed to be in its final location in the asserted IS_A hierarchy or refers to another class that is not complete.
organizational term
Term created to ease viewing/sort terms for development purpose, and will not be included in a release
ready for release
Class has undergone final review, is ready for use, and will be included in the next release. Any class lacking "ready_for_release" should be considered likely to change place in hierarchy, have its definition refined, or be obsoleted in the next release. Those classes deemed "ready_for_release" will also derived from a chain of ancestor classes that are also "ready_for_release."
metadata incomplete
Class is being worked on; however, the metadata (including definition) are not complete or sufficiently clear to the branch editors.
uncurated
Nothing done yet beyond assigning a unique class ID and proposing a preferred term.
pending final vetting
All definitions, placement in the asserted IS_A hierarchy and required minimal metadata are complete. The class is awaiting a final review by someone other than the term editor.
placeholder removed
terms merged
An editor note should explain what were the merged terms and the reason for the merge.
term imported
This is to be used when the original term has been replaced by a term imported from an other ontology. An editor note should indicate what is the URI of the new term to use.
term split
This is to be used when a term has been split in two or more new terms. An editor note should indicate the reason for the split and indicate the URIs of the new terms created.
universal
Hard to give a definition for. Intuitively a "natural kind" rather than a collection of any old things, which a class is able to be, formally. At the meta level, universals are defined as positives, are disjoint with their siblings, have single asserted parents.
A Formal Theory of Substances, Qualities, and Universals, http://ontology.buffalo.edu/bfo/SQU.pdf
defined class
A defined class is a class that is defined by a set of logically necessary and sufficient conditions but is not a universal
"definitions", in some readings, always are given by necessary and sufficient conditions. So one must be careful (and this is difficult sometimes) to distinguish between defined classes and universal.
named class expression
A named class expression is a logical expression that is given a name. The name can be used in place of the expression.
named class expressions are used in order to have more concise logical definition but their extensions may not be interesting classes on their own. In languages such as OWL, with no provisions for macros, these show up as actuall classes. Tools may with to not show them as such, and to replace uses of the macros with their expansions
to be replaced with external ontology term
Terms with this status should eventually replaced with a term from another ontology.
requires discussion
A term that is metadata complete, has been reviewed, and problems have been identified that require discussion before release. Such a term requires editor note(s) to identify the outstanding issues.
The term was added to the ontology on the assumption it was in scope, but it turned out later that it was not.
This obsolesence reason should be used conservatively. Typical valid examples are: un-necessary grouping classes in disease ontologies, a phenotype term added on the assumption it was a disease.
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 can't be added as a property chain because it causes a circularity violation for 'part of'.
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
'causally downstream of' and 'overlaps' should be disjoint properties (a SWRL rule is required because these are non-simple properties).
'causally upstream of' and 'overlaps' should be disjoint properties (a SWRL rule is required because these are non-simple properties).