editor preferred term
The concise, meaningful, and human-friendly name for a class or property preferred by the ontology developers. (US-English)
PERSON:Daniel Schober
example of usage
A phrase describing how a term should be used and/or a citation to a work which uses it. May also include other kinds of examples that facilitate immediate understanding, such as widely know prototypes or instances of a class, or cases where a relation is said to hold.
has curation status
PERSON:Alan Ruttenberg
PERSON:Bill Bug
PERSON:Melanie Courtot
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.
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.
term editor
Name of editor entering the term in the file. The term editor is a point of contact for information regarding the term. The term editor may be, but is not always, the author of the definition, which may have been worked upon by several people
20110707, MC: label update to term editor and definition modified accordingly. See https://github.com/information-artifact-ontology/IAO/issues/115.
alternative label
A label for a class or property that can be used to refer to the class or property instead of the preferred rdfs:label. Alternative labels should be used to indicate community- or context-specific labels, abbreviations, shorthand forms and the like.
Consider re-defing to: An alternative name for a class or property which can mean the same thing as the preferred name (semantically equivalent, narrow, broad or related).
definition source
Formal citation, e.g. identifier in external database to indicate / attribute source(s) for the definition. Free text indicate / attribute source(s) for the definition. EXAMPLE: Author Name, URI, MeSH Term C04, PUBMED ID, Wiki uri on 31.01.2007
Discussion on obo-discuss mailing-list, see http://bit.ly/hgm99w
curator note
An administrative note of use for a curator but of no use for a user
term tracker item
the URI for an OBI Terms ticket at sourceforge, such as https://sourceforge.net/p/obi/obi-terms/772/
An IRI or similar locator for a request or discussion of an ontology term.
Person: Jie Zheng, Chris Stoeckert, Alan Ruttenberg
The 'tracker item' can associate a tracker with a specific ontology term.
imported from
For external terms/classes, the ontology from which the term was imported
expand expression to
ObjectProperty: RO_0002104 Label: has plasma membrane part Annotations: IAO_0000424 "http://purl.obolibrary.org/obo/BFO_0000051 some (http://purl.org/obo/owl/GO#GO_0005886 and http://purl.obolibrary.org/obo/BFO_0000051 some ?Y)"
A macro expansion tag applied to an object property (or possibly a data property) which can be used by a macro-expansion engine to generate more complex expressions from simpler ones
Chris Mungall
expand assertion to
ObjectProperty: RO??? Label: spatially disjoint from Annotations: expand_assertion_to "DisjointClasses: (http://purl.obolibrary.org/obo/BFO_0000051 some ?X) (http://purl.obolibrary.org/obo/BFO_0000051 some ?Y)"
A macro expansion tag applied to an annotation property which can be expanded into a more detailed axiom.
first order logic expression
An assertion that holds between an OWL Object Property and a string or literal, where the value of the string or literal is a Common Logic sentence of collection of sentences that define the Object Property.
OBO foundry unique label
An alternative name for a class or property which is unique across the OBO Foundry.
The intended usage of that property is as follow: OBO foundry unique labels are automatically generated based on regular expressions provided by each ontology, so that SO could specify unique label = 'sequence ' + [label], etc. , MA could specify 'mouse + [label]' etc. Upon importing terms, ontology developers can choose to use the 'OBO foundry unique label' for an imported term or not. The same applies to tools .
PERSON:Bjoern Peters
PERSON:Chris Mungall
GROUP:OBO Foundry <http://obofoundry.org/>
elucidation
person:Alan Ruttenberg
Person:Barry Smith
Primitive terms in a highest-level ontology such as BFO are terms which are so basic to our understanding of reality that there is no way of defining them in a non-circular fashion. For these, therefore, we can provide only elucidations, supplemented by examples and by axioms
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
'part disjoint with' 'defined by construct' """ PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX : <http://example.org/ CONSTRUCT { [ a owl:Restriction ; owl:onProperty :part_of ; owl:someValuesFrom ?a ; owl:disjointWith [ a owl:Restriction ; owl:onProperty :part_of ; owl:someValuesFrom ?b ] ] } WHERE { ?a :part_disjoint_with ?b . }
Links an annotation property to a SPARQL CONSTRUCT query which is meant to provide semantics for a shortcut relation.
An assertion that holds between an OWL Object Property and a temporal interpretation that elucidates how OWL Class Axioms that use this property are to be interpreted in a temporal context.
tooth SubClassOf 'never in taxon' value 'Aves'
x never in taxon T if and only if T is a class, and x does not instantiate the class expression "in taxon some T". Note that this is a shortcut relation, and should be used as a hasValue restriction in OWL.
Class: ?X DisjointWith: RO_0002162 some ?Y
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX owl: <http://www.w3.org/2002/07/owl#> PREFIX in_taxon: <http://purl.obolibrary.org/obo/RO_0002162> PREFIX never_in_taxon: <http://purl.obolibrary.org/obo/RO_0002161> CONSTRUCT { in_taxon: a owl:ObjectProperty . ?x owl:disjointWith [ a owl:Restriction ; owl:onProperty in_taxon: ; owl:someValuesFrom ?taxon ] . ?x rdfs:subClassOf [ a owl:Restriction ; owl:onProperty in_taxon: ; owl:someValuesFrom [ a owl:Class ; owl:complementOf ?taxon ] ] . } WHERE { ?x never_in_taxon: ?taxon . }
logical macro assertion on an annotation property
relation p is the direct form of relation q iff p is a subPropertyOf q, p does not have the Transitive characteristic, q does have the Transitive characteristic, and for all x, y: x q y -> exists z1, z2, ..., zn such that x p z1 ... z2n y
The general property hierarchy is: "directly P" SubPropertyOf "P" Transitive(P) Where we have an annotation assertion "directly P" "is direct form of" "P"
If we have the annotation P is-direct-form-of Q, and we have inverses P' and Q', then it follows that P' is-direct-form-of Q'
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
'anterior end of organism' is-opposite-of 'posterior end of organism'
'increase in temperature' is-opposite-of 'decrease in temperature'
x is the opposite of y if there exists some distance metric M, and there exists no z such as M(x,z) <= M(x,y) or M(y,z) <= M(y,x).
part-of is homeomorphic for independent continuants.
R is homemorphic for C iff (1) there exists some x,y such that x R y, and x and y instantiate C and (2) for all x, if x is an instance of C, and there exists some y some such that x R y, then it follows that y is an instance of C.
R homeomorphic-for C expands to: C SubClassOf R only C. Additionally, for any class D that is disjoint with C, we can also expand to C DisjointWith R some D, D DisjointWith R some C.
valid_for_go_annotation_extension
valid_for_go_gp2term
valid_for_go_ontology
valid_for_gocam
An alternative label for a class or property which has a more general meaning than the preferred name/primary label.
has broad synonym
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
realized in
this disease is realized in this disease course
this fragility is realized in this shattering
this investigator role is realized in this investigation
is realized by
realized_in
[copied from inverse property 'realizes'] to say that b realizes c at t is to assert that there is some material entity d & b is a process which has participant d at t & c is a disposition or role of which d is bearer_of at t& the type instantiated by b is correlated with the type instantiated by c. (axiom label in BFO2 Reference: [059-003])
Paraphrase of elucidation: a relation between a realizable entity and a process, where there is some material entity that is bearer of the realizable entity and participates in the process, and the realizable entity comes to be realized in the course of the process
realizes
this disease course realizes this disease
this investigation realizes this investigator role
this shattering realizes this fragility
to say that b realizes c at t is to assert that there is some material entity d & b is a process which has participant d at t & c is a disposition or role of which d is bearer_of at t& the type instantiated by b is correlated with the type instantiated by c. (axiom label in BFO2 Reference: [059-003])
Paraphrase of elucidation: a relation between a process and a realizable entity, where there is some material entity that is bearer of the realizable entity and participates in the process, and the realizable entity comes to be realized in the course of the process
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.
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
occurs_in
unfolds in
unfolds_in
Paraphrase of definition: a relation between a process and an independent continuant, in which the process takes place entirely within the independent continuant
site of
[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
Paraphrase of definition: a relation between an independent continuant and a process, in which the process takes place entirely within the independent continuant
contains process
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
A journal article is an information artifact that inheres in some number of printed journals. For each copy of the printed journal there is some quality that carries the journal article, such as a pattern of ink. The journal article (a generically dependent continuant) is concretized as the quality (a specifically dependent continuant), and both depend on that copy of the printed journal (an independent continuant).
An investigator reads a protocol and forms a plan to carry out an assay. The plan is a realizable entity (a specifically dependent continuant) that concretizes the protocol (a generically dependent continuant), and both depend on the investigator (an independent continuant). The plan is then realized by the assay (a process).
A relationship between a generically dependent continuant and a specifically dependent continuant, in which the generically dependent continuant depends on some independent continuant in virtue of the fact that the specifically dependent continuant also depends on that same independent continuant. A generically dependent continuant may be concretized as multiple specifically dependent continuants.
is concretized as
A journal article is an information artifact that inheres in some number of printed journals. For each copy of the printed journal there is some quality that carries the journal article, such as a pattern of ink. The quality (a specifically dependent continuant) concretizes the journal article (a generically dependent continuant), and both depend on that copy of the printed journal (an independent continuant).
A relationship between a specifically dependent continuant and a generically dependent continuant, in which the generically dependent continuant depends on some independent continuant in virtue of the fact that the specifically dependent continuant also depends on that same independent continuant. Multiple specifically dependent continuants can concretize the same generically dependent continuant.
concretizes
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
OBSOLETE A relation that holds between two neurons connected directly via a synapse, or indirectly via a series of synaptically connected neurons.
Obsoleted as no longer a useful relationship (all neurons in an organism are in a neural circuit with each other).
obsolete in neural circuit with
OBSOLETE 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, in which the direction is from the last to the first.
obsolete upstream in neural circuit with
OBSOLETE A relation that holds between a neuron that is synapsed_by another neuron or a neuron that is connected indirectly to another by a chain of neurons, each synapsed_by the next, in which the direction is from the last to the first.
obsolete downstream in neural circuit with
this cell derives from this parent cell (cell division)
this nucleus derives from this parent nucleus (nuclear division)
a relation between two distinct material entities, the new entity and the old entity, in which the new entity begins to exist when the old entity ceases to exist, and the new entity inherits the significant portion of the matter of the old entity
This is a very general relation. More specific relations are preferred when applicable, such as 'directly develops from'.
derives_from
This relation is taken from the RO2005 version of RO. It may be obsoleted and replaced by relations with different definitions. See also the 'develops from' family of relations.
derives from
this parent cell derives into this cell (cell division)
this parent nucleus derives into this nucleus (nuclear division)
a relation between two distinct material entities, the old entity and the new entity, in which the new entity begins to exist when the old entity ceases to exist, and the new entity inherits the significant portion of the matter of the old entity
This is a very general relation. More specific relations are preferred when applicable, such as 'directly develops into'. To avoid making statements about a future that may not come to pass, it is often better to use the backward-looking 'derives from' rather than the forward-looking 'derives into'.
derives_into
derives into
is location of
my head is the location of my brain
this cage is the location of this rat
a relation between two independent continuants, the location and the target, in which the target is entirely within the location
Most location relations will only hold at certain times, but this is difficult to specify in OWL. See http://purl.obolibrary.org/obo/ro/docs/temporal-semantics/
location_of
location of
contained in
Containment is location not involving parthood, and arises only where some immaterial continuant is involved.
Containment obtains in each case between material and immaterial continuants, for instance: lung contained_in thoracic cavity; bladder contained_in pelvic cavity. Hence containment is not a transitive relation. If c part_of c1 at t then we have also, by our definition and by the axioms of mereology applied to spatial regions, c located_in c1 at t. Thus, many examples of instance-level location relations for continuants are in fact cases of instance-level parthood. For material continuants location and parthood coincide. Containment is location not involving parthood, and arises only where some immaterial continuant is involved. To understand this relation, we first define overlap for continuants as follows: c1 overlap c2 at t =def for some c, c part_of c1 at t and c part_of c2 at t. The containment relation on the instance level can then be defined (see definition):
contained_in
contains
located in
my brain is located in my head
this rat is located in this cage
a relation between two independent continuants, the target and the location, in which the target is entirely within the location
Location as a relation between instances: The primitive instance-level relation c located_in r at t reflects the fact that each continuant is at any given time associated with exactly one spatial region, namely its exact location. Following we can use this relation to define a further instance-level location relation - not between a continuant and the region which it exactly occupies, but rather between one continuant and another. c is located in c1, in this sense, whenever the spatial region occupied by c is part_of the spatial region occupied by c1. Note that this relation comprehends both the relation of exact location between one continuant and another which obtains when r and r1 are identical (for example, when a portion of fluid exactly fills a cavity), as well as those sorts of inexact location relations which obtain, for example, between brain and head or between ovum and uterus
located_in
This is redundant with the more specific 'independent and not spatial region' constraint. We leave in the redundant axiom for use with reasoners that do not use negation.
A relation that holds between two neurons that are electrically coupled via gap junctions.
The relationship that holds between a trachea or tracheole and an antomical structure that is contained in (and so provides an oxygen supply to).
tracheates
innervated_by
has synaptic terminal of
A part of relation that applies only between occurrents.
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.
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 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.
A relationship that holds between two images, A and B, where: A depicts X; B depicts Y; X and Y are both of type T' C is a 2 layer image consiting of layers A and B; A and B are aligned in C according to a shared co-ordinate framework so that common features of X and Y are co-incident with each other. Note: A and B may be 2D or 3D. Examples include: the relationship between two channels collected simultaneously from a confocal microscope; the relationship between an image dpeicting X and a painted annotation layer that delineates regions of X; the relationship between the tracing of a neuron on an EM stack and the co-ordinate space of the stack; the relationship between two separately collected images that have been brought into register via some image registration software.
in register with
Previously had ID http://purl.obolibrary.org/obo/RO_0002122 in test files in sandpit - but this seems to have been dropped from ro-edit.owl at some point. No re-use under this ID AFAIK, but leaving note here in case we run in to clashes down the line. Official ID now chosen from DOS ID range.
during which ends
Previously had ID http://purl.obolibrary.org/obo/RO_0002124 in test files in sandpit - but this seems to have been dropped from ro-edit.owl at some point. No re-use under this ID AFAIK, but leaving note here in case we run in to clashes down the line. Official ID now chosen from DOS ID range.
encompasses
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
Previously had ID http://purl.obolibrary.org/obo/RO_0002123 in test files in sandpit - but this seems to have been dropped from ro-edit.owl at some point. No re-use under this ID AFAIK, but leaving note here in case we run in to clashes down the line. Official ID now chosen from DOS ID range.
during which starts
X immediately_precedes_Y iff: end(X) simultaneous_with start(Y)
immediately precedes
X starts_during Y iff: (start(Y) before_or_simultaneous_with start(X)) AND (start(X) before_or_simultaneous_with end(Y))
starts during
X happens_during Y iff: (start(Y) before_or_simultaneous_with start(X)) AND (end(X) before_or_simultaneous_with end(Y))
happens during
X ends_during Y iff: ((start(Y) before_or_simultaneous_with end(X)) AND end(X) before_or_simultaneous_with end(Y).
ends during
Relation between a neuron and a material anatomical entity that its soma is part of.
<http://purl.obolibrary.org/obo/BFO_0000051> some ( <http://purl.obolibrary.org/obo/GO_0043025> and <http://purl.obolibrary.org/obo/BFO_0000050> some ?Y)
has soma location
relationship between a neuron and a neuron projection bundle (e.g.- tract or nerve bundle) that one or more of its projections travels through.
(forall (?x ?y) (iff (fasciculates_with ?x ?y) (exists (?nps ?npbs) (and ("neuron ; CL_0000540" ?x) ("neuron projection bundle ; CARO_0001001" ?y) ("neuron projection segment ; CARO_0001502" ?nps) ("neuron projection bundle segment ; CARO_0001500' " ?npbs) (part_of ?npbs ?y) (part_of ?nps ?x) (part_of ?nps ?npbs) (forall (?npbss) (if (and ("neuron projection bundle subsegment ; CARO_0001501" ?npbss) (part_of ?npbss ?npbs) ) (overlaps ?nps ?npbss) ))))))
fasciculates with
Relation between a neuron and some structure its axon forms (chemical) synapses in.
<http://purl.obolibrary.org/obo/BFO_0000051> some ( <http://purl.obolibrary.org/obo/GO_0030424> and <http://purl.obolibrary.org/obo/BFO_0000051> some ( <http://purl.obolibrary.org/obo/GO_0042734> and <http://purl.obolibrary.org/obo/BFO_0000050> some ( <http://purl.obolibrary.org/obo/GO_0045202> and <http://purl.obolibrary.org/obo/BFO_0000050> some ?Y)))
axon synapses in
Relation between an anatomical structure (including cells) and a neuron that chemically synapses to it.
<http://purl.obolibrary.org/obo/BFO_0000051> some (<http://purl.obolibrary.org/obo/GO_0045211> that part_of some (<http://purl.obolibrary.org/obo/GO_0045202> that has_part some (<http://purl.obolibrary.org/obo/GO_0042734> that <http://purl.obolibrary.org/obo/BFO_0000050> some Y?)))
synapsed by
A relation between a motor neuron and a muscle that it synapses to via a type Ib bouton.
Expands to: has_part some ('type Ib terminal button' that has_part some ('pre-synaptic membrane' that part_of some ('synapse' that has_part some ('post-synaptic membrane' that part_of some ?Y))))
synapsed_via_type_Ib_bouton_to
A relation between a motor neuron and a muscle that it synapses to via a type Is bouton.
Expands to: has_part some ('type Is terminal button' that has_part some ('pre-synaptic membrane' that part_of some ('synapse' that has_part some ('post-synaptic membrane' that part_of some ?Y))))
synapsed_via_type_Is_bouton_to
A relation between a motor neuron and a muscle that it synapses to via a type II bouton.
Expands to: has_part some ('type II terminal button' that has_part some ('pre-synaptic membrane' that part_of some ('synapse' that has_part some ('post-synaptic membrane' that part_of some ?Y))))
synapsed_via_type_II_bouton_to
Relation between a muscle and a motor neuron that synapses to it via a type II bouton.
Expands to: has_part some ('presynaptic membrane' that part_of some ('synapse' that has_part some ('type II terminal button' that has_part some 'postsynaptic membrane' that part_of some ?Y)))))
synapsed_by_via_type_II_bouton
Relation between a muscle and a motor neuron that synapses to it via a type Ib bouton.
Expands to: has_part some ('presynaptic membrane' that part_of some ('synapse' that has_part some ('type Ib terminal button' that has_part some 'postsynaptic membrane' that part_of some ?Y)))))
synapsed_by_via_type_Ib_bouton
Relation between a neuron and some structure (e.g.- a brain region) in which it receives (chemical) synaptic input.
synapsed in
http://purl.obolibrary.org/obo/BFO_0000051 some ( http://purl.org/obo/owl/GO#GO_0045211 and http://purl.obolibrary.org/obo/BFO_0000050 some ( http://purl.org/obo/owl/GO#GO_0045202 and http://purl.obolibrary.org/obo/BFO_0000050 some ?Y))
has postsynaptic terminal in
Relation between a muscle and a motor neuron that synapses to it via a type Is bouton.
Expands to: has_part some ('presynaptic membrane' that part_of some ('synapse' that has_part some ('type Is terminal button' that has_part some 'postsynaptic membrane' that part_of some ?Y)))))
synapsed_by_via_type_Is_bouton
synapses in
<http://purl.obolibrary.org/obo/BFO_0000051> some (<http://purl.obolibrary.org/obo/GO_0042734> that <http://purl.obolibrary.org/obo/BFO_0000050> some (<http://purl.obolibrary.org/obo/GO_0045202> that <http://purl.obolibrary.org/obo/BFO_0000050> some Y?)
has presynaptic terminal in
A relation between a motor neuron and a muscle that it synapses to via a type III bouton.
Expands to: has_part some ('type III terminal button' that has_part some ('pre-synaptic membrane' that part_of some ('synapse' that has_part some ('post-synaptic membrane' that part_of some ?Y))))
synapsed_via_type_III_bouton_to
Relation between a muscle and a motor neuron that synapses to it via a type III bouton.
Expands to: has_part some ('presynaptic membrane' that part_of some ('synapse' that has_part some ('type III terminal button' that has_part some 'postsynaptic membrane' that part_of some ?Y)))))
synapsed_by_via_type_III_bouton
Relation between a neuron and an anatomical structure (including cells) that it chemically synapses to.
<http://purl.obolibrary.org/obo/BFO_0000051> some (<http://purl.obolibrary.org/obo/GO_0042734> that part_of some (<http://purl.obolibrary.org/obo/GO_0045202> that <http://purl.obolibrary.org/obo/BFO_0000051> some (<http://purl.obolibrary.org/obo/GO_0045211> that <http://purl.obolibrary.org/obo/BFO_0000050> some Y?)))
N1 synapsed_to some N2 Expands to: N1 SubclassOf ( has_part some ( ‘pre-synaptic membrane ; GO:0042734’ that part_of some ( ‘synapse ; GO:0045202’ that has_part some ( ‘post-synaptic membrane ; GO:0045211’ that part_of some N2))))
synapsed to
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.
<http://purl.obolibrary.org/obo/RO_0002131> some (<http://purl.obolibrary.org/obo/GO_0045202> that <http://purl.obolibrary.org/obo/BFO_0000050> some Y?)
has synaptic terminal in
x overlaps y if and only if there exists some z such that x has part z and z part of y
http://purl.obolibrary.org/obo/BFO_0000051 some (http://purl.obolibrary.org/obo/BFO_0000050 some ?Y)
overlaps
The relation between a neuron projection bundle and a neuron projection that is fasciculated with it.
has fasciculating component
(forall (?x ?y) (iff (has_fasciculating_neuron_projection ?x ?y) (exists (?nps ?npbs) (and ("neuron projection bundle ; CARO_0001001" ?x) ("neuron projection ; GO0043005" ?y) ("neuron projection segment ; CARO_0001502" ?nps) ("neuron projection bundle segment ; CARO_0001500" ?npbs) (part_of ?nps ?y) (part_of ?npbs ?x) (part_of ?nps ?npbs) (forall (?npbss) (if (and ("neuron projection bundle subsegment ; CARO_0001501" ?npbss) (part_of ?npbss ?npbs) ) (overlaps ?nps ?npbss) ))))))
has fasciculating neuron projection
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.
<http://purl.obolibrary.org/obo/RO_0002132> some (<http://purl.obolibrary.org/obo/GO_0043005> that (<http://purl.obolibrary.org/obo/RO_0002131> some (<http://purl.obolibrary.org/obo/GO_0045202> that <http://purl.obolibrary.org/obo/BFO_0000050> some Y?)))
innervates
X continuous_with Y if and only if X and Y share a fiat boundary.
The label for this relation was previously connected to. I relabeled this to "continuous with". The standard notion of connectedness does not imply shared boundaries - e.g. Glasgow connected_to Edinburgh via M8; my patella connected_to my femur (via patellar-femoral joint)
continuous with
x partially overlaps y iff there exists some z such that z is part of x and z is part of y, and it is also the case that neither x is part of y or y is part of x
We would like to include disjointness axioms with part_of and has_part, however this is not possible in OWL2 as these are non-simple properties and hence cannot appear in a disjointness axiom
(forall (?x ?y) (iff (proper_overlaps ?x ?y) (and (overlaps ?x ?y) (not (part_of ?x ?y)) (not (part_of ?y ?x)))))
partially overlaps
x is in taxon y if an only if y is an organism, and the relationship between x and y is one of: part of (reflexive), developmentally preceded by, derives from, secreted by, expressed.
Connects a biological entity to its taxon of origin.
a 'toe distal phalanx bone' that is connected to a 'toe medial phalanx bone' (an interphalangeal joint *connects* these two bones).
a is connected to b if and only if a and b are discrete structure, and there exists some connecting structure c, such that c connects a and b
connected to
a is attached to part of b if a is attached to b, or a is attached to some p, where p is part of b.
attached to part of (anatomical structure to anatomical structure)
attached to part of
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
A relationship that holds between a biological entity and a phenotype. Here a phenotype is construed broadly as any kind of quality of an organism part, a collection of these qualities, or a change in quality or qualities (e.g. abnormally increased temperature). The subject of this relationship can be an organism (where the organism has the phenotype, i.e. the qualities inhere in parts of this organism), a genomic entity such as a gene or genotype (if modifications of the gene or the genotype causes the phenotype), or a condition such as a disease (such that if the condition inheres in an organism, then the organism has the phenotype).
has phenotype
phenotype of
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
This is the transitive form of the develops from relation
develops from
develops into
'neural crest cell' SubClassOf expresses some 'Wnt1 gene'
x expressed in y if and only if there is a gene expression process (GO:0010467) that occurs in y, and one of the following holds: (i) x is a gene, and x is transcribed into a transcript as part of the gene expression process (ii) x is a transcript, and the transcription of x is part of the gene expression process (iii) x is a mature gene product such as a protein, and x was translated or otherwise processes from a transcript that was transcribed as part of this gene expression process
expressed in
Candidate definition: x directly_develops from y if and only if there exists some developmental process (GO:0032502) p such that x and y both participate in p, and x is the output of p and y is the input of p, and a substantial portion of the matter of x comes from y, and the start of x is coincident with or after the end of y.
directly develops from
directly develops into
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
OBSOLETE x actively participates in y if and only if x participates in y and x realizes some active role
Obsoleted as the inverse property was obsoleted.
OBSOLETE x has participant y if and only if x realizes some active role that inheres in y
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
x develops from part of y if and only if there exists some z such that x develops from z and z is part of y
develops from part of
x develops_in y if x is located in y whilst x is developing
develops in
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
p has output c iff c is a participant in p, c is present at the end of p, and c is not present in the same state at the beginning of p.
has output
Mammalian thymus has developmental contribution from some pharyngeal pouch 3; Mammalian thymus has developmental contribution from some pharyngeal pouch 4 [Kardong]
x has developmental contribution from y iff x has some part z such that z develops from y
has developmental contribution from
inverse of has developmental contribution from
developmentally contributes to
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
In general you should not use this relation to make assertions - use one of the more specific relations below this one
This relation groups together various other developmental relations. It is fairly generic, encompassing induction, developmental contribution and direct and transitive develops from
developmentally preceded by
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.
developmentally succeeded by
'hypopharyngeal eminence' SubClassOf 'part of precursor of' some tongue
part of developmental precursor of
y expresses x if and only if there is a gene expression process (GO:0010467) that occurs in y, and one of the following holds: (i) x is a gene, and x is transcribed into a transcript as part of the gene expression process (ii) x is a transcript, and x was transcribed from a gene as part of the gene expression process (iii) x is a mature gene product (protein or RNA), and x was translated or otherwise processed from a transcript that was transcribed as part of the gene expression process.
expresses
p results in the developmental progression of s iff p is a developmental process and s is an anatomical entity and p causes s to undergo a change in state at some point along its natural developmental cycle (this cycle starts with its formation, through the mature structure, and ends with its loss).
This property and its subproperties are being used primarily for the definition of GO developmental processes. The property hierarchy mirrors the core GO hierarchy. In future we may be able to make do with a more minimal set of properties, but due to the way GO is currently structured we require highly specific relations to avoid incorrect entailments. To avoid this, the corresponding genus terms in GO should be declared mutually disjoint.
results in developmental progression of
an annotation of gene X to anatomical structure formation with results_in_formation_of UBERON:0000007 (pituitary gland) means that at the beginning of the process a pituitary gland does not exist and at the end of the process a pituitary gland exists.
every "endocardial cushion formation" (GO:0003272) results_in_formation_of some "endocardial cushion" (UBERON:0002062)
results in formation of anatomical entity
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 relationship that holds via some environmental process
Do not use this relation directly. It is ended as a grouping for a diverse set of relations, all involving the process of evolution.
evolutionarily related to
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 relationship that holds between entities participating in some developmental process (GO:0032502)
Do not use this relation directly. It is ended as a grouping for a diverse set of relations, all involving organismal development
developmentally related to
ATP citrate lyase (ACL) in Arabidopsis: it is a heterooctamer, composed of two types of subunits, ACLA and ACLB in a A(4)B(4) stoichiometry. Neither of the subunits expressed alone give ACL activity, but co-expression results in ACL activity. Both subunits contribute_to the ATP citrate lyase activity.
Subunits of nuclear RNA polymerases: none of the individual subunits have RNA polymerase activity, yet all of these subunits contribute_to DNA-dependent RNA polymerase activity.
eIF2: has three subunits (alpha, beta, gamma); one binds GTP; one binds RNA; the whole complex binds the ribosome (all three subunits are required for ribosome binding). So one subunit is annotated to GTP binding and one to RNA binding without qualifiers, and all three stand in the contributes_to relationship to "ribosome binding". And all three are part_of an eIF2 complex
We would like to say if and only if exists c', p' c part_of c' and c' capable_of p and c capable_of p' and p' part_of p then c contributes_to p However, this is not possible in OWL. We instead make this relation a sub-relation of the two chains, which gives us the inference in the one direction.
In the context of the Gene Ontology, contributes_to may be used only with classes from the molecular function ontology.
contributes 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
holds between two entities when some genome-level process such as gene expression is involved. This includes transcriptional, spliceosomal events. These relations can be used between either macromolecule entities (such as regions of nucleic acid) or between their abstract informational counterparts.
Do not use this relation directly. It is intended as a grouping for a diverse set of relations, all involving the genome of an organism
genomically related to
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
A relationship that holds via some process of localization
Do not use this relation directly. It is a grouping relation.
related via localization to
This relationship holds between p and l when p is a transport or localization process in which the outcome is to move some cargo c from a an initial location to some destination l.
has target end location
'mitochondrial transport' results_in_transport_to_from_or_in some mitochondrion (GO:0005739)
results in transport to from or in
An organism that is a member of a population of organisms
is member of is a mereological relation between a item and a collection.
member of
has member is a mereological relation between a collection and an item.
has member
input of
output of
formed as result of
has dendrite location
a is attached to b if and only if a and b are discrete objects or object parts, and there are physical connections between a and b such that a force pulling a will move b, or a force pulling b will move a
attached to (anatomical structure to anatomical structure)
attached to
x spatially_coextensive_with y if and inly if x and y have the same location
This relation is added for formal completeness. It is unlikely to be used in many practical scenarios
spatially coextensive with
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 developmental potential involving
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 developmentally contribute to
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 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
has potential to directly develop into
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 protein that enables activity in a cytosol.
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.
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 piece of evidence a and some entity b, where b is an information content entity, material entity or process, and the a supports either the existence of b, or the truth value of b.
'otolith organ' SubClassOf 'composed primarily of' some 'calcium carbonate'
x composed_primarily_of y if and only if more than half of the mass of x is made from y or units of the same type as y.
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.
This is an exploratory relation. The label is taken from the FMA. It needs aligned with the neuron-specific relations such as has postsynaptic terminal in.
Do not use this relation directly. It is ended as a grouping for a diverse set of relations, typically connecting an anatomical entity to a biological process or developmental stage.
relation between physical entity and a process or stage
x existence starts during y if and only if the time point at which x starts is after or equivalent to the time point at which y starts and before or equivalent to the time point at which y ends. Formally: x existence starts during y iff α(x) >= α(y) & α(x) <= ω(y).
x existence overlaps y if and only if either (a) the start of x is part of y or (b) the end of x is part of y. Formally: x existence starts and ends during y iff (α(x) >= α(y) & α(x) <= ω(y)) OR (ω(x) <= ω(y) & ω(x) >= α(y))
The relations here were created based on work originally by Fabian Neuhaus and David Osumi-Sutherland. The work has not yet been vetted and errors in definitions may have occurred during transcription.
x existence ends during y if and only if the time point at which x ends is before or equivalent to the time point at which y ends and after or equivalent to the point at which y starts. Formally: x existence ends during y iff ω(x) <= ω(y) and ω(x) >= α(y).
x transformation of y if x is the immediate transformation of y, or is linked to y through a chain of transformation relationships
x existence starts during or after y if and only if the time point at which x starts is after or equivalent to the time point at which y starts. Formally: x existence starts during or after y iff α (x) >= α (y).
x existence ends during or before y if and only if the time point at which x ends is before or equivalent to the time point at which y ends.
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
s 'determined by part of' w if and only if there exists some f such that (1) s 'determined by' f and (2) f part_of w, or f=w.
A relation that holds between two entities that have the property of being sequences or having sequences.
Do not use this relation directly. It is ended as a grouping for a diverse set of relations, all involving cause and effect.
The domain and range of this relation include entities such as: information-bearing macromolecules such as DNA, or regions of these molecules; abstract information entities encoded as a linear sequence including text, abstract DNA sequences; Sequence features, entities that have a sequence or sequences. Note that these entities are not necessarily contiguous - for example, the mereological sum of exons on a genome of a particular gene.
The genomic exons of a transcript bound the sequence of the genomic introns of the same transcript (but the introns are not subsequences of the exons)
x bounds the sequence of y iff the upstream-most part of x is upstream of or coincident with the upstream-most part of y, and the downstream-most part of x is downstream of or coincident with the downstream-most part of y
x has subsequence y iff all of the sequence parts of y are sequence parts of x
x overlaps the sequence of y if and only if x has a subsequence z and z is a subsequence of y.
x does not overlap the sequence of y if and only if there is no z such that x has a subsequence z and z is a subsequence of y.
x is downstream of the sequence of y iff either (1) x and y have sequence units, and all units of x are downstream of all units of y, or (2) x and y are sequence units, and x is either immediately downstream of y, or transitively downstream of y.
x has evidence y iff , x is an information content entity, material entity or process, and y supports either the existence of x, or the truth value of x.
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).
A relation that holds between elements of a musculoskeletal system or its analogs.
Do not use this relation directly. It is ended as a grouping for a diverse set of relations, all involving the biomechanical processes.
A relation that holds between an attribute or a qualifier and another attribute.
This relation is intended to be used in combination with PATO, to be able to refine PATO quality classes using modifiers such as 'abnormal' and 'normal'. It has yet to be formally aligned into an ontological framework; it's not clear what the ontological status of the "modifiers" are.
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
p results in organization of c iff p results in the assembly, arrangement of constituent parts, or disassembly of c
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.
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.
A relationship that holds between two entities, where the entities exhibit a statistical dependence relationship. The entities may be statistical variables, or they may be other kinds of entities such as diseases, chemical entities or processes.
Groups both positive and negative correlation
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)
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.
Note that this definition doesn't quite distinguish the output of a transformation process from a production process, which is related to the identity/granularity issue.
produces
a produced_by b iff some process that occurs_in b has_output a.
produced by
A relation between a biological, experimental, or computational artifact and an entity it is used to study, in virtue of its replicating or approximating features of the studied entity.
is used to study
The primary use case for this relation was to link a biological model system such as a cell line or model organism to a disease it is used to investigate, in virtue of the model system exhibiting features similar to that of the disease of interest. But the relation is defined more broadly to support other use cases, such as linking genes in which alterations are made to create model systems to the condition the system is used to interrogate, or computational models to real-world phenomena they are defined to simulate.
has role in modeling
The genetic variant 'NM_007294.3(BRCA1):c.110C>A (p.Thr37Lys)' casues or contributes to the disease 'familial breast-ovarian cancer'. An environment of exposure to arsenic causes or contributes to the phenotype of patchy skin hyperpigmentation, and the disease 'skin cancer'.
A relationship between an entity (e.g. a genotype, genetic variation, chemical, or environmental exposure) and a condition (a phenotype or disease), where the entity has some causal or contributing role that influences the condition.
Note that relationships of phenotypes to organisms/strains that bear them, or diseases they are manifest in, should continue to use RO:0002200 ! 'has phenotype' and RO:0002201 ! 'phenotype of'.
Genetic variations can span any level of granularity from a full genome or genotype to an individual gene or sequence alteration. These variations can be represented at the physical level (DNA/RNA macromolecules or their parts, as in the ChEBI ontology and Molecular Sequence Ontology) or at the abstract level (generically dependent continuant sequence features that are carried by these macromolecules, as in the Sequence Ontology and Genotype Ontology). The causal relations in this hierarchy can be used in linking either physical or abstract genetic variations to phenotypes or diseases they cause or contribute to. Environmental exposures include those imposed by natural environments, experimentally applied conditions, or clinical interventions.
causes or contributes to condition
A relationship between an entity (e.g. a genotype, genetic variation, chemical, or environmental exposure) and a condition (a phenotype or disease), where the entity has some causal role for the condition.
causes condition
A relationship between an entity (e.g. a genotype, genetic variation, chemical, or environmental exposure) and a condition (a phenotype or disease), where the entity has some contributing role that influences the condition.
contributes to condition
A relationship between an entity (e.g. a genotype, genetic variation, chemical, or environmental exposure) and a condition (a phenotype or disease), where the entity influences the severity with which a condition manifests in an individual.
contributes to expressivity of condition
contributes to severity of condition
A relationship between an entity (e.g. a genotype, genetic variation, chemical, or environmental exposure) and a condition (a phenotype or disease), where the entity influences the frequency of the condition in a population.
contributes to frequency of condition
A relationship between an entity (e.g. a genotype, genetic variation, chemical, or environmental exposure) and a condition (a phenotype or disease), where the presence of the entity reduces or eliminates some or all aspects of the condition.
ameliorates condition
A relationship between an entity and a condition (phenotype or disease) with which it exhibits a statistical dependence relationship.
correlated with condition
p 'has primary input ot output' c iff either (a) p 'has primary input' c or (b) p 'has primary output' c.
A relationship between a realizable entity R (e.g. function or disposition) and a material entity M where R is realized in response to a process that has an input stimulus of M.
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
A drought sensitivity trait that inheres in a whole plant is realized in a systemic response process in response to exposure to drought conditions.
An inflammatory disease that is realized in response to an inflammatory process occurring in the gut (which is itself the realization of a process realized in response to harmful stimuli in the mucosal lining of th gut)
Environmental polymorphism in butterflies: These butterflies have a 'responsivity to day length trait' that is realized in response to the duration of the day, and is realized in developmental processes that lead to increased or decreased pigmentation in the adult morph.
r 'realized in response to' s iff, r is a realizable (e.g. a plant trait such as responsivity to drought), s is an environmental stimulus (a process), and s directly causes the realization of r.
realized in response to
Genetic information generically depend on molecules of DNA.
The novel *War and Peace* generically depends on this copy of the novel.
The pattern shared by chess boards generically depends on any chess board.
The score of a symphony g-depends on a copy of the score.
This pdf file generically depends on this server.
A generically dependent continuant *b* generically depends on an independent continuant *c* at time *t* means: there inheres in *c* a specifically deendent continuant which concretizes *b* at *t*.
Molecules of DNA are carriers of genetic information.
This copy of *War and Peace* is carrier of the novel written by Tolstoy.
This hard drive is carrier of these data items.
*b* is carrier of *c* at time *t* if and only if *c* *g-depends on* *b* at *t*
is carrier of
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 relationship between a neuron and a region, where the neuron has a functionally relevant number of input and/or output synapses in that region.
has synaptic IO in region
A relationship between a neuron and a region, where the neuron has a functionally relevant number of input synapses in that region.
receives synaptic input in region
A relationship between a neuron and a region, where the neuron has a functionally relevant number of output synapses in that region.
sends synaptic output to region
A relationship between a neuron and a region, where the neuron has a functionally relevant number of input and/or output synapses distributed throughout that region (rather than confined to a subregion).
has synaptic IO throughout
A relationship between a neuron and a region, where the neuron has a functionally relevant number of input synapses distributed throughout that region (rather than confined to a subregion).
receives synaptic input throughout
A relationship between a neuron and a region, where the neuron has a functionally relevant number output synapses distributed throughout that region (rather than confined to a subregion).
sends synaptic output throughout
Relation between a sensory neuron and some structure in which it receives sensory input via a sensory dendrite.
has sensory dendrite in
A relationship between an anatomical structure (including cells) and a neuron that has a functionally relevant number of chemical synapses to it.
receives synaptic input from neuron
A relationship between a neuron and a cell that it has a functionally relevant number of chemical synapses to.
Not restricting range to 'cell' - object may be a muscle containing a cell targeted by the neuron.
sends synaptic output to cell
s3 has_cross_section s3 if and only if : there exists some 2d plane that intersects the bearer of s3, and the impression of s3 upon that plane has shape quality s2.
Example: a spherical object has the quality of being spherical, and the spherical quality has_cross_section round.
Do not use this relation directly. It is intended as a grouping for a set of relations regarding presentation of phenotypes and disease.
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
Helper relation for OWL definition of RO:0018002 myristoylates
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.
This relation groups relations between diseases and any other kind of entity.
Do not use this relation directly. It is intended as a grouping for a diverse set of relations, in which the subject or object is a disease.
p has anatomical participant c iff p has participant c, and c is an anatomical entity
results in changes to anatomical or cellular structure
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
b is an independent continuant = Def. b is a continuant which is such that there is no c and no t such that b s-depends_on c at t. (axiom label in BFO2 Reference: [017-002])
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
spatial region
p is a process = Def. p is an occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. (axiom label in BFO2 Reference: [083-003])
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
realizable entity
quality
b is a specifically dependent continuant = Def. b is a continuant & there is some independent continuant c which is not a spatial region and which is such that b s-depends_on c at every time t during the course of b’s existence. (axiom label in BFO2 Reference: [050-003])
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.
characteristic
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
b is a generically dependent continuant = Def. b is a continuant that g-depends_on one or more other entities. (axiom label in BFO2 Reference: [074-001])
A continuant that is dependent on one or other independent continuant bearers. For every instance of A requires some instance of (an independent continuant type) B but which instance of B serves can change from time to time.
generically dependent continuant
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
A material entity of anatomical origin (part of or deriving from an organism) that has as its parts a maximally connected cell compartment surrounded by a plasma membrane.
A material entity that has a plasma membrane and results from cellular division.
CL and GO definitions of cell differ based on inclusive or exclusive of cell wall, etc.
The definition of cell is intended to represent all cells, and thus a cell is defined as a material entity and not an anatomical structure, which implies that it is part of an organism (or the entirety of one).
We struggled with this definition. We are worried about circularity. We also considered requiring the capability of metabolism.
cell
Any neuron having a sensory function; an afferent neuron conveying sensory impulses.
The basic cellular unit of nervous tissue. Each neuron consists of a body, an axon, and dendrites. Their purpose is to receive, conduct, and transmit impulses in the nervous system.
These cells are also reportedly CD4-negative and CD200-positive. They are also capable of producing CD40L and IFN-gamma.
A system which has the disposition to environ one or more material entities.
In ENVO's alignment with the Basic Formal Ontology, this class is being considered as a subclass of a proposed BFO class "system". The relation "environed_by" is also under development. Roughly, a system which includes a material entity (at least partially) within its site and causally influences that entity may be considered to environ it. Following the completion of this alignment, this class' definition and the definitions of its subclasses will be revised.
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.
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.
This is the same as GO molecular function
gene product or complex activity
Catalysis of the transfer of ubiquitin from one protein to another via the reaction X-Ub + Y = Y-Ub + X, where both X-Ub and Y-Ub are covalent linkages.
ISGylation of protein phosphatase 1 beta (PP2CB)
Cytosolic VBC complex ubiquitinylates hydroxyprolyl-HIF-alpha
Nuclear VBC complex ubiquitinylates HIF-alpha
Ubiquitination of p130 (RBL2) by SCF (Skp2)
K63-linked ubiquitination of RIP1 bound to the activated TLR complex
Ubiquitin-dependent degradation of the SMAD complex terminates TGF-beta signaling
Multiubiquitination of APC/C-associated Cdh1
Ubiquitination of Cyclin A by APC/C:Cdc20 complex
Ubiquitination of Securin by phospho-APC/C:Cdc20 complex
Ubiquitination of cell cycle proteins targeted by the APC/C:Cdh1complex
Ubiquitination of Cyclin B by phospho-APC/C:Cdc20 complex
Ubiquitination of CD4 by Vpu:CD4:beta-TrCP:SKP1 complex
Ubiquitination of stimulated EGFR (CBL:GRB2)
CBL escapes CDC42-mediated inhibition by down-regulating the adaptor molecule Beta-Pix
CBL binds and ubiquitinates phosphorylated Sprouty
Ubiquitination of NOTCH1 by ITCH in the absence of ligand
CHIP (STUB1) mediates ubiquitination of ERBB2
NEDD4 ubiquitinates ERBB4jmAcyt1s80 dimer
Ubiquitination of DLL/JAG ligands upon binding to NOTCH1
Ubiquitin-dependent degradation of the Smad complex terminates BMP2 signalling
Beta-TrCP ubiquitinates NFKB p50:p65:phospho IKBA complex
SMURFs/NEDD4L ubiquitinate phosphorylated TGFBR1 and SMAD7
Ubiquitination of DLL/JAG ligands upon binding to NOTCH2
Ubiquitination of SKI/SKIL by RNF111/SMURF2
Autoubiquitination of phospho-COP1(Ser-387 )
RAF1:SGK:TSC22D3:WPP ubiquitinates SCNN channels
Ubiquitination of DLL/JAG ligands upon binding to NOTCH1 HD domain mutants
Ubiquitination of DLL/JAG ligands upon binding to NOTCH1 PEST domain mutants
Ubiquitination of DLL/JAG ligands upon binding to NOTCH1 HD+PEST domain mutants
SCF-beta-TrCp1/2 ubiquitinates phosphorylated BORA
STING ubiquitination by TRIM32 or TRIM56
DTX4 ubiquitinates p-S172-TBK1 within NLRP4:DTX4:dsDNA:ZBP1:TBK1
NHLRC1 mediated ubiquitination of EPM2A (laforin) and PPP1RC3 (PTG) associated with glycogen-GYG2
NHLRC1 mediated ubiquitination of EPM2A and PPP1RC3 associated with glycogen-GYG1
Cdh1:APC/C ubiquitinates EHMT1 and EHMT2
Defective NHLRC1 does not ubiquitinate EPM2A (laforin) and PPP1R3C (PTG) (type 2B disease)
BTRC:CUL1:SKP1 (SCF-beta-TrCP1) ubiquitinylates PER proteins
Activated TRAF6 synthesizes unanchored polyubiquitin chains upon TLR stimulation
Parkin promotes the ubiquitination of mitochondrial substrates
SYVN1 ubiquitinates Hh C-terminal fragments
Hh processing variants are ubiquitinated
SCF-beta-TRCP ubiquitinates p-7S-p100:RELB in active NIK:p-176,S180-IKKA dimer:p-7S-p100:SCF-beta-TRCP
beta-TRCP ubiquitinates IkB-alpha in p-S32,33-IkB-alpha:NF-kB complex
RAD18:UBE2B or RBX1:CUL4:DDB1:DTL monoubiquitinates PCNA
SIAH1:UBE2L6:Ubiquitin ubiquitinates SNCA
cIAP1,2 ubiquitinates NIK in cIAP1,2:TRAF2::TRAF3:NIK
SCF betaTrCP ubiquitinates NFKB p105 within p-S927, S932-NFkB p105:TPL2:ABIN2
SKP1:FBXL5:CUL1:NEDD8 ubiquitinylates IREB2
TNFAIP3 (A20) ubiquitinates RIPK1 with K48-linked Ub chains
The geminin component of geminin:Cdt1 complexes is ubiquitinated, releasing Cdt1
RIP2 induces K63-linked ubiquitination of NEMO
DTX4 ubiquitinates p-S172-TBK1 within NLRP4:DTX4:STING:TBK1:IRF3
VHL:EloB,C:NEDD8-CUL2:RBX1 complex ubiquitinylates HIF-alpha
Ubiquitination of DLL/JAG ligands upon binding to NOTCH3
Auto-ubiquitination of TRAF3 within activated TLR3 complex
RNF125 mediated ubiquitination of DDX58, IFIH1 and MAVS
Auto ubiquitination of oligo-TRAF6 bound to p-IRAK2
Activated TRAF6 synthesizes unanchored polyubiquitin chains
Activated TRAF6 synthesizes unanchored polyubiquitin chains upon TLR3 stimulation
Activated TRAF6 synthesizes unanchored polyubiquitin chains upon ALPK1:ADP-heptose stimulation
Auto ubiquitination of TRAF6 bound to ALPK1:ADP-heptose:TIFA oligomer
BRCA1:BARD1 heterodimer autoubiquitinates
TRAF6 ubiquitinqtes IRF7 within the activated TLR7/8 or 9 complex
Auto ubiquitination of oligo-TRAF6 bound to p-IRAK2 at endosome membrane
MIB2 ubiquitinates RIPK1 at K377, K604, K634
STUB1 ubiquitinates RIPK1 at K571, K604, K627
SPATA2:CYLD-bound LUBAC ubiquitinates RIPK1 at K627 within the TNFR1 signaling complex
Transfer of Ub from E2 to substrate and release of E2
A membrane-bounded organelle of eukaryotic cells in which chromosomes are housed and replicated. In most cells, the nucleus contains all of the cell's chromosomes except the organellar chromosomes, and is the site of RNA synthesis and processing. In some species, or in specialized cell types, RNA metabolism or DNA replication may be absent.
cell nucleus
A biological process is the execution of a genetically-encoded biological module or program. It consists of all the steps required to achieve the specific biological objective of the module. 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.
A process that emerges from two or more causally-connected macromolecular activities and has evolved to achieve a biological objective.
A biological process is an evolved process
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.
biological process
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.
Catalysis of the transfer of a myristoyl (CH3-[CH2]12-CO-) group to an acceptor molecule.
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)
planned process
Injecting mice with a vaccine in order to test its efficacy
A process that realizes a plan which is the concretization of a plan specification.
'Plan' includes a future direction sense. That can be problematic if plans are changed during their execution. There are however implicit contingencies for protocols that an agent has in his mind that can be considered part of the plan, even if the agent didn't have them in mind before. Therefore, a planned process can diverge from what the agent would have said the plan was before executing it, by adjusting to problems encountered during execution (e.g. choosing another reagent with equivalent properties, if the originally planned one has run out.)
We are only considering successfully completed planned processes. A plan may be modified, and details added during execution. For a given planned process, the associated realized plan specification is the one encompassing all changes made during execution. This means that all processes in which an agent acts towards achieving some objectives is a planned process.
organism
animal
fungus
plant
virus
A material entity that is an individual living system, such as animal, plant, bacteria or virus, that is capable of replicating or reproducing, growth and maintenance in the right environment. An organism may be unicellular or made up, like humans, of many billions of cells divided into specialized tissues and organs.
10/21/09: This is a placeholder term, that should ideally be imported from the NCBI taxonomy, but the high level hierarchy there does not suit our needs (includes plasmids and 'other organisms')
13-02-2009: OBI doesn't take position as to when an organism starts or ends being an organism - e.g. sperm, foetus. This issue is outside the scope of OBI.
WEB: http://en.wikipedia.org/wiki/Organism
A disposition (i) to undergo pathological processes that (ii) exists in an organism because of one or more disorders in that organism.
A dependent entity that inheres in a bearer by virtue of how the bearer is related to other entities
Any entity that is ordered in discrete units along a linear axis.
Any individual unit of a collection of like units arranged in a linear order
An individual unit can be a molecular entity such as a base pair, or an abstract entity, such as the abstraction of a base pair.
A material entity consisting of multiple components that are causally integrated.
May be replaced by a BFO class, as discussed in http://www.jbiomedsem.com/content/4/1/43
Material anatomical entity that is a single connected structure with inherent 3D shape generated by coordinated expression of the organism's own genome.
A fasciculated bundle of neuron projections (GO:0043005), largely or completely lacking synapses.
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.
An anatomical structure that has more than one cell as a part.
phenotype
example to be eventually removed
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.
to be replaced with external ontology term
Terms with this status should eventually replaced with a term from another ontology.
Alan Ruttenberg
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.
## Elucidation This is used when the statement/axiom is assumed to hold true 'eternally' ## How to interpret (informal) First the "atemporal" FOL is derived from the OWL using the standard interpretation. This axiom is temporalized by embedding the axiom within a for-all-times quantified sentence. The t argument is added to all instantiation predicates and predicates that use this relation. ## Example Class: nucleus SubClassOf: part_of some cell forall t : forall n : instance_of(n,Nucleus,t) implies exists c : instance_of(c,Cell,t) part_of(n,c,t) ## Notes This interpretation is *not* the same as an at-all-times relation
axiom holds for all times
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'
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).