http://purl.obolibrary.org/obo/ExO_0000002 ECTO describes exposures to experimental treatments of plants and model organisms (e.g. exposures to modification of diet, lighting levels, temperature); exposures of humans or any other organisms to stressors through a variety of routes, for purposes of public health, environmental monitoring etc, stimuli, natural and experimental, any kind of environmental condition or change in condition that can be experienced by an organism or population of organisms on earth. The scope is very general and can include for example plant treatment regimens, as well as human clinical exposures (although these may better be handled by a more specialized ontology). Environment Exposure Ontology 2022-05-12 definition definition textual definition A property representing the English language definitions of what NCI means by the concept. They may also include information about the definition's source and attribution in a form that can easily be interpreted by software. English language definitions of what NCI means by the concept. These are limited to 1024 characters. They may also include information about the definition's source and attribution in a form that can easily be interpreted by software. The official OBI definition, explaining the meaning of a class or property. Shall be Aristotelian, formalized and normalized. Can be augmented with colloquial definitions. The official definition, explaining the meaning of a class or property. Shall be Aristotelian, formalized and normalized. Can be augmented with colloquial definitions. 2012-04-05: Barry Smith The official OBI definition, explaining the meaning of a class or property: 'Shall be Aristotelian, formalized and normalized. Can be augmented with colloquial definitions' is terrible. Can you fix to something like: A statement of necessary and sufficient conditions explaining the meaning of an expression referring to a class or property. Alan Ruttenberg Your proposed definition is a reasonable candidate, except that it is very common that necessary and sufficient conditions are not given. Mostly they are necessary, occasionally they are necessary and sufficient or just sufficient. Often they use terms that are not themselves defined and so they effectively can't be evaluated by those criteria. On the specifics of the proposed definition: We don't have definitions of 'meaning' or 'expression' or 'property'. For 'reference' in the intended sense I think we use the term 'denotation'. For 'expression', I think we you mean symbol, or identifier. For 'meaning' it differs for class and property. For class we want documentation that let's the intended reader determine whether an entity is instance of the class, or not. For property we want documentation that let's the intended reader determine, given a pair of potential relata, whether the assertion that the relation holds is true. The 'intended reader' part suggests that we also specify who, we expect, would be able to understand the definition, and also generalizes over human and computer reader to include textual and logical definition. Personally, I am more comfortable weakening definition to documentation, with instructions as to what is desirable. We also have the outstanding issue of how to aim different definitions to different audiences. A clinical audience reading chebi wants a different sort of definition documentation/definition from a chemistry trained audience, and similarly there is a need for a definition that is adequate for an ontologist to work with. PERSON:Daniel Schober DEFINITION GROUP:OBI:<http://purl.obolibrary.org/obo/obi> DEFINITION definition definition textual definition A property representing the English language definitions of what NCI means by the concept. They may also include information about the definition's source and attribution in a form that can easily be interpreted by software. NCI DEFINITION PT NCI IAO:0000116 uberon editor_note true editor_note editor note editor note IAO:0000700 uberon has_ontology_root_term true has_ontology_root_term has ontology root term term replaced by Add as annotation triples in the granting ontology Use on obsolete terms, relating the term to another term that can be used as a substitute Person:Alan Ruttenberg Person:Alan Ruttenberg Add as annotation triples in the granting ontology term replaced by term replaced by If R <- P o Q is a defining property chain axiom, then it also holds that R -> P o Q. Note that this cannot be expressed directly in OWL is a defining property chain axiom 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 medically relevant exposure Description may include but is not limited to: an abstract, table of contents, reference to a graphical representation of content or a free-text account of the content. http://purl.org/dc/elements/1.1/description uberon dc-description true dc-description An account of the content of the resource. Description Description description Typically, a Title will be a name by which the resource is formally known. http://purl.org/dc/elements/1.1/title uberon dc-title true dc-title A name given to the resource. Title Title title Mark Miller 2018-05-11T13:47:29Z http://purl.org/dc/terms/license uberon dcterms-license true dcterms-license license subset property subset_property A property representing a reference to an identical or very similar object in another database. Conceptual Entity xRef database cross reference database_cross_reference xRef A property representing a reference to an identical or very similar object in another database. NCI http://www.geneontology.org/page/ontology-structure A property representing a fully qualified synonym, contains the string, term type, source, and an optional source code if appropriate. Each subfield is deliniated to facilitate interpretation by software. Fully qualified synonym, contains the string, term type, source, and an optional source code if appropriate. Each subfield is deliniated to facilitate interpretation by software. FULL_SYN Synonym with Source Data has exact synonym has_exact_synonym A property representing a fully qualified synonym, contains the string, term type, source, and an optional source code if appropriate. Each subfield is deliniated to facilitate interpretation by software. NCI FULL_SYN PT NCI Synonym with Source Data SY NCI in_subset label label label label is part of is part of part of my brain is part of my body (continuant parthood, two material entities) 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) 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) this day is part of this year (occurrent parthood) For continuants: C part_of C' if and only if: given any c that instantiates C at a time t, there is some c' such that c' instantiates C' at time t, and c *part_of* c' at t. For processes: P part_of P' if and only if: given any p that instantiates P at a time t, there is some p' such that p' instantiates P' at time t, and p *part_of* p' at t. (Here *part_of* is the instance-level part-relation.) a core relation that holds between a part and its whole 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. 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/ 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/ 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 https://code.google.com/p/obo-relations/wiki/ROAndTime 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 https://code.google.com/p/obo-relations/wiki/ROAndTime 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'. 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 BFO:0000050 experimental_condition_ontology external human_stages_ontology protein quality source uberon part_of part_of part of part of part_of http://www.obofoundry.org/ro/#OBO_REL:part_of For continuants: C part_of C' if and only if: given any c that instantiates C at a time t, there is some c' such that c' instantiates C' at time t, and c *part_of* c' at t. For processes: P part_of P' if and only if: given any p that instantiates P at a time t, there is some p' such that p' instantiates P' at time t, and p *part_of* p' at t. (Here *part_of* is the instance-level part-relation.) PMID:15892874 has part has part my body has part my brain (continuant parthood, two material entities) 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) my stomach has part my stomach cavity (continuant parthood, material entity has part immaterial entity) this year has part this day (occurrent parthood) this year has part this day (occurrent parthood) Q1 has_part Q2 if and only if: every instance of Q1 is a quality_of an entity that has_quality some Q2. a core relation that holds between a whole and its part 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. 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. 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/ 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/ 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 https://code.google.com/p/obo-relations/wiki/ROAndTime 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 https://code.google.com/p/obo-relations/wiki/ROAndTime 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'. 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 has_part BFO:0000051 chebi_ontology external protein quality source uberon has_part false has_part We use the has_part relation to relate complex qualities to more primitive ones. A complex quality is a collection of qualities. The complex quality cannot exist without the sub-qualities. For example, the quality 'swollen' necessarily comes with the qualities of 'protruding' and 'increased size'. has part has part has_part Q1 has_part Q2 if and only if: every instance of Q1 is a quality_of an entity that has_quality some Q2. PATOC:CJM 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 realized in 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 realizes preceded by X preceded_by Y iff: end(Y) before_or_simultaneous_with start(X) X preceded_by Y iff: end(Y) before_or_simultaneous_with start(X). x is preceded by y if and only if the time point at which y ends is before or equivalent to the time point at which x starts. Formally: x preceded by y iff ω(y) <= α(x), where α is a function that maps a process to a start point, and ω is a function that maps a process to an end point. 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 http://www.obofoundry.org/ro/#OBO_REL:preceded_by BFO:0000062 is preceded by takes place after external human_stages_ontology uberon preceded_by preceded_by preceded by preceded by preceded_by is preceded by SIO:000249 takes place after Allen:precedes 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. BFO:0000063 external uberon precedes precedes precedes precedes 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 BFO:0000066 external occurs_in occurs_in Paraphrase of definition: a relation between a process and an independent continuant, in which the process takes place entirely within the independent continuant occurs in occurs in 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 BFO:0000067 uberon contains_process contains_process 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 contains process x anterior to y iff x is further along the antero-posterior axis than y, towards the head. An antero-posterior axis is an axis that extends through an organism from head end to opposite end of body or tail. x anterior_to y iff x is further along the antero-posterior axis than y, towards the head. An antero-posterior axis is an axis that bisects an organism from head end to opposite end of body or tail: bearer x anterior_to y iff x is further along the antero-posterior axis than y, towards the head. An antero-posterior axis is an axis that bisects an organism from head end to opposite end of body or tail: bearer. cjm 2009-07-31T02:15:46Z BSPO:0000096 uberon anterior_to anterior_to anterior to anterior_to x anterior to y iff x is further along the antero-posterior axis than y, towards the head. An antero-posterior axis is an axis that extends through an organism from head end to opposite end of body or tail. BSPO:cjm x anterior_to y iff x is further along the antero-posterior axis than y, towards the head. An antero-posterior axis is an axis that bisects an organism from head end to opposite end of body or tail: bearer x anterior_to y iff x is further along the antero-posterior axis than y, towards the head. An antero-posterior axis is an axis that bisects an organism from head end to opposite end of body or tail: bearer. x anterior_to y iff x is further along the antero-posterior axis than y, towards the head. An antero-posterior axis is an axis that bisects an organism from head end to opposite end of body or tail: bearer. http://orcid.org/0000-0002-6601-2165 x distal to y iff x is further along the proximo-distal axis than y, towards the appendage tip. A proximo-distal axis extends from tip of an appendage (distal) to where it joins the body (proximal). x distal_to y iff x is further along the proximo-distal axis than y, towards the appendage tip. A proximo-distal axis extends from tip of an appendage (distal) to where it joins the body (proximal). BSPO:0000097 uberon distal_to distal_to distal to distal_to x distal to y iff x is further along the proximo-distal axis than y, towards the appendage tip. A proximo-distal axis extends from tip of an appendage (distal) to where it joins the body (proximal). BSPO:cjm x distal_to y iff x is further along the proximo-distal axis than y, towards the appendage tip. A proximo-distal axis extends from tip of an appendage (distal) to where it joins the body (proximal). x distal_to y iff x is further along the proximo-distal axis than y, towards the appendage tip. A proximo-distal axis extends from tip of an appendage (distal) to where it joins the body (proximal). http://orcid.org/0000-0002-6601-2165 x dorsal to y iff x is further along the dorso-ventral axis than y, towards the back. A dorso-ventral axis is an axis that extends through an organism from back (e.g. spinal column) to front (e.g. belly). x dorsal_to y iff x is further along the dorso-ventral axis than y, towards the back. A dorso-ventral axis is an axis that bisects an organism from back (e.g. spinal column) to front (e.g. belly). BSPO:0000098 uberon dorsal_to dorsal_to dorsal to dorsal_to x dorsal to y iff x is further along the dorso-ventral axis than y, towards the back. A dorso-ventral axis is an axis that extends through an organism from back (e.g. spinal column) to front (e.g. belly). BSPO:cjm x dorsal_to y iff x is further along the dorso-ventral axis than y, towards the back. A dorso-ventral axis is an axis that bisects an organism from back (e.g. spinal column) to front (e.g. belly). x dorsal_to y iff x is further along the dorso-ventral axis than y, towards the back. A dorso-ventral axis is an axis that bisects an organism from back (e.g. spinal column) to front (e.g. belly). http://orcid.org/0000-0002-6601-2165 x posterior to y iff x is further along the antero-posterior axis than y, towards the body/tail. An antero-posterior axis is an axis that extends through an organism from head end to opposite end of body or tail. x posterior_to y iff x is further along the antero-posterior axis than y, towards the body/tail. An antero-posterior axis is an axis that bisects an organism from head end to opposite end of body or tail. BSPO:0000099 caudal_to uberon posterior_to posterior_to posterior to posterior_to x posterior to y iff x is further along the antero-posterior axis than y, towards the body/tail. An antero-posterior axis is an axis that extends through an organism from head end to opposite end of body or tail. BSPO:cjm x posterior_to y iff x is further along the antero-posterior axis than y, towards the body/tail. An antero-posterior axis is an axis that bisects an organism from head end to opposite end of body or tail. x posterior_to y iff x is further along the antero-posterior axis than y, towards the body/tail. An antero-posterior axis is an axis that bisects an organism from head end to opposite end of body or tail. http://orcid.org/0000-0002-6601-2165 x proximal to y iff x is closer to the point of attachment with the body than y. x proximal_to y iff x is closer to the point of attachment with the body than y. BSPO:0000100 uberon proximal_to proximal_to proximal to proximal_to x proximal to y iff x is closer to the point of attachment with the body than y. BSPO:cjm x proximal_to y iff x is closer to the point of attachment with the body than y. x proximal_to y iff x is closer to the point of attachment with the body than y. http://orcid.org/0000-0002-6601-2165 x ventral to y iff x is further along the dorso-ventral axis than y, towards the front. A dorso-ventral axis is an axis that extends through an organism from back (e.g. spinal column) to front (e.g. belly). x ventral_to y iff x is further along the dorso-ventral axis than y, towards the front. A dorso-ventral axis is an axis that bisects an organism from back (e.g. spinal column) to front (e.g. belly). BSPO:0000102 uberon ventral_to ventral_to ventral to ventral_to x ventral to y iff x is further along the dorso-ventral axis than y, towards the front. A dorso-ventral axis is an axis that extends through an organism from back (e.g. spinal column) to front (e.g. belly). BSPO:cjm x ventral_to y iff x is further along the dorso-ventral axis than y, towards the front. A dorso-ventral axis is an axis that bisects an organism from back (e.g. spinal column) to front (e.g. belly). x ventral_to y iff x is further along the dorso-ventral axis than y, towards the front. A dorso-ventral axis is an axis that bisects an organism from back (e.g. spinal column) to front (e.g. belly). http://orcid.org/0000-0002-6601-2165 Further away from the surface of the organism. Thus, the muscular layer is deep to the skin, but superficial to the intestines. BSPO:0000107 uberon deep_to deep_to deep to deep_to Further away from the surface of the organism. Thus, the muscular layer is deep to the skin, but superficial to the intestines. Further away from the surface of the organism. Thus, the muscular layer is deep to the skin, but superficial to the intestines. BSPO:cjm Near the outer surface of the organism. Thus, skin is superficial to the muscle layer. BSPO:0000108 uberon superficial_to superficial_to superficial to superficial_to Near the outer surface of the organism. Thus, skin is superficial to the muscle layer. Near the outer surface of the organism. Thus, skin is superficial to the muscle layer. BSPO:cjm X in left side of Y <=> if Y is subdivided into two left and right portions, X is part of the left portion. X in_left_side_of Y <=> if Y is subdivided into left and right portions, X is part_of the left portion. BSPO:0000120 uberon in_left_side_of in_left_side_of in left side of in_left_side_of https://github.com/obophenotype/uberon/wiki/Modeling-paired-structures-Design-Pattern X in left side of Y <=> if Y is subdivided into two left and right portions, X is part of the left portion. BSPO:PATO_mtg_2009 X in_left_side_of Y <=> if Y is subdivided into left and right portions, X is part_of the left portion. BSPO:PATO_mtg_2009 X in right side of Y <=> if Y is subdivided into two left and right portions, X is part of the right portion. X in_right_side_of Y <=> if Y is subdivided into left and right portions, X is part_of the right portion. BSPO:0000121 uberon in_right_side_of in_right_side_of in right side of in_right_side_of https://github.com/obophenotype/uberon/wiki/Modeling-paired-structures-Design-Pattern X in right side of Y <=> if Y is subdivided into two left and right portions, X is part of the right portion. BSPO:PATO_mtg_2009 X in_right_side_of Y <=> if Y is subdivided into left and right portions, X is part_of the right portion. BSPO:PATO_mtg_2009 X posterior side of Y <=> if Y is subdivided into two anterior and posterior portions, X is part of the posterior portion. X posterior_side_of Y <=> if Y is subdivided into two anterior and posterior portions, X is part_of the posterior portion. BSPO:0000122 uberon in_posterior_side_of in_posterior_side_of in posterior side of in_posterior_side_of X posterior side of Y <=> if Y is subdivided into two anterior and posterior portions, X is part of the posterior portion. BSPO:PATO_mtg_2009 X posterior_side_of Y <=> if Y is subdivided into two anterior and posterior portions, X is part_of the posterior portion. BSPO:PATO_mtg_2009 X anterior side of Y <=> if Y is subdivided into two anterior and posterior portions, X is part of the anterior portion. X anterior_side_of Y <=> if Y is subdivided into two anterior and posterior portions, X is part_of the anterior portion. BSPO:0000123 uberon in_anterior_side_of in_anterior_side_of in anterior side of in_anterior_side_of X anterior side of Y <=> if Y is subdivided into two anterior and posterior portions, X is part of the anterior portion. BSPO:PATO_mtg_2009 X anterior_side_of Y <=> if Y is subdivided into two anterior and posterior portions, X is part_of the anterior portion. BSPO:PATO_mtg_2009 X proximal_side_of Y <=> if Y is subdivided into distal and proximal portions, X is part_of the proximal portion. x in proximal side of y <=> if y is subdivided into two proximal and distal portions, y is part of the proximal portion. BSPO:0000124 uberon in_proximal_side_of in_proximal_side_of in proximal side of in_proximal_side_of X proximal_side_of Y <=> if Y is subdivided into distal and proximal portions, X is part_of the proximal portion. BSPO:PATO_mtg_2009 x in proximal side of y <=> if y is subdivided into two proximal and distal portions, y is part of the proximal portion. BSPO:PATO_mtg_2009 X distal_side_of Y <=> if Y is subdivided into distal and proximal portions, X is part_of the distal portion. x in distal side of y <=> if y is subdivided into two proximal and distal portions, y is part of the distal portion. BSPO:0000125 uberon in_distal_side_of in_distal_side_of in distal side of in_distal_side_of X distal_side_of Y <=> if Y is subdivided into distal and proximal portions, X is part_of the distal portion. BSPO:PATO_mtg_2009 x in distal side of y <=> if y is subdivided into two proximal and distal portions, y is part of the distal portion. BSPO:PATO_mtg_2009 X in lateral side of Y <=> if X is in left side of Y or X is in right side of Y. X is often, but not always a paired structure X in_lateral_side_of Y <=> if X is in_left_side_of Y or X is in_right_side_of Y. X is often, but not always a paired structure X in_lateral_side_of Y <=> if X is in_left_side_of Y or X is in_right_side_of Y. X is often, but not always a paired structure. BSPO:0000126 uberon in_lateral_side_of in_lateral_side_of in lateral side of in_lateral_side_of https://github.com/obophenotype/uberon/wiki/Modeling-paired-structures-Design-Pattern X in lateral side of Y <=> if X is in left side of Y or X is in right side of Y. X is often, but not always a paired structure UBERON:cjm X in_lateral_side_of Y <=> if X is in_left_side_of Y or X is in_right_side_of Y. X is often, but not always a paired structure X in_lateral_side_of Y <=> if X is in_left_side_of Y or X is in_right_side_of Y. X is often, but not always a paired structure. X in_lateral_side_of Y <=> if X is in_left_side_of Y or X is in_right_side_of Y. X is often, but not always a paired structure. https://orcid.org/0000-0002-6601-2165 X proximalmost part of Y <=> X is in proximal side of Y and X is adjacent to the proximal boundary of Y X proximalmost_part_of Y <=> X is part_of Y and X is adjacent_to the proximal boundary of Y X proximalmost_part_of Y <=> X is part_of Y and X is adjacent_to the proximal boundary of Y. BSPO:0001106 uberon proximalmost_part_of proximalmost_part_of proximalmost part of proximalmost_part_of X proximalmost part of Y <=> X is in proximal side of Y and X is adjacent to the proximal boundary of Y X proximalmost part of Y <=> X is in proximal side of Y and X is adjacent to the proximal boundary of Y https://orcid.org/0000-0002-6601-2165 X proximalmost_part_of Y <=> X is part_of Y and X is adjacent_to the proximal boundary of Y X proximalmost_part_of Y <=> X is part_of Y and X is adjacent_to the proximal boundary of Y. X proximalmost_part_of Y <=> X is part_of Y and X is adjacent_to the proximal boundary of Y. https://orcid.org/0000-0002-6601-2165 This relation holds when both the deep_to and ajdacent_to relationship similarly hold. x immediately deep to y iff x deep_to y and x is contiguous with y. BSPO:0001107 uberon immediately_deep_to immediately_deep_to immediately deep to immediately_deep_to This relation holds when both the deep_to and ajdacent_to relationship similarly hold. This relation holds when both the deep_to and ajdacent_to relationship similarly hold. http://orcid.org/0000-0002-6601-2165 x immediately deep to y iff x deep_to y and x is contiguous with y. BSPO:curators X distalmost part of Y <=> X is in distal side of Y and X is adjacent to the distal boundary of Y X distalmost_part_of Y <=> X is part_of Y and X is adjacent_to the distal boundary of Y X distalmost_part_of Y <=> X is part_of Y and X is adjacent_to the distal boundary of Y. BSPO:0001108 uberon distalmost_part_of distalmost_part_of distalmost part of distalmost_part_of X distalmost part of Y <=> X is in distal side of Y and X is adjacent to the distal boundary of Y X distalmost part of Y <=> X is in distal side of Y and X is adjacent to the distal boundary of Y https://orcid.org/0000-0002-6601-2165 X distalmost_part_of Y <=> X is part_of Y and X is adjacent_to the distal boundary of Y X distalmost_part_of Y <=> X is part_of Y and X is adjacent_to the distal boundary of Y. X intersects median plane of iff X crosses the midine plane of Y. X intersects_median_plane of iff X crosses the midine plane of Y. BSPO:0005001 uberon intersects_midsagittal_plane_of intersects_midsagittal_plane_of intersects midsagittal plane of intersects_midsagittal_plane_of x immediately superficial to y iff x superficial to y and x is contiguous with y. BSPO:0015014 uberon immediately_superficial_to immediately_superficial_to immediately superficial to immediately_superficial_to x immediately superficial to y iff x superficial to y and x is contiguous with y. BSPO:curators X dorsal side of Y <=> if Y is subdivided into two dorsal and ventral portions, X is part of the dorsal portion. BSPO:0015101 uberon in_dorsal_side_of in_dorsal_side_of in dorsal side of in_dorsal_side_of X dorsal side of Y <=> if Y is subdivided into two dorsal and ventral portions, X is part of the dorsal portion. BSPO:cjm A duck swimming in a pond is partially surrounded by air and partially surrounded by water. x partially_surrounded_by y if and only if (1) x is adjacent to y and for the region r that is adjacent to x, r partially overlaps y (2) the shared boundary between x and y occupies a non-trivial proportion of the outermost boundary of x Definition modified from 'surrounded by'. partially_surrounded_by To be ceded to RO results in proliferation of A relation between a process and a disposition such that the existence of the disposition is caused by the execution of the process. Consider ceding to RO cjm 2018-11-03T20:58:13Z generates has food substance analog A defining ingredient defines what a food is principally categorized as, rather than an ingredient listed by percentage of weight or volume. A food may have more than one defining ingredient. Damion Dooley FoodOn For example, 'bean soup' has a defining ingredient of some 'bean (whole)'. Similarly, spicy chicken wings require a defining ingredient of (usually minute) amounts of chilli. A soup may 'has ingredient' some bean, but that doesn't make it a 'bean soup', i.e. there should be no inference to that category. However, some classes may have that simple ingredient "necessary and sufficient" equivalency. has defining ingredient A relation attaching between a food material and another food material that has been added to it at some point in its history. Damion Dooley FoodOn has ingredient GOREL:0002003 external results_in_distribution_of results_in_distribution_of results_in_distribution_of GOREL:0002004 external results_in_fission_of results_in_fission_of results_in_fission_of has country of origin hasCountryOfOrigin is about This document is about information artifacts and their representations A (currently) primitive relation that relates an information artifact to an entity. is_about is a (currently) primitive relation that relates an information artifact to an entity. 7/6/2009 Alan Ruttenberg. Following discussion with Jonathan Rees, and introduction of "mentions" relation. Weaken the is_about relationship to be primitive. We will try to build it back up by elaborating the various subproperties that are more precisely defined. Some currently missing phenomena that should be considered "about" are predications - "The only person who knows the answer is sitting beside me" , Allegory, Satire, and other literary forms that can be topical without explicitly mentioning the topic. person:Alan Ruttenberg Smith, Ceusters, Ruttenberg, 2000 years of philosophy is about is quality measurement of m is a quality measurement of q at t when q is a quality there is a measurement process p that has specified output m, a measurement datum, that is about q m is a quality measurement of q at t. When q is a quality, there is a measurement process p that has specified output m, a measurement datum, that is about q 8/6/2009 Alan Ruttenberg: The strategy is to be rather specific with this relationship. There are other kinds of measurements that are not of qualities, such as those that measure time. We will add these as separate properties for the moment and see about generalizing later From the second IAO workshop [Alan Ruttenberg 8/6/2009: not completely current, though bringing in comparison is probably important] This one is the one we are struggling with at the moment. The issue is what a measurement measures. On the one hand saying that it measures the quality would include it "measuring" the bearer = referring to the bearer in the measurement. However this makes comparisons of two different things not possible. On the other hand not having it inhere in the bearer, on the face of it, breaks the audit trail. Werner suggests a solution based on "Magnitudes" a proposal for which we are awaiting details. -- From the second IAO workshop, various comments, [commented on by Alan Ruttenberg 8/6/2009] unit of measure is a quality, e.g. the length of a ruler. [We decided to hedge on what units of measure are, instead talking about measurement unit labels, which are the information content entities that are about whatever measurement units are. For IAO we need that information entity in any case. See the term measurement unit label] [Some struggling with the various subflavors of is_about. We subsequently removed the relation represents, and describes until and only when we have a better theory] a represents b means either a denotes b or a describes describe: a describes b means a is about b and a allows an inference of at least one quality of b We have had a long discussion about denotes versus describes. From the second IAO workshop: An attempt at tieing the quality to the measurement datum more carefully. a is a magnitude means a is a determinate quality particular inhering in some bearer b existing at a time t that can be represented/denoted by an information content entity e that has parts denoting a unit of measure, a number, and b. The unit of measure is an instance of the determinable quality. From the second meeting on IAO: An attempt at defining assay using Barry's "reliability" wording assay: process and has_input some material entity and has_output some information content entity and which is such that instances of this process type reliably generate outputs that describes the input. This one is the one we are struggling with at the moment. The issue is what a measurement measures. On the one hand saying that it measures the quality would include it "measuring" the bearer = referring to the bearer in the measurement. However this makes comparisons of two different things not possible. On the other hand not having it inhere in the bearer, on the face of it, breaks the audit trail. Werner suggests a solution based on "Magnitudes" a proposal for which we are awaiting details. Alan Ruttenberg is quality measurement of is quality measured as inverse of the relation of is quality measurement of 2009/10/19 Alan Ruttenberg. Named 'junk' relation useful in restrictions, but not a real instance relationship Person:Alan Ruttenberg is quality measured as Uses of chemicals which affect the course of conditions, diseases, syndromes or pathology to benefit the health of an individual. 2021-02-24T19:27:35Z MeSH:D045506 drug uses pharmocological uses therapeutic uses is_supported_by_data The relation between the conclusion "Gene tpbA is involved in EPS production" and the data items produced using two sets of organisms, one being a tpbA knockout, the other being tpbA wildtype tested in polysacharide production assays and analyzed using an ANOVA. The relation between a data item and a conclusion where the conclusion is the output of a data interpreting process and the data item is used as an input to that process OBI OBI Philly 2011 workshop is_supported_by_data has_specified_input has_specified_input see is_input_of example_of_usage A relation between a planned process and a continuant participating in that process that is not created during the process. The presence of the continuant during the process is explicitly specified in the plan specification which the process realizes the concretization of. The inverse property of is_specified_input_of 8/17/09: specified inputs of one process are not necessarily specified inputs of a larger process that it is part of. This is in contrast to how 'has participant' works. PERSON: Alan Ruttenberg PERSON: Bjoern Peters PERSON: Larry Hunter PERSON: Melanie Coutot has_specified_input is_specified_input_of is_specified_input_of some Autologous EBV(Epstein-Barr virus)-transformed B-LCL (B lymphocyte cell line) is_input_for instance of Chromum Release Assay described at https://wiki.cbil.upenn.edu/obiwiki/index.php/Chromium_Release_assay A relation between a planned process and a continuant participating in that process that is not created during the process. The presence of the continuant during the process is explicitly specified in the plan specification which the process realizes the concretization of. Alan Ruttenberg PERSON:Bjoern Peters is_specified_input_of has_specified_output has_specified_output A relation between a planned process and a continuant participating in that process. The presence of the continuant at the end of the process is explicitly specified in the objective specification which the process realizes the concretization of. The inverse property of is_specified_output_of PERSON: Alan Ruttenberg PERSON: Bjoern Peters PERSON: Larry Hunter PERSON: Melanie Courtot has_specified_output is_specified_output_of is_specified_output_of A relation between a planned process and a continuant participating in that process. The presence of the continuant at the end of the process is explicitly specified in the objective specification which the process realizes the concretization of. Alan Ruttenberg PERSON:Bjoern Peters is_specified_output_of achieves_planned_objective A cell sorting process achieves the objective specification 'material separation objective' This relation obtains between a planned process and a objective specification when the criteria specified in the objective specification are met at the end of the planned process. BP, AR, PPPB branch PPPB branch derived modified according to email thread from 1/23/09 in accordince with DT and PPPB branch achieves_planned_objective objective_achieved_by This relation obtains between a a objective specification and a planned process when the criteria specified in the objective specification are met at the end of the planned process. This relation obtains between an objective specification and a planned process when the criteria specified in the objective specification are met at the end of the planned process. OBI OBI objective_achieved_by has value specification A relation between an information content entity and a value specification that specifies its value. PERSON: James A. Overton OBI has value specification inheres in this fragility inheres in this vase this fragility is a characteristic of this vase this red color inheres in this apple 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. a relation between a specifically dependent continuant (the dependent) and an independent continuant (the bearer), in which the dependent specifically depends on the bearer for its existence A dependent inheres in its bearer at all times for which the dependent exists. inheres_in RO:0000052 inheres_in 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 inheres in inheres in bearer of this apple is bearer of this red color this vase is bearer of this fragility Inverse of characteristic_of a relation between an independent continuant (the bearer) and a specifically dependent continuant (the dependent), in which the dependent specifically depends on the bearer for its existence 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 RO:0000053 external uberon bearer_of bearer_of bearer of 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 RO:0000056 external uberon participates_in participates_in participates in participates in 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 http://www.obofoundry.org/ro/#OBO_REL:has_participant RO:0000057 external has_participant has_participant has participant has participant has_participant 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 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 concretizes 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). 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 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 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. quality of role 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 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. 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 RO:0000086 protein uberon has_quality false has_quality has quality has quality has_quality has role 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 RO:0000087 chebi_ontology protein has_role false false has_role has role 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 inverse of has disposition 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. disposition of derives from derives from 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 derives into 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 RO:0001015 uberon location_of location_of 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): Intended meaning: domain: material entity range: spatial region or site (immaterial continuant) contained_in contained in contains RO:0001019 uberon contains contains contains 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 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/ Most location relations will only hold at certain times, but this is difficult to specify in OWL. See https://code.google.com/p/obo-relations/wiki/ROAndTime located_in http://www.obofoundry.org/ro/#OBO_REL:located_in RO:0001025 protein uberon located_in located_in located in 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. 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. the surface of my skin is a 2D boundary of my body a relation between a 2D immaterial entity (the boundary) and a material entity, in which the boundary delimits the material entity A 2D boundary may have holes and gaps, but it must be a single connected entity, not an aggregate of several disconnected parts. Although the boundary is two-dimensional, it exists in three-dimensional space and thus has a 3D shape. 2D_boundary_of boundary of is 2D boundary of is boundary of RO:0002000 uberon boundary_of boundary_of 2D boundary of boundary of my body has 2D boundary the surface of my skin a relation between a material entity and a 2D immaterial entity (the boundary), in which the boundary delimits the material entity A 2D boundary may have holes and gaps, but it must be a single connected entity, not an aggregate of several disconnected parts. Although the boundary is two-dimensional, it exists in three-dimensional space and thus has a 3D shape. David Osumi-Sutherland has boundary has_2D_boundary RO:0002002 uberon has_boundary has_boundary has 2D boundary has boundary David Osumi-Sutherland http://www.ncbi.nlm.nih.gov/pubmed/22402613 RO:0002005 nerve supply uberon innervated_by innervated_by http://code.google.com/p/obo-relations/issues/detail?id=6 innervated_by innervated_by nerve supply FMA:85999 X outer_layer_of Y iff: . X :continuant that bearer_of some PATO:laminar . X part_of Y . exists Z :surface . X has_boundary Z . Z boundary_of Y has_boundary: http://purl.obolibrary.org/obo/RO_0002002 boundary_of: http://purl.obolibrary.org/obo/RO_0002000 David Osumi-Sutherland RO:0002007 external uberon bounding_layer_of bounding_layer_of A relationship that applies between a continuant and its outer, bounding layer. Examples include the relationship between a multicellular organism and its integument, between an animal cell and its plasma membrane, and between a membrane bound organelle and its outer/bounding membrane. A relationship that applies between a continuant and its outer, bounding layer. Examples include the relationship between a multicellular organism and its integument, between an animal cell and its plasma membrane, and between a membrane bound organelle and its outer/bounding membrane. bounding layer of bounding layer of A relationship that holds between a process that regulates a transport process and the entity transported by that process. David Osumi-Sutherland regulates transport of A 'has regulatory component activity' B if A and B are GO molecular functions (GO_0003674), A has_component B and A is regulated by B. dos 2017-05-24T09:30:46Z RO:0002013 external has_regulatory_component_activity has_regulatory_component_activity has regulatory component activity 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. dos 2017-05-24T09:31:01Z RO:0002014 external has_negative_regulatory_component_activity has_negative_regulatory_component_activity 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. dos 2017-05-24T09:31:17Z 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 dos 2017-05-24T09:44:33Z A 'has component activity' B if A is A and B are molecular functions (GO_0003674) and A has_component B. has component activity w 'has process component' p if p and w are processes, w 'has part' p and w is such that it can be directly disassembled into into n parts p, p2, p3, ..., pn, where these parts are of similar type. dos 2017-05-24T09:49:21Z has component process dos 2017-09-17T13:52:24Z 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. directly regulated by 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. GOC:dos 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. dos 2017-09-17T13:52:38Z directly negatively regulated by 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. GOC:dos 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. dos 2017-09-17T13:52:47Z directly positively regulated by 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. GOC:dos 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. dos 2017-09-22T14:14:36Z This relation is designed for constructing compound molecular functions, typically in combination with one or more regulatory component activity relations. has effector activity 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. GOC:dos David Osumi-Sutherland <= Primitive instance level timing relation between events before or simultaneous with Relation between occurrents, shares start and end boundaries. David Osumi-Sutherland RO:0002082 coincides_with is_equal_to uberon simultaneous_with simultaneous_with t1 simultaneous_with t2 iff:= t1 before_or_simultaneous_with t2 and not (t1 before t2) simultaneous with simultaneous_with Relation between occurrents, shares start and end boundaries. Allen:is_equal_to Relation between occurrents, shares start and end boundaries. Allen:is_equal_to https://orcid.org/0000-0002-6601-2165 David Osumi-Sutherland 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 David Osumi-Sutherland RO:0002086 ends_after 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) X immediately_preceded_by Y iff: end(X) simultaneous_with start(Y). David Osumi-Sutherland starts_at_end_of A non-transitive temporal relation in which one process immediately precedes another process, such that there is no interval of time between the two processes[SIO:000251]. RO:0002087 directly preceded by is directly preceded by is immediately preceded by starts_at_end_of external human_stages_ontology uberon immediately_preceded_by immediately_preceded_by X immediately_preceded_by Y iff: end(X) simultaneous_with start(Y) immediately preceded by immediately_preceded_by A non-transitive temporal relation in which one process immediately precedes another process, such that there is no interval of time between the two processes[SIO:000251]. SIO:000251 is immediately preceded by SIO:000251 David Osumi-Sutherland 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 David Osumi-Sutherland ends_at_start_of meets RO:0002090 external immediately_precedes immediately_precedes X immediately_precedes_Y iff: end(X) simultaneous_with start(Y) immediately precedes immediately_precedes Relation between a neuron and an anatomical structure that its soma is part of. David Osumi-Sutherland <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 Every B cell[CL_0000236] has plasma membrane part some immunoglobulin complex[GO_0019814] Holds between a cell c and a protein complex or protein p if and only if that cell has as part a plasma_membrane[GO:0005886], and that plasma membrane has p as part. Alexander Diehl Chris Mungall Lindsay Cowell <http://purl.obolibrary.org/obo/BFO_0000051> some (<http://purl.obolibrary.org/obo/GO_0005886> and <http://purl.obolibrary.org/obo/BFO_0000051> some ?Y) has plasma membrane part x overlaps y if and only if there exists some z such that x has part z and z part of y BFO_0000051 some (BFO_0000050 some ?Y) http://purl.obolibrary.org/obo/BFO_0000051 some (http://purl.obolibrary.org/obo/BFO_0000050 some ?Y) RO:0002131 external uberon overlaps overlaps overlaps overlaps true 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. David Osumi-Sutherland <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?))) RO:0002134 uberon innervates innervates http://code.google.com/p/obo-relations/issues/detail?id=6 innervates innervates X continuous_with Y if and only if X and Y share a fiat boundary. David Osumi-Sutherland connected to 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) RO:0002150 uberon continuous_with continuous_with continuous with continuous_with FMA:85972 lactation SubClassOf 'only in taxon' some 'Mammalia' S only_in_taxon T iff: S SubClassOf in_taxon only T. U only_in_taxon T: U is a feature found in only in organisms of species of taxon T. The feature cannot be found in an organism of any species outside of (not subsumed by) that taxon. Down-propagates in U hierarchy, up-propagates in T hierarchy (species taxonomy). Implies applicable_to_taxon. x only in taxon y if and only if x is in taxon y, and there is no other organism z such that y!=z a and x is in taxon z. The original intent was to treat this as a macro that expands to 'in taxon' only ?Y - however, this is not necessary if we instead have supplemental axioms that state that each pair of sibling tax have a disjointness axiom using the 'in taxon' property - e.g. 'in taxon' some Eukaryota DisjointWith 'in taxon' some Eubacteria Chris Mungall RO:0002160 never_outside_taxon specific_to specific_to_taxon protein uberon only_in_taxon false only_in_taxon Down-propagates. The original name for this in the paper is 'specific_to'. Applicable to genes because some genes are lost in sub-species (strains) of a species. only in taxon only_in_taxon S only_in_taxon T iff: S SubClassOf in_taxon only T. S only_in_taxon T iff: S SubClassOf in_taxon only T. PMID:20973947 U only_in_taxon T: U is a feature found in only in organisms of species of taxon T. The feature cannot be found in an organism of any species outside of (not subsumed by) that taxon. Down-propagates in U hierarchy, up-propagates in T hierarchy (species taxonomy). Implies applicable_to_taxon. ROC:Waclaw 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. Chris Mungall Jennifer Deegan RO:0002162 uberon in_taxon in_taxon Connects a biological entity to its taxon of origin. in taxon A is spatially_disjoint_from B if and only if they have no parts in common There are two ways to encode this as a shortcut relation. The other possibility to use an annotation assertion between two classes, and expand this to a disjointness axiom. Chris Mungall Note that it would be possible to use the relation to label the relationship between a near infinite number of structures - between the rings of saturn and my left earlobe. The intent is that this is used for parsiomoniously for disambiguation purposes - for example, between siblings in a jointly exhaustive pairwise disjointness hierarchy BFO_0000051 exactly 0 (BFO_0000050 some ?Y) spatially disjoint from https://github.com/obophenotype/uberon/wiki/Part-disjointness-Design-Pattern https://github.com/obophenotype/uberon/wiki/Part-disjointness-Design-Pattern a 'toe distal phalanx bone' that is connected to a 'toe medial phalanx bone' (an interphalangeal joint *connects* these two bones). Binary relationship: x connected_to y if and only if there exists some z such that z connects x and y in a ternary connected_to(x,y,z) relationship. 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 RO:0002170 uberon connected_to connected_to Connection does not imply overlaps. connected to connected to https://github.com/obophenotype/uberon/wiki/Connectivity-Design-Pattern https://github.com/obophenotype/uberon/wiki/Modeling-articulations-Design-Pattern Binary relationship: x connected_to y if and only if there exists some z such that z connects x and y in a ternary connected_to(x,y,z) relationship. Binary relationship: x connected_to y if and only if there exists some z such that z connects x and y in a ternary connected_to(x,y,z) relationship. http://purl.obolibrary.org/obo/uberon/docs/Connectivity-Design-Pattern The M8 connects Glasgow and Edinburgh a 'toe distal phalanx bone' that is connected to a 'toe medial phalanx bone' (an interphalangeal joint *connects* these two bones). Binary relationship: z connects x if and only if there exists some y such that z connects x and y in a ternary connected_to(x,y,z) relationship. c connects a if and only if there exist some b such that a and b are similar parts of the same system, and c connects b, specifically, c connects a with b. When one structure connects two others it unites some aspect of the function or role they play within the system. this is currently used for both structural relationships (such as between a valve and the chamber it connects) and abstract relationships (anatomical lines and the entities they connect) RO:0002176 uberon connects connects connects connects https://github.com/obophenotype/uberon/wiki/Connectivity-Design-Pattern https://github.com/obophenotype/uberon/wiki/Modeling-articulations-Design-Pattern https://github.com/obophenotype/uberon/wiki/Connectivity-Design-Pattern https://github.com/obophenotype/uberon/wiki/Modeling-articulations-Design-Pattern Binary relationship: z connects x if and only if there exists some y such that z connects x and y in a ternary connected_to(x,y,z) relationship. Binary relationship: z connects x if and only if there exists some y such that z connects x and y in a ternary connected_to(x,y,z) relationship. http://purl.obolibrary.org/obo/uberon/docs/Connectivity-Design-Pattern 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) RO:0002177 uberon attaches_to_part_of attaches_to_part_of attached to part of attaches_to_part_of true true Relation between an arterial structure and another structure, where the arterial structure acts as a conduit channeling fluid, substance or energy. relation between an artery and the structure is supplies with blood. Individual ontologies should provide their own constraints on this abstract relation. For example, in the realm of anatomy this should hold between an artery and an anatomical structure RO:0002178 arterial supply of uberon supplies supplies source: FMA supplies supplies arterial supply of FMA:86003 Relation between an collecting structure and another structure, where the collecting structure acts as a conduit channeling fluid, substance or energy away from the other structure. Individual ontologies should provide their own constraints on this abstract relation. For example, in the realm of anatomy this should hold between a vein and an anatomical structure RO:0002179 drains blood from drains from uberon drains drains source: Wikipedia drains drains 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. RO:0002180 external protein uberon has_component false has_component has component has component has_component 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 Chris Mungall Chris Mungall David Osumi-Sutherland David Osumi-Sutherland Melissa Haendel Terry Meehan Terry Meehan RO:0002202 uberon develops_from develops_from This is the transitive form of the develops from relation develops from develops from develops_from inverse of develops from Chris Mungall David Osumi-Sutherland Terry Meehan RO:0002203 uberon develops_into develops_into develops into develops_into 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. Chris Mungall David Osumi-Sutherland has developmental precursor FBbt RO:0002207 uberon directly_develops_from directly_develops_from TODO - add child relations from DOS directly develops from directly_develops_from inverse of directly develops from developmental precursor of directly develops into process(P1) regulates process(P2) iff: P1 results in the initiation or termination of P2 OR affects the frequency of its initiation or termination OR affects the magnitude or rate of output of P2. We use 'regulates' here to specifically imply control. However, many colloquial usages of the term correctly correspond to the weaker relation of 'causally upstream of or within' (aka influences). Consider relabeling to make things more explicit Chris Mungall David Hill Tanya Berardini GO Regulation precludes parthood; the regulatory process may not be within the regulated process. regulates (processual) false RO:0002211 external regulates regulates regulates regulates regulates (processual) Process(P1) negatively regulates process(P2) iff: P1 terminates P2, or P1 descreases the the frequency of initiation of P2 or the magnitude or rate of output of P2. Chris Mungall negatively regulates (process to process) RO:0002212 external negatively_regulates negatively_regulates negatively regulates negatively regulates Process(P1) postively regulates process(P2) iff: P1 initiates P2, or P1 increases the the frequency of initiation of P2 or the magnitude or rate of output of P2. Chris Mungall positively regulates (process to process) RO:0002213 external positively_regulates positively_regulates positively regulates 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. Chris Mungall has function realized in 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)". RO_0000053 some (RO_0000054 only ?Y) RO:0002215 external protein uberon capable_of false capable_of capable of capable of 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. Chris Mungall has function in RO_0000053 some (RO_0000054 only (BFO_0000050 some ?Y)) RO:0002216 external uberon capable_of_part_of capable_of_part_of capable of part of capable of part of true x surrounded_by y if and only if (1) x is adjacent to y and for every region r that is adjacent to x, r overlaps y (2) the shared boundary between x and y occupies the majority of the outermost boundary of x x surrounded_by y iff: x is adjacent to y and for every region r adjacent to x, r overlaps y x surrounded_by y iff: x is adjacent to y and for every region r adjacent to x, r overlaps y. Chris Mungall RO:0002219 uberon surrounded_by surrounded_by surrounded by surrounded by surrounded_by x surrounded_by y iff: x is adjacent to y and for every region r adjacent to x, r overlaps y x surrounded_by y iff: x is adjacent to y and for every region r adjacent to x, r overlaps y. x surrounded_by y iff: x is adjacent to y and for every region r adjacent to x, r overlaps y. https://orcid.org/0000-0002-6601-2165 A caterpillar walking on the surface of a leaf is adjacent_to the leaf, if one of the caterpillar appendages is touching the leaf. In contrast, a butterfly flying close to a flower is not considered adjacent, unless there are any touching parts. The epidermis layer of a vertebrate is adjacent to the dermis. The plasma membrane of a cell is adjacent to the cytoplasm, and also to the cell lumen which the cytoplasm occupies. The skin of the forelimb is adjacent to the skin of the torso if these are considered anatomical subdivisions with a defined border. Otherwise a relation such as continuous_with would be used. x adjacent to y if and only if x and y share a boundary. x adjacent_to y iff: x and y share a boundary x adjacent_to y iff: x and y share a boundary. This relation acts as a join point with BSPO Chris Mungall RO:0002220 external uberon adjacent_to adjacent_to adjacent to adjacent to adjacent_to A caterpillar walking on the surface of a leaf is adjacent_to the leaf, if one of the caterpillar appendages is touching the leaf. In contrast, a butterfly flying close to a flower is not considered adjacent, unless there are any touching parts. inverse of surrounded by inverse of surrounded_by inverse of surrounded_by. Chris Mungall RO:0002221 uberon surrounds surrounds surrounds surrounds inverse of surrounded_by inverse of surrounded_by. inverse of surrounded_by. https://orcid.org/0000-0002-6601-2165 temporal relation move to BFO? Chris Mungall Allen 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. https://docs.google.com/document/d/1kBv1ep_9g3sTR-SD3jqzFqhuwo9TPNF-l-9fUDbO6rM/edit?pli=1 RO:0002222 temporally_related_to A relation that holds between two occurrents. This is a grouping relation that collects together all the Allen relations. temporal relation temporally related to Relation between occurrents, shares a start boundary with. inverse of starts with Chris Mungall Allen RO:0002223 uberon starts starts starts starts Relation between occurrents, shares a start boundary with. Allen:starts Relation between occurrents, shares a start boundary with. Allen:starts https://orcid.org/0000-0002-6601-2165 Every insulin receptor signaling pathway starts with the binding of a ligand to the insulin receptor x starts with y if and only if x has part y and the time point at which x starts is equivalent to the time point at which y starts. Formally: α(y) = α(x) ∧ ω(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. Chris Mungall started by RO:0002224 external uberon starts_with starts_with starts with starts with 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 Chris Mungall RO:0002225 uberon develops_from_part_of develops_from_part_of develops from part of develops_from_part_of x develops_in y if x is located in y whilst x is developing Chris Mungall EHDAA2 Jonathan Bard, EHDAA2 RO:0002226 uberon develops_in develops_in This relation take from EHDAA2 - precise semantics yet to be defined develops in develops_in Relation between occurrents, shares an end boundary with. inverse of ends with Chris Mungall RO:0002229 finishes uberon ends ends ends ends Relation between occurrents, shares an end boundary with. Allen:starts ZFS:finishes Relation between occurrents, shares an end boundary with. Allen:starts ZFS:finishes https://orcid.org/0000-0002-6601-2165 x ends with y if and only if x has part y and the time point at which x ends is equivalent to the time point at which y ends. Formally: α(y) > α(x) ∧ ω(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. Chris Mungall finished by RO:0002230 external uberon ends_with ends_with ends with ends with x 'has starts location' y if and only if there exists some process z such that x 'starts with' z and z 'occurs in' y Chris Mungall starts with process that occurs in RO:0002231 external has_start_location has_start_location has start location has start location x 'has end location' y if and only if there exists some process z such that x 'ends with' z and z 'occurs in' y Chris Mungall ends with process that occurs in RO:0002232 external has_end_location has_end_location has end location has end location 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. Chris Mungall consumes RO:0002233 external has_input has_input has input 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 at the beginning of p. 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. Chris Mungall produces RO:0002234 external has_output has_output has output has output A broad relationship between an exposure event or process and a process by which the exposure stressor comes into contact with the exposure receptor ExO:0000055 has exposure route A broad relationship between an exposure event or process and the course takes from the source to the target. http://purl.obolibrary.org/obo/ExO_0000004 has exposure transport path Any relationship between an exposure event or process and any other entity. Do not use this relation directly. It is intended as a grouping for a diverse set of relations, all involving exposure events or processes. related via exposure to 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 Chris Mungall RO:0002254 uberon has_developmental_contribution_from has_developmental_contribution_from has developmental contribution from has developmental contribution from inverse of has developmental contribution from Chris Mungall RO:0002255 uberon developmentally_contributes_to developmentally_contributes_to developmentally contributes to developmentally_contributes_to t1 developmentally_induced_by t2 if there is a process of organ induction (GO:0001759) with t1 and t2 as interacting participants. t2 causes t1 to change its fate from a precursor tissue type T to T', where T' develops_from T. t1 induced_by t2 if there is a process of developmental induction (GO:0031128) with t1 and t2 as interacting participants. t2 causes t1 to change its fate from a precursor anatomical structure type T to T', where T' develops_from T Chris Mungall David Osumi-Sutherland Melissa Haendel induced by Developmental Biology, Gilbert, 8th edition, figure 6.5(F) GO:0001759 We place this under 'developmentally preceded by'. This placement should be examined in the context of reciprocal inductions[cjm] RO:0002256 uberon developmentally_induced_by developmentally_induced_by sources for developmentally_induced_by relationships in Uberon: Developmental Biology, Gilbert, 8th edition, figure 6.5(F) developmentally induced by developmentally_induced_by t1 developmentally_induced_by t2 if there is a process of organ induction (GO:0001759) with t1 and t2 as interacting participants. t2 causes t1 to change its fate from a precursor tissue type T to T', where T' develops_from T. GO:0001759 Inverse of developmentally induced by Chris Mungall developmentally induces 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 false Chris Mungall In general you should not use this relation to make assertions - use one of the more specific relations below this one RO:0002258 uberon developmentally_preceded_by developmentally_preceded_by 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 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. acts upstream of 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. affects acts upstream of or within x developmentally replaces y if and only if there is some developmental process that causes x to move or to cease to exist, and for the site that was occupied by x to become occupied by y, where y either comes into existence in this site or moves to this site from somewhere else This relation is intended for cases such as when we have a bone element replacing its cartilage element precursor. Currently most AOs represent this using 'develops from'. We need to decide whether 'develops from' will be generic and encompass replacement, or whether we need a new name for a generic relation that encompasses replacement and development-via-cell-lineage Chris Mungall replaces RO:0002285 uberon developmentally_replaces developmentally_replaces developmentally replaces developmentally_replaces Inverse of developmentally preceded by Chris Mungall RO:0002286 developmentally_succeeded_by developmentally succeeded by 'hypopharyngeal eminence' SubClassOf 'part of precursor of' some tongue Chris Mungall part of developmental precursor of p results in the developmental progression of s iff p is a developmental process and s is an anatomical structure 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. Chris Mungall RO:0002295 external results_in_developmental_progression_of results_in_developmental_progression_of results in developmental progression of results in developmental progression of every flower development (GO:0009908) results in development of some flower (PO:0009046) p 'results in development of' c if and only if p is a developmental process and p results in the state of c changing from its initial state as a primordium or anlage through its mature state and to its final state. Chris Mungall http://www.geneontology.org/GO.doc.development.shtml RO:0002296 external results_in_development_of results_in_development_of results in development of results in development 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) Chris Mungall GOC:mtg_berkeley_2013 RO:0002297 external results_in_formation_of results_in_formation_of results in formation of results in formation of an annotation of gene X to cell morphogenesis with results_in_morphogenesis_of CL:0000540 (neuron) means that at the end of the process an input neuron has attained its shape. tongue morphogenesis (GO:0043587) results in morphogenesis of tongue (UBERON:0001723) The relationship that links an entity with the process that results in the formation and shaping of that entity over time from an immature to a mature state. Chris Mungall GOC:mtg_berkeley_2013 RO:0002298 external results_in_morphogenesis_of results_in_morphogenesis_of results in morphogenesis of results in morphogenesis of an annotation of gene X to cell maturation with results_in_maturation_of CL:0000057 (fibroblast) means that the fibroblast is mature at the end of the process bone maturation (GO:0070977) results_in_maturation_of bone (UBERON:0001474) The relationship that links an entity with a process that results in the progression of the entity over time that is independent of changes in it's shape and results in an end point state of that entity. Chris Mungall GOC:mtg_berkeley_2013 RO:0002299 external results_in_maturation_of results_in_maturation_of results in maturation of results in maturation of Hydrozoa (NCBITaxon_6074) SubClassOf 'has habitat' some 'Hydrozoa habitat' where 'Hydrozoa habitat' SubClassOf overlaps some ('marine environment' (ENVO_00000569) and 'freshwater environment' (ENVO_01000306) and 'wetland' (ENVO_00000043)) and 'has part' some (freshwater (ENVO_00002011) or 'sea water' (ENVO_00002149)) -- http://eol.org/pages/1795/overview x 'has habitat' y if and only if: x is an organism, y is a habitat, and y can sustain and allow the growth of a population of xs. Pier Buttigieg adapted for living in A population of xs will possess adaptations (either evolved naturally or via artifical selection) which permit it to exist and grow in y. has habitat has habitat cjm RO:0002304 external causally_upstream_of,_positive_effect causally_upstream_of,_positive_effect 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 causally upstream of, positive effect cjm RO:0002305 external causally_upstream_of,_negative_effect causally_upstream_of,_negative_effect holds between x and y if and only if x is causally upstream of y and the progression of x decreases the frequency, rate or extent of y causally upstream of, negative effect A relationship between an exposure event or process and any agent, stimulus, activity, or event that causally effects an organism and interacts with an exposure receptor during an exposure event. Austin Meier Chris Mungall Marie Angelique Laporte cjm 2017-06-05T17:35:04Z has exposure stimulus Holds between p and c when p is a localization process (localization covers maintenance of localization as well as its establishment) and the outcome of this process is to regulate the localization of c. Chris Mungall regulates localization of RO:0002313 external transports_or_maintains_localization_of transports_or_maintains_localization_of transports or maintains localization of transports or maintains localization of 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. q inheres in part of w if and only if there exists some p such that q inheres in p and p part of w. Because part_of is transitive, inheres in is a sub-relation of characteristic of part of Because part_of is transitive, inheres in is a sub-relation of inheres in part of Chris Mungall inheres in part of RO:0002314 inheres_in_part_of inheres_in_part_of characteristic of part of inheres in part of inheres in part of true an annotation of gene X to cell differentiation with results_in_maturation_of CL:0000057 (fibroblast) means that at the end of the process the input cell that did not have features of a fibroblast, now has the features of a fibroblast. The relationship that links a specified entity with the process that results in an unspecified entity acquiring the features and characteristics of the specified entity Chris Mungall GOC:mtg_berkeley_2013 RO:0002315 external results_in_acquisition_of_features_of results_in_acquisition_of_features_of results in acquisition of features of results in acquisition of features of A relationship that holds via some environmental process Chris Mungall 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 relationship that is mediated in some way by the environment or environmental feature (ENVO:00002297) Awaiting class for domain/range constraint, see: https://github.com/OBOFoundry/Experimental-OBO-Core/issues/6 Chris Mungall Do not use this relation directly. It is intended as a grouping for a diverse set of relations, all involving ecological interactions ecologically related to A mereological relationship or a topological relationship Chris Mungall Do not use this relation directly. It is ended as a grouping for a diverse set of relations, all involving parthood or connectivity relationships RO:0002323 mereotopologically_related_to mereotopologically related to A relationship that holds between entities participating in some developmental process (GO:0032502) Chris Mungall Do not use this relation directly. It is ended as a grouping for a diverse set of relations, all involving organismal development RO:0002324 developmentally_related_to developmentally related to a particular instances of akt-2 enables some instance of protein kinase activity Chris Mungall catalyzes executes has is catalyzing is executing 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. This relation is currently used experimentally by the Gene Ontology Consortium. It may not be stable and may be obsoleted at some future time. enables A grouping relationship for any relationship directly involving a function, or that holds because of a function of one of the related entities. Chris Mungall This is a grouping relation that collects relations used for the purpose of connecting structure and function RO:0002328 uberon functionally_related_to functionally_related_to functionally related to functionally related to this relation holds between c and p when c is part of some c', and c' is capable of p. Chris Mungall false RO:0002329 uberon part_of_structure_that_is_capable_of part_of_structure_that_is_capable_of part of structure that is capable of part of structure that is capable of true c involved_in p if and only if c enables some process p', and p' is part of p Chris Mungall actively involved in enables part of involved in every cellular sphingolipid homeostasis process regulates_level_of some sphingolipid p regulates levels of c if p regulates some amount (PATO:0000070) of c Chris Mungall regulates levels of (process to entity) RO:0002332 external regulates_levels_of regulates_levels_of regulates levels of regulates levels of inverse of enables Chris Mungall enabled by inverse of regulates Chris Mungall regulated by (processual) RO:0002334 external regulated_by regulated_by regulated by regulated by inverse of negatively regulates Chris Mungall RO:0002335 external negatively_regulated_by negatively_regulated_by negatively regulated by negatively regulated by inverse of positively regulates Chris Mungall RO:0002336 external positively_regulated_by positively_regulated_by positively regulated by positively regulated by A relationship that holds via some process of localization Chris Mungall 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 some initial location l to some destination. Chris Mungall RO:0002338 external has_target_start_location has_target_start_location has target start location has target start location 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. Chris Mungall RO:0002339 external has_target_end_location has_target_end_location has target end location has target end location Holds between p and l when p is a transportation or localization process and the outcome of this process is to move c from one location to another, and the route taken by c follows a path that is aligned_with l Chris Mungall RO:0002341 external results_in_transport_along results_in_transport_along results in transport along results in transport along 'pollen tube growth' results_in growth_of some 'pollen tube' Chris Mungall RO:0002343 external results_in_growth_of results_in_growth_of results in growth of results in growth of 'mitochondrial transport' results_in_transport_to_from_or_in some mitochondrion (GO:0005739) Chris Mungall RO:0002344 external results_in_transport_to_from_or_in results_in_transport_to_from_or_in results in transport to from or in results in transport to from or in member of An organism that is a member of a population of organisms is member of is a mereological relation between a item and a collection. is member of member part of SIO RO:0002350 uberon member_of member_of member of member of has member has member is a mereological relation between a collection and an item. SIO RO:0002351 uberon has_member has_member has member has member inverse of has input Chris Mungall RO:0002352 uberon input_of input_of input of input of inverse of has output Chris Mungall RO:0002353 external protein uberon output_of false output_of output of output of output_of Chris Mungall formed as result of 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 Chris Mungall attached to (anatomical structure to anatomical structure) RO:0002371 uberon attaches_to attaches_to attached to attaches_to m has_muscle_origin s iff m is attached_to s, and it is the case that when m contracts, s does not move. The site of the origin tends to be more proximal and have greater mass than what the other end attaches to. m has_muscle_origin s iff m is attaches_to s, and it is the case that when m contracts, s does not move. The site of the origin tends to be more proximal and have greater mass than what the other end attaches to. Chris Mungall Wikipedia:Insertion_(anatomy) RO:0002372 uberon has_muscle_origin has_muscle_origin The origin is the end of a muscle that attaches to the more fixed part of the skeleton, which is the proximal end in limb muscles has muscle origin has_muscle_origin We need to import uberon muscle to create a stricter domain constraint m has_muscle_origin s iff m is attaches_to s, and it is the case that when m contracts, s does not move. The site of the origin tends to be more proximal and have greater mass than what the other end attaches to. m has_muscle_origin s iff m is attaches_to s, and it is the case that when m contracts, s does not move. The site of the origin tends to be more proximal and have greater mass than what the other end attaches to. Wikipedia:Insertion_(anatomy)#Muscles m has_muscle_insertion s iff m is attaches_to s, and it is the case that when m contracts, s moves. Insertions are usually connections of muscle via tendon to bone. m has_muscle_insertion s iff m is attaches_to s, and it is the case that when m contracts, s moves. Insertions are usually connections of muscle via tendon to bone. Chris Mungall Wikipedia:Insertion_(anatomy) RO:0002373 uberon has_muscle_insertion has_muscle_insertion The insertion is the point of attachment of a muscle that moves the most when the muscle shortens, or the most distal end of limb muscles has muscle insertion has_muscle_insertion We need to import uberon muscle into RO to use as a stricter domain constraint m has_muscle_insertion s iff m is attaches_to s, and it is the case that when m contracts, s moves. Insertions are usually connections of muscle via tendon to bone. m has_muscle_insertion s iff m is attaches_to s, and it is the case that when m contracts, s moves. Insertions are usually connections of muscle via tendon to bone. Wikipedia:Insertion_(anatomy) A relationship that holds between two material entities in a system of connected structures, where the branching relationship holds based on properties of the connecting network. Chris Mungall Do not use this relation directly. It is ended as a grouping for a diverse set of relations, all involving branching relationships This relation can be used for geographic features (e.g. rivers) as well as anatomical structures (plant branches and roots, leaf veins, animal veins, arteries, nerves) in branching relationship with https://github.com/obophenotype/uberon/issues/170 Deschutes River tributary_of Columbia River inferior epigastric vein tributary_of external iliac vein x tributary_of y if and only if x a channel for the flow of a substance into y, where y is larger than x. If x and y are hydrographic features, then y is the main stem of a river, or a lake or bay, but not the sea or ocean. If x and y are anatomical, then y is a vein. Chris Mungall drains into drains to tributary channel of http://en.wikipedia.org/wiki/Tributary http://www.medindia.net/glossary/venous_tributary.htm This relation can be used for geographic features (e.g. rivers) as well as anatomical structures (veins, arteries) RO:0002376 uberon drains into tributary_of tributary_of tributary of tributary_of http://en.wikipedia.org/wiki/Tributary drains into dbpowl:drainsTo A lump of clay and a statue x spatially_coextensive_with y if and inly if x and y have the same location Chris Mungall This relation is added for formal completeness. It is unlikely to be used in many practical scenarios spatially coextensive with In the tree T depicted in https://oborel.github.io/obo-relations/branching_part_of.png, B1 is a (direct) branching part of T. B1-1, B1-2, and B1-3 are also branching parts of T, but these are considered indirect branching parts as they do not directly connect to the main stem S x is a branching part of y if and only if x is part of y and x is connected directly or indirectly to the main stem of y we need to check if FMA branch_of implies part_of. the relation we intend to use here should - for example, see vestibulocochlear nerve Chris Mungall RO:0002380 uberon branching_part_of branching_part_of branching part of branching_part_of FMA:85994 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). Chris Mungall RO:0002384 has_developmental_potential_involving 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 x has potential to developmentrally contribute to y iff x developmentally contributes to y or x is capable of developmentally contributing to y x has potential to developmentrally contribute to y iff x developmentally contributes to y or x is capable of developmentally contributing to y. Chris Mungall RO:0002385 uberon has_potential_to_developmentally_contribute_to has_potential_to_developmentally_contribute_to has potential to developmentally contribute to has potential to developmentally contribute to x has potential to developmentally induce y iff x developmentally induces y or x is capable of developmentally inducing y Chris Mungall has potential to developmentally induce x has the potential to develop into y iff x develops into y or if x is capable of developing into y x has the potential to develop into y iff x develops into y or if x is capable of developing into y x has the potential to develop into y iff x develops into y or if x is capable of developing into y. Chris Mungall RO:0002387 uberon has_potential_to_develop_into has_potential_to_develop_into has potential to develop into 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 x has potential to directly develop into y iff x directly develops into y or x is capable of directly developing into y. Chris Mungall RO:0002388 uberon has_potential_to_directly_develop_into has_potential_to_directly_develop_into has potential to directly develop into has potential to directly develop into inverse of upstream of Chris Mungall RO:0002404 external causally_downstream_of causally_downstream_of causally downstream of causally downstream of Chris Mungall RO:0002405 external immediately_causally_downstream_of immediately_causally_downstream_of immediately causally downstream of immediately causally downstream of This relation groups causal relations between material entities and causal relations between processes 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. Chris Mungall Do not use this relation directly. It is intended as a grouping for a diverse set of relations, all involving cause and effect. RO:0002410 causally_related_to causally related to p is causally upstream of q if and only if p precedes q and p and q are linked in a causal chain Chris Mungall RO:0002411 external causally_upstream_of causally_upstream_of causally upstream of causally upstream of p is immediately causally upstream of q iff both (a) p immediately precedes q and (b) p is causally upstream of q. In addition, the output of p must be an input of q. Chris Mungall RO:0002412 external immediately_causally_upstream_of immediately_causally_upstream_of immediately causally upstream of immediately causally upstream of p 'causally upstream or within' q iff (1) the end of p is before the end of q and (2) the execution of p exerts some causal influence over the outputs of q; i.e. if p was abolished or the outputs of p were to be modified, this would necessarily affect q. We would like to make this disjoint with 'preceded by', but this is prohibited in OWL2 Chris Mungall influences (processual) RO:0002418 external affects causally_upstream_of_or_within causally_upstream_of_or_within causally upstream of or within inverse of causally upstream of or within Chris Mungall RO:0002427 external causally_downstream_of_or_within causally_downstream_of_or_within causally downstream of or within c involved in regulation of p if c is involved in some p' and p' regulates some p Chris Mungall involved in regulation of c involved in regulation of p if c is involved in some p' and p' positively regulates some p Chris Mungall involved in positive regulation of c involved in regulation of p if c is involved in some p' and p' negatively regulates some p Chris Mungall involved in negative regulation of 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 Chris Mungall involved in or reguates 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. Chris Mungall executes activity in enables activity in is active in true 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. GOC:cjm GOC:dos p contributes to morphology of w if and only if a change in the morphology of p entails a change in the morphology of w. Examples: every skull contributes to morphology of the head which it is a part of. Counter-example: nuclei do not generally contribute to the morphology of the cell they are part of, as they are buffered by cytoplasm. Chris Mungall RO:0002433 uberon contributes_to_morphology_of contributes_to_morphology_of contributes to morphology of A relationship that holds between two entities in which the processes executed by the two entities are causally connected. Considering relabeling as 'pairwise interacts with' 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. Chris Mungall 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. in pairwise interaction with interacts with http://purl.obolibrary.org/obo/MI_0914 http://purl.obolibrary.org/obo/ro/docs/interaction-relations/ http://purl.obolibrary.org/obo/MI_0914 https://github.com/oborel/obo-relations/wiki/InteractionRelations 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. Chris Mungall binds molecularly binds with molecularly interacts with http://purl.obolibrary.org/obo/MI_0915 http://purl.obolibrary.org/obo/MI_0915 Axiomatization to GO to be added later Chris Mungall An interaction relation between x and y in which x catalyzes a reaction in which a phosphate group is added to y. phosphorylates 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. Chris Mungall Vasundra Touré molecularly controls directly regulates activity of 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. Chris Mungall Vasundra Touré directly inhibits molecularly decreases activity of 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. Chris Mungall Vasundra Touré directly activates molecularly increases activity of directly positively regulates activity of Chris Mungall 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) '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. x composed_primarily_of y iff: more than half of the mass of x is made from parts of y x composed_primarily_of y iff: more than half of the mass of x is made from parts of y. Chris Mungall RO:0002473 uberon RO:0002473 composed_primarily_of composed_primarily_of composed primarily of p has part that occurs in c if and only if there exists some p1, such that p has_part p1, and p1 occurs in c. Chris Mungall has part that occurs in true Chris Mungall is kinase activity Chris Mungall 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 Relation between continuant c and occurrent s, such that every instance of c comes into existing during some s. 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). Chris Mungall RO:0002488 begins_to_exist_during uberon RO:0002488 existence_starts_during existence_starts_during existence starts during Relation between continuant c and occurrent s, such that every instance of c comes into existing during some s. Relation between continuant c and occurrent s, such that every instance of c comes into existing during some s. https://orcid.org/0000-0002-6601-2165 Relation between continuant and occurrent, such that c comes into existence at the start of p. x starts ends with y if and only if the time point at which x starts is equivalent to the time point at which y starts. Formally: x existence starts with y iff α(x) = α(y). Chris Mungall RO:0002489 uberon existence_starts_with existence_starts_with existence starts with Relation between continuant and occurrent, such that c comes into existence at the start of p. Relation between continuant and occurrent, such that c comes into existence at the start of p. https://orcid.org/0000-0002-6601-2165 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)) Chris Mungall 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. existence overlaps x exists during y if and only if: 1) the time point at which x begins to exist is after or equal to the time point at which y begins and 2) the time point at which x ceases to exist is before or equal to the point at which y ends. Formally: x existence starts and ends during y iff α(x) >= α(y) & α(x) <= ω(y) & ω(x) <= ω(y) & ω(x) >= α(y) Chris Mungall RO:0002491 exists during uberon existence_starts_and_ends_during existence_starts_and_ends_during 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. existence starts and ends during Relation between continuant c and occurrent s, such that every instance of c ceases to exist during some s, if it does not die prematurely. 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). Chris Mungall RO:0002492 ceases_to_exist_during uberon RO:0002492 existence_ends_during existence_ends_during 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. existence ends during Relation between continuant c and occurrent s, such that every instance of c ceases to exist during some s, if it does not die prematurely. Relation between continuant c and occurrent s, such that every instance of c ceases to exist during some s, if it does not die prematurely. https://orcid.org/0000-0002-6601-2165 Relation between continuant and occurrent, such that c ceases to exist at the end of p. x existence ends with y if and only if the time point at which x ends is equivalent to the time point at which y ends. Formally: x existence ends with y iff ω(x) = ω(y). Chris Mungall RO:0002493 uberon existence_ends_with existence_ends_with 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. existence ends with Relation between continuant and occurrent, such that c ceases to exist at the end of p. Relation between continuant and occurrent, such that c ceases to exist at the end of p. https://orcid.org/0000-0002-6601-2165 x transformation of y if x is the immediate transformation of y, or is linked to y through a chain of transformation relationships Chris Mungall RO:0002494 transforms from uberon transformation_of transformation_of transformation of transforms from SIO:000657 x immediate transformation of y iff x immediately succeeds y temporally at a time boundary t, and all of the matter present in x at t is present in y at t, and all the matter in y at t is present in x at t Chris Mungall RO:0002495 direct_transformation_of immediately transforms from uberon immediate_transformation_of immediate_transformation_of immediate transformation of direct_transformation_of direct_transformation_of https://orcid.org/0000-0002-6601-2165 immediately transforms from SIO:000658 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). Chris Mungall RO:0002496 uberon existence_starts_during_or_after existence_starts_during_or_after 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. existence starts during or after 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. Chris Mungall RO:0002497 uberon existence_ends_during_or_before existence_ends_during_or_before 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. existence ends during or before A relationship between a material entity and a process where the material entity has some causal role that influences the process RO:0002500 causal_agent_in_process causal agent in process p is causally related to q if and only if p or any part of p and q or any part of q are linked by a chain of events where each event pair is one of direct activation or direct inhibition. p may be upstream, downstream, part of or a container of q. Chris Mungall Do not use this relation directly. It is intended as a grouping for a diverse set of relations, all involving cause and effect. RO:0002501 causal_relation_between_processes causal relation between processes Chris Mungall depends on 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 Chris Mungall Do not use this relation directly. It is intended as a grouping for a diverse set of relations, all involving cause and effect. causal relation between entities A coral reef environment is determined by a particular coral reef s determined by f if and only if s is a type of system, and f is a material entity that is part of s, such that f exerts a strong causal influence on the functioning of s, and the removal of f would cause the collapse of s. The label for this relation is probably too general for its restricted use, where the domain is a system. It may be relabeled in future Chris Mungall determined by (system to material entity) Chris Mungall Pier Buttigieg determined by 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. Chris Mungall determined by part of Forelimb SubClassOf has_skeleton some 'Forelimb skeleton' A relation between a segment or subdivision of an organism and the maximal subdivision of material entities that provides structural support for that segment or subdivision. A relation between a subdivision of an organism and the single subdivision of skeleton that provides structural support for that subdivision. Chris Mungall has supporting framework The skeleton of a structure may be a true skeleton (for example, the bony skeleton of a hand) or any kind of support framework (the hydrostatic skeleton of a sea star, the exoskeleton of an insect, the cytoskeleton of a cell). RO:0002551 uberon has sekeletal support has supporting framework has_skeleton has_skeleton has skeleton This should be to a more restricted class, but not the Uberon class may be too restricted since it is a composition-based definition of skeleton rather than functional. A relation between a subdivision of an organism and the single subdivision of skeleton that provides structural support for that subdivision. A relation between a subdivision of an organism and the single subdivision of skeleton that provides structural support for that subdivision. http://orcid.org/0000-0002-6601-2165 Chris Mungall causally influenced by (entity-centric) causally influenced by Chris Mungall interaction relation helper property http://purl.obolibrary.org/obo/ro/docs/interaction-relations/ https://github.com/oborel/obo-relations/wiki/InteractionRelations Chris Mungall 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). Chris Mungall Vasundra Touré causally influences (entity-centric) causally influences A relation that holds between elements of a musculoskeletal system or its analogs. Chris Mungall Do not use this relation directly. It is ended as a grouping for a diverse set of relations, all involving the biomechanical processes. biomechanically related to m1 has_muscle_antagonist m2 iff m1 acts in opposition to m2, and m2 is responsible for returning the structure to its initial position. m1 has_muscle_antagonist m2 iff m1 has_muscle_insertion s, m2 has_muscle_insection s, m1 acts in opposition to m2, and m2 is responsible for returning the structure to its initial position. RO:0002568 uberon has_muscle_antagonist has_muscle_antagonist has muscle antagonist m1 has_muscle_antagonist m2 iff m1 acts in opposition to m2, and m2 is responsible for returning the structure to its initial position. inverse of branching part of Chris Mungall RO:0002569 uberon has_branching_part has_branching_part has branching part x lumen_of y iff x is the space or substance that is part of y and does not cross any of the inner membranes or boundaries of y that is maximal with respect to the volume of the convex hull. Chris Mungall GOC:cjm RO:0002571 uberon lumen_of lumen_of lumen of s is luminal space of x iff s is lumen_of x and s is an immaterial entity Chris Mungall RO:0002572 uberon luminal_space_of luminal_space_of luminal space of has modifier inverse of has skeleton Chris Mungall RO:0002576 uberon skeleton_of skeleton_of skeleton of Process(P1) directly regulates process(P2) iff: P1 regulates P2 via direct physical interaction between an agent executing P1 (or some part of P1) and an agent executing P2 (or some part of P2). For example, if protein A has protein binding activity(P1) that targets protein B and this binding regulates the kinase activity (P2) of protein B then P1 directly regulates P2. Chris Mungall directly regulates (processual) directly regulates 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 Chris Mungall has part structure that is capable of p results in breakdown of c if and only if the execution of p leads to c no longer being present at the end of p results in breakdown of RO:0002588 external results_in_assembly_of results_in_assembly_of results in assembly of results_in_assembly_of RO:0002590 external results_in_disassembly_of results_in_disassembly_of results in disassembly of results_in_disassembly_of p results in organization of c iff p results in the assembly, arrangement of constituent parts, or disassembly of c RO:0002592 external results_in_organization_of results_in_organization_of results in organization of 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. Do not use this relation directly. It is intended as a grouping for a diverse set of relations, all involving cause and effect. Chris Mungall RO:0002595 causal_relation_between_material_entity_and_a_process causal relation between material entity and a process pyrethroid -> growth Holds between c and p if and only if c is capable of some activity a, and a regulates p. capable of regulating Holds between c and p if and only if c is capable of some activity a, and a negatively regulates p. capable of negatively regulating 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. capable of positively regulating Inverse of 'causal agent in process' RO:0002608 external process_has_causal_agent process_has_causal_agent process has causal agent Process(P1) directly postively regulates process(P2) iff: P1 positively regulates P2 via direct physical interaction between an agent executing P1 (or some part of P1) and an agent executing P2 (or some part of P2). For example, if protein A has protein binding activity(P1) that targets protein B and this binding positively regulates the kinase activity (P2) of protein B then P1 directly positively regulates P2. directly positively regulates (process to process) directly positively regulates Process(P1) directly negatively regulates process(P2) iff: P1 negatively regulates P2 via direct physical interaction between an agent executing P1 (or some part of P1) and an agent executing P2 (or some part of P2). For example, if protein A has protein binding activity(P1) that targets protein B and this binding negatively regulates the kinase activity (P2) of protein B then P1 directly negatively regulates P2. directly negatively regulates (process to process) directly negatively regulates 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. Melissa Haendel RO:0003000 external uberon produces produces 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 produces a produced_by b iff some process that occurs_in b has_output a. Melissa Haendel RO:0003001 external uberon produced_by produced_by produced by produced by produced_by p 'has primary input ot output' c iff either (a) p 'has primary input' c or (b) p 'has primary output' c. cjm 2018-12-13T11:26:17Z RO:0004007 external has_primary_input_or_output has_primary_input_or_output has primary input or output p has primary output c if (a) p has output c and (b) the goal of process is to modify, produce, or transform c. cjm 2018-12-13T11:26:32Z RO:0004008 external has_primary_output has_primary_output has primary output p has primary output c if (a) p has output c and (b) the goal of process is to modify, produce, or transform c. GOC:cjm GOC:dph GOC:kva GOC:pt PMID:27812932 Holds between an entity and an process P where the entity enables some larger compound process, and that larger process has-part P. cjm 2018-01-25T23:20:13Z enables subfunction cjm 2018-01-26T23:49:30Z acts upstream of or within, positive effect cjm 2018-01-26T23:49:51Z 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 cjm 2018-01-26T23:53:14Z acts upstream of, positive effect 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 cjm 2018-01-26T23:53:22Z acts upstream of, negative effect cjm 2018-03-13T23:55:05Z causally upstream of or within, negative effect cjm 2018-03-13T23:55:19Z causally upstream of or within, positive effect Damion Dooley has substance added 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. Vasundra Touré regulates activity of p acts on population of c iff c' is a collection, has members of type c, and p has participant c pg 2020-06-08T17:21:33Z RO:0012003 external acts_on_population_of acts_on_population_of acts on population of acts on population of pg 2021-02-26T07:28:29Z RO:0012008 external results_in_fusion_of results_in_fusion_of results in fusion of results in fusion of q1 different_in_magnitude_relative_to q2 if and only if magnitude(q1) NOT =~ magnitude(q2). Here, magnitude(q) is a function that maps a quality to a unit-invariant scale. different in magnitude relative to q1 different_in_magnitude_relative_to q2 if and only if magnitude(q1) NOT =~ magnitude(q2). Here, magnitude(q) is a function that maps a quality to a unit-invariant scale. https://orcid.org/0000-0002-6601-2165 q1 increased_in_magnitude_relative_to q2 if and only if magnitude(q1) > magnitude(q2). Here, magnitude(q) is a function that maps a quality to a unit-invariant scale. This relation is used to determine the 'directionality' of relative qualities such as 'increased strength', relative to the parent type, 'strength'. increased in magnitude relative to q1 increased_in_magnitude_relative_to q2 if and only if magnitude(q1) > magnitude(q2). Here, magnitude(q) is a function that maps a quality to a unit-invariant scale. https://orcid.org/0000-0002-6601-2165 q1 decreased_in_magnitude_relative_to q2 if and only if magnitude(q1) < magnitude(q2). Here, magnitude(q) is a function that maps a quality to a unit-invariant scale. This relation is used to determine the 'directionality' of relative qualities such as 'decreased strength', relative to the parent type, 'strength'. decreased in magnitude relative to q1 decreased_in_magnitude_relative_to q2 if and only if magnitude(q1) < magnitude(q2). Here, magnitude(q) is a function that maps a quality to a unit-invariant scale. https://orcid.org/0000-0002-6601-2165 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. has cross section 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. https://orcid.org/0000-0002-6601-2165 q1 reciprocal_of q2 if and only if : q1 and q2 are relational qualities and a phenotype e q1 e2 mutually implies a phenotype e2 q2 e. There are frequently two ways to state the same thing: we can say 'spermatocyte lacks asters' or 'asters absent from spermatocyte'. In this case the quality is 'lacking all parts of type' - it is a (relational) quality of the spermatocyte, and it is with respect to instances of 'aster'. One of the popular requirements of PATO is that it continue to support 'absent', so we need to relate statements which use this quality to the 'lacking all parts of type' quality. reciprocal of q1 reciprocal_of q2 if and only if : q1 and q2 are relational qualities and a phenotype e q1 e2 mutually implies a phenotype e2 q2 e. https://orcid.org/0000-0002-6601-2165 A diagnostic testing device utilizes a specimen. X utilizes Y means X and Y are material entities, and X is capable of some process P that has input Y. Asiyah Lin https://orcid.org/0000-0001-9625-1899 Bill Duncan 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 2021-11-08 2021-11-08T12:00:00Z utilizes 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. regulates characteristic 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. positively regulates characteristic 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. negatively regulates characteristic p has anatomical participant c iff p has participant c, and c is an anatomical entity cjm 2018-09-26T01:08:58Z results in changes to anatomical or cellular structure chebi_ontology has_functional_parent false false has functional parent chebi_ontology has_parent_hydride false false has parent hydride chebi_ontology is_conjugate_acid_of true false is conjugate acid of chebi_ontology is_conjugate_base_of true false is conjugate base of chebi_ontology is_enantiomer_of true false is enantiomer of chebi_ontology is_substituent_group_from false false is substituent group from chebi_ontology is_tautomer_of true is tautomer of http://purl.obolibrary.org/obo/BFO_0000051 exactly 0 ?Y lacks_part http://purl.obolibrary.org/obo/BFO_0000051 exactly 0 (http://purl.obolibrary.org/obo/GO_0005886 and http://purl.obolibrary.org/obo/BFO_0000051 some ?Y) lacks_plasma_membrane_part source interacts_with interacts_with source interacts_with_an_exposure_receptor_via interacts_with_an_exposure_receptor_via source interacts_with_an_exposure_stressor_via interacts_with_an_exposure stressor_via has_participant has_quality q1 decreased_in_magnitude_relative_to q2 if and only if magnitude(q1) < magnitude(q2). Here, magnitude(q) is a function that maps a quality to a unit-invariant scale. quality decreased_in_magnitude_relative_to This relation is used to determine the 'directionality' of relative qualities such as 'decreased strength', relative to the parent type, 'strength'. decreased_in_magnitude_relative_to q1 decreased_in_magnitude_relative_to q2 if and only if magnitude(q1) < magnitude(q2). Here, magnitude(q) is a function that maps a quality to a unit-invariant scale. PATOC:CJM q1 different_in_magnitude_relative_to q2 if and only if magnitude(q1) NOT =~ magnitude(q2). Here, magnitude(q) is a function that maps a quality to a unit-invariant scale. quality different_in_magnitude_relative_to different_in_magnitude_relative_to q1 different_in_magnitude_relative_to q2 if and only if magnitude(q1) NOT =~ magnitude(q2). Here, magnitude(q) is a function that maps a quality to a unit-invariant scale. PATOC:CJM q1 increased_in_magnitude_relative_to q2 if and only if magnitude(q1) > magnitude(q2). Here, magnitude(q) is a function that maps a quality to a unit-invariant scale. quality increased_in_magnitude_relative_to This relation is used to determine the 'directionality' of relative qualities such as 'increased strength', relative to the parent type, 'strength'. increased_in_magnitude_relative_to q1 increased_in_magnitude_relative_to q2 if and only if magnitude(q1) > magnitude(q2). Here, magnitude(q) is a function that maps a quality to a unit-invariant scale. PATOC:CJM q1 reciprocal_of q2 if and only if : q1 and q2 are relational qualities and a phenotype e q1 e2 mutually implies a phenotype e2 q2 e. quality reciprocal_of There are frequently two ways to state the same thing: we can say 'spermatocyte lacks asters' or 'asters absent from spermatocyte'. In this case the quality is 'lacking all parts of type' - it is a (relational) quality of the spermatocyte, and it is with respect to instances of 'aster'. One of the popular requirements of PATO is that it continue to support 'absent', so we need to relate statements which use this quality to the 'lacking all parts of type' quality. reciprocal_of q1 reciprocal_of q2 if and only if : q1 and q2 are relational qualities and a phenotype e q1 e2 mutually implies a phenotype e2 q2 e. PATOC:CJM protein has_gene_template false has_gene_template x anteriorly_connected_to y iff the anterior part of x is connected to y. i.e. x connected_to y and x posterior_to y. anteriorly_connected_to uberon anteriorly_connected_to anteriorly_connected_to anteriorly connected to x anteriorly_connected_to y iff the anterior part of x is connected to y. i.e. x connected_to y and x posterior_to y. x anteriorly_connected_to y iff the anterior part of x is connected to y. i.e. x connected_to y and x posterior_to y. http://purl.obolibrary.org/obo/uberon/docs/Connectivity-Design-Pattern carries channel_for uberon channel_for channel_for channel for channels_from uberon channels_from channels_from channels_from channels_into uberon channels_into channels_into channels_into x is a conduit for y iff y passes through the lumen of x. conduit_for uberon conduit_for conduit_for conduit for x distally_connected_to y iff the distal part of x is connected to y. i.e. x connected_to y and x proximal_to y. distally_connected_to uberon distally_connected_to distally_connected_to distally connected to x distally_connected_to y iff the distal part of x is connected to y. i.e. x connected_to y and x proximal_to y. x distally_connected_to y iff the distal part of x is connected to y. i.e. x connected_to y and x proximal_to y. http://purl.obolibrary.org/obo/uberon/docs/Connectivity-Design-Pattern uberon extends_fibers_into extends_fibers_into Relationship between a fluid and a material entity, where the fluid is the output of a realization of a filtration role that inheres in the material entity. filtered_through uberon filtered_through filtered_through Relationship between a fluid and a filtration barrier, where the portion of fluid arises as a transformation of another portion of fluid on the other side of the barrier, with larger particles removed filtered through a indirectly_supplies s iff a has a branch and the branch supplies or indirectly supplies s. add to RO uberon indirectly_supplies indirectly_supplies uberon layer_part_of layer part of x posteriorly_connected_to y iff the posterior part of x is connected to y. i.e. x connected_to y and x anterior_to y. posteriorly_connected_to uberon posteriorly_connected_to posteriorly_connected_to posteriorly connected to x posteriorly_connected_to y iff the posterior part of x is connected to y. i.e. x connected_to y and x anterior_to y. x posteriorly_connected_to y iff the posterior part of x is connected to y. i.e. x connected_to y and x anterior_to y. http://purl.obolibrary.org/obo/uberon/docs/Connectivity-Design-Pattern protects uberon protects protects protects x proximally_connected_to y iff the proximal part of x is connected to y. i.e. x connected_to y and x distal_to y. proximally_connected_to uberon proximally_connected_to proximally_connected_to proximally connected to x proximally_connected_to y iff the proximal part of x is connected to y. i.e. x connected_to y and x distal_to y. x proximally_connected_to y iff the proximal part of x is connected to y. i.e. x connected_to y and x distal_to y. http://purl.obolibrary.org/obo/uberon/docs/Connectivity-Design-Pattern c site_of p if c is the bearer of a disposition that is realized by a process that has p as part. uberon capable_of_has_part site_of site_of subdivision_of uberon subdivision_of subdivision_of placeholder relation. X = 'subdivision of A' and subdivision_of some B means that X is the mereological sum of A and B subdivision of Relation between an anatomical structure (including cells) and a neuron that chemically synapses to it. uberon synapsed_by synapsed by . transitively_anteriorly_connected_to uberon transitively_anteriorly_connected_to transitively_anteriorly_connected_to transitively anteriorly connected to . . http://purl.obolibrary.org/obo/uberon/docs/Connectivity-Design-Pattern transitively_connected_to uberon transitively_connected_to transitively_connected_to transitively_connected to . transitively_distally_connected_to uberon transitively_distally_connected_to transitively_distally_connected_to transitively distally connected to . . http://purl.obolibrary.org/obo/uberon/docs/Connectivity-Design-Pattern . transitively_proximally_connected_to uberon transitively_proximally_connected_to transitively_proximally_connected_to transitively proximally connected to . . http://purl.obolibrary.org/obo/uberon/docs/Connectivity-Design-Pattern is related to SIO_000001 A is related to B iff there is some relation between A and B. 'is related to' is the top level relation in SIO core relations+ is related to has attribute is a relation that associates a entity with an attribute where an attribute is an intrinsic characteristic such as a quality, capability, disposition, function, or is an externally derived attribute determined from some descriptor (e.g. a quantity, position, label/identifier) either directly or indirectly through generalization of entities of the same type. core has attribute is attribute of has quality is a relation between an entity and the quality that it bears. has quality is quality of has unit is a relation between a quantity and the unit it is a multiple of. core has unit is unit of has property is a relation between an entity and the quality, capability or role that it and it alone bears. has property michel's hair has the quality of being brown in colour. is property of has specified numeric value has specified value A relation between a value specification and a number that quantifies it. A range of 'real' might be better than 'float'. For now we follow 'has measurement value' until we can consider technical issues with SPARQL queries and reasoning. PERSON: James A. Overton OBI has specified numeric value has specified value has specified value A relation between a value specification and a literal. This is not an RDF/OWL object property. It is intended to link a value found in e.g. a database column of 'M' (the literal) to an instance of a value specification class, which can then be linked to indicate that this is about the biological gender of a human subject. OBI has specified value A planned process that has specified output a software product and that involves the creation of source code. Mathias Brochhausen William R. Hogan http://en.wikipedia.org/wiki/Software_development A planned process resulting in a software product involving the creation of source code. software development creating a data set A planned process that has a data set as its specified output. William R. Hogan data set creation dataset creation dataset creating entity Entity entity Julius Caesar Verdi’s Requiem the Second World War your body mass index BFO 2 Reference: In all areas of empirical inquiry we encounter general terms of two sorts. First are general terms which refer to universals or types:animaltuberculosissurgical procedurediseaseSecond, are general terms used to refer to groups of entities which instantiate a given universal but do not correspond to the extension of any subuniversal of that universal because there is nothing intrinsic to the entities in question by virtue of which they – and only they – are counted as belonging to the given group. Examples are: animal purchased by the Emperortuberculosis diagnosed on a Wednesdaysurgical procedure performed on a patient from Stockholmperson identified as candidate for clinical trial #2056-555person who is signatory of Form 656-PPVpainting by Leonardo da VinciSuch terms, which represent what are called ‘specializations’ in [81 Entity doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example Werner Ceusters 'portions of reality' include 4 sorts, entities (as BFO construes them), universals, configurations, and relations. It is an open question as to whether entities as construed in BFO will at some point also include these other portions of reality. See, for example, 'How to track absolutely everything' at http://www.referent-tracking.com/_RTU/papers/CeustersICbookRevised.pdf An entity is anything that exists or has existed or will exist. (axiom label in BFO2 Reference: [001-001]) entity entity Entity doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example Werner Ceusters 'portions of reality' include 4 sorts, entities (as BFO construes them), universals, configurations, and relations. It is an open question as to whether entities as construed in BFO will at some point also include these other portions of reality. See, for example, 'How to track absolutely everything' at http://www.referent-tracking.com/_RTU/papers/CeustersICbookRevised.pdf per discussion with Barry Smith An entity is anything that exists or has existed or will exist. (axiom label in BFO2 Reference: [001-001]) continuant Continuant continuant An entity that exists in full at any time in which it exists at all, persists through time while maintaining its identity and has no temporal parts. 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. BFO 2 Reference: Continuant entities are entities which can be sliced to yield parts only along the spatial dimension, yielding for example the parts of your table which we call its legs, its top, its nails. ‘My desk stretches from the window to the door. It has spatial parts, and can be sliced (in space) in two. With respect to time, however, a thing is a continuant.’ [60, p. 240 Continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example, in an expansion involving bringing in some of Ceuster's other portions of reality, questions are raised as to whether universals are continuants A continuant is an entity that persists, endures, or continues to exist through time while maintaining its identity. (axiom label in BFO2 Reference: [008-002]) if b is a continuant and if, for some t, c has_continuant_part b at t, then c is a continuant. (axiom label in BFO2 Reference: [126-001]) if b is a continuant and if, for some t, cis continuant_part of b at t, then c is a continuant. (axiom label in BFO2 Reference: [009-002]) if b is a material entity, then there is some temporal interval (referred to below as a one-dimensional temporal region) during which b exists. (axiom label in BFO2 Reference: [011-002]) (forall (x y) (if (and (Continuant x) (exists (t) (continuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [009-002] (forall (x y) (if (and (Continuant x) (exists (t) (hasContinuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [126-001] (forall (x) (if (Continuant x) (Entity x))) // axiom label in BFO2 CLIF: [008-002] (forall (x) (if (Material Entity x) (exists (t) (and (TemporalRegion t) (existsAt x t))))) // axiom label in BFO2 CLIF: [011-002] continuant continuant Continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example, in an expansion involving bringing in some of Ceuster's other portions of reality, questions are raised as to whether universals are continuants A continuant is an entity that persists, endures, or continues to exist through time while maintaining its identity. (axiom label in BFO2 Reference: [008-002]) if b is a continuant and if, for some t, c has_continuant_part b at t, then c is a continuant. (axiom label in BFO2 Reference: [126-001]) if b is a continuant and if, for some t, cis continuant_part of b at t, then c is a continuant. (axiom label in BFO2 Reference: [009-002]) if b is a material entity, then there is some temporal interval (referred to below as a one-dimensional temporal region) during which b exists. (axiom label in BFO2 Reference: [011-002]) (forall (x y) (if (and (Continuant x) (exists (t) (continuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [009-002] (forall (x y) (if (and (Continuant x) (exists (t) (hasContinuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [126-001] (forall (x) (if (Continuant x) (Entity x))) // axiom label in BFO2 CLIF: [008-002] (forall (x) (if (Material Entity x) (exists (t) (and (TemporalRegion t) (existsAt x t))))) // axiom label in BFO2 CLIF: [011-002] occurrent Occurrent occurrent An entity that has temporal parts and that happens, unfolds or develops through time. An entity that has temporal parts and that happens, unfolds or develops through time. BFO 2 Reference: every occurrent that is not a temporal or spatiotemporal region is s-dependent on some independent continuant that is not a spatial region BFO 2 Reference: s-dependence obtains between every process and its participants in the sense that, as a matter of necessity, this process could not have existed unless these or those participants existed also. A process may have a succession of participants at different phases of its unfolding. Thus there may be different players on the field at different times during the course of a football game; but the process which is the entire game s-depends_on all of these players nonetheless. Some temporal parts of this process will s-depend_on on only some of the players. Occurrent doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. An example would be the sum of a process and the process boundary of another process. Simons uses different terminology for relations of occurrents to regions: Denote the spatio-temporal location of a given occurrent e by 'spn[e]' and call this region its span. We may say an occurrent is at its span, in any larger region, and covers any smaller region. Now suppose we have fixed a frame of reference so that we can speak not merely of spatio-temporal but also of spatial regions (places) and temporal regions (times). The spread of an occurrent, (relative to a frame of reference) is the space it exactly occupies, and its spell is likewise the time it exactly occupies. We write 'spr[e]' and `spl[e]' respectively for the spread and spell of e, omitting mention of the frame. An occurrent is an entity that unfolds itself in time or it is the instantaneous boundary of such an entity (for example a beginning or an ending) or it is a temporal or spatiotemporal region which such an entity occupies_temporal_region or occupies_spatiotemporal_region. (axiom label in BFO2 Reference: [077-002]) Every occurrent occupies_spatiotemporal_region some spatiotemporal region. (axiom label in BFO2 Reference: [108-001]) b is an occurrent entity iff b is an entity that has temporal parts. (axiom label in BFO2 Reference: [079-001]) (forall (x) (if (Occurrent x) (exists (r) (and (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion x r))))) // axiom label in BFO2 CLIF: [108-001] (forall (x) (iff (Occurrent x) (and (Entity x) (exists (y) (temporalPartOf y x))))) // axiom label in BFO2 CLIF: [079-001] occurrent occurrent Occurrent doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. An example would be the sum of a process and the process boundary of another process. per discussion with Barry Smith Simons uses different terminology for relations of occurrents to regions: Denote the spatio-temporal location of a given occurrent e by 'spn[e]' and call this region its span. We may say an occurrent is at its span, in any larger region, and covers any smaller region. Now suppose we have fixed a frame of reference so that we can speak not merely of spatio-temporal but also of spatial regions (places) and temporal regions (times). The spread of an occurrent, (relative to a frame of reference) is the space it exactly occupies, and its spell is likewise the time it exactly occupies. We write 'spr[e]' and `spl[e]' respectively for the spread and spell of e, omitting mention of the frame. An occurrent is an entity that unfolds itself in time or it is the instantaneous boundary of such an entity (for example a beginning or an ending) or it is a temporal or spatiotemporal region which such an entity occupies_temporal_region or occupies_spatiotemporal_region. (axiom label in BFO2 Reference: [077-002]) Every occurrent occupies_spatiotemporal_region some spatiotemporal region. (axiom label in BFO2 Reference: [108-001]) b is an occurrent entity iff b is an entity that has temporal parts. (axiom label in BFO2 Reference: [079-001]) (forall (x) (if (Occurrent x) (exists (r) (and (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion x r))))) // axiom label in BFO2 CLIF: [108-001] (forall (x) (iff (Occurrent x) (and (Entity x) (exists (y) (temporalPartOf y x))))) // axiom label in BFO2 CLIF: [079-001] ic IndependentContinuant independent continuant a chair a heart a leg a molecule a spatial region an atom an orchestra. an organism the bottom right portion of a human torso the interior of your mouth A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything. A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything. 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]) 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]) For any independent continuant b and any time t there is some spatial region r such that b is located_in r at t. (axiom label in BFO2 Reference: [134-001]) For every independent continuant b and time t during the region of time spanned by its life, there are entities which s-depends_on b during t. (axiom label in BFO2 Reference: [018-002]) (forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001] (forall (x t) (if (and (IndependentContinuant x) (existsAt x t)) (exists (y) (and (Entity y) (specificallyDependsOnAt y x t))))) // axiom label in BFO2 CLIF: [018-002] (iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002] independent continuant independent continuant 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]) For any independent continuant b and any time t there is some spatial region r such that b is located_in r at t. (axiom label in BFO2 Reference: [134-001]) For every independent continuant b and time t during the region of time spanned by its life, there are entities which s-depends_on b during t. (axiom label in BFO2 Reference: [018-002]) (forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001] (forall (x t) (if (and (IndependentContinuant x) (existsAt x t)) (exists (y) (and (Entity y) (specificallyDependsOnAt y x t))))) // axiom label in BFO2 CLIF: [018-002] (iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002] s-region SpatialRegion BFO 2 Reference: Spatial regions do not participate in processes. Spatial region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the union of a spatial point and a spatial line that doesn't overlap the point, or two spatial lines that intersect at a single point. In both cases the resultant spatial region is neither 0-dimensional, 1-dimensional, 2-dimensional, or 3-dimensional. A spatial region is a continuant entity that is a continuant_part_of spaceR as defined relative to some frame R. (axiom label in BFO2 Reference: [035-001]) All continuant parts of spatial regions are spatial regions. (axiom label in BFO2 Reference: [036-001]) (forall (x y t) (if (and (SpatialRegion x) (continuantPartOfAt y x t)) (SpatialRegion y))) // axiom label in BFO2 CLIF: [036-001] (forall (x) (if (SpatialRegion x) (Continuant x))) // axiom label in BFO2 CLIF: [035-001] spatial region Spatial region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the union of a spatial point and a spatial line that doesn't overlap the point, or two spatial lines that intersect at a single point. In both cases the resultant spatial region is neither 0-dimensional, 1-dimensional, 2-dimensional, or 3-dimensional. per discussion with Barry Smith A spatial region is a continuant entity that is a continuant_part_of spaceR as defined relative to some frame R. (axiom label in BFO2 Reference: [035-001]) All continuant parts of spatial regions are spatial regions. (axiom label in BFO2 Reference: [036-001]) (forall (x y t) (if (and (SpatialRegion x) (continuantPartOfAt y x t)) (SpatialRegion y))) // axiom label in BFO2 CLIF: [036-001] (forall (x) (if (SpatialRegion x) (Continuant x))) // axiom label in BFO2 CLIF: [035-001] t-region TemporalRegion Temporal region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the mereological sum of a temporal instant and a temporal interval that doesn't overlap the instant. In this case the resultant temporal region is neither 0-dimensional nor 1-dimensional A temporal region is an occurrent entity that is part of time as defined relative to some reference frame. (axiom label in BFO2 Reference: [100-001]) All parts of temporal regions are temporal regions. (axiom label in BFO2 Reference: [101-001]) Every temporal region t is such that t occupies_temporal_region t. (axiom label in BFO2 Reference: [119-002]) (forall (r) (if (TemporalRegion r) (occupiesTemporalRegion r r))) // axiom label in BFO2 CLIF: [119-002] (forall (x y) (if (and (TemporalRegion x) (occurrentPartOf y x)) (TemporalRegion y))) // axiom label in BFO2 CLIF: [101-001] (forall (x) (if (TemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [100-001] temporal region Temporal region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the mereological sum of a temporal instant and a temporal interval that doesn't overlap the instant. In this case the resultant temporal region is neither 0-dimensional nor 1-dimensional per discussion with Barry Smith A temporal region is an occurrent entity that is part of time as defined relative to some reference frame. (axiom label in BFO2 Reference: [100-001]) All parts of temporal regions are temporal regions. (axiom label in BFO2 Reference: [101-001]) Every temporal region t is such that t occupies_temporal_region t. (axiom label in BFO2 Reference: [119-002]) (forall (r) (if (TemporalRegion r) (occupiesTemporalRegion r r))) // axiom label in BFO2 CLIF: [119-002] (forall (x y) (if (and (TemporalRegion x) (occurrentPartOf y x)) (TemporalRegion y))) // axiom label in BFO2 CLIF: [101-001] (forall (x) (if (TemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [100-001] process Process process a process of cell-division, \ a beating of the heart a process of meiosis a process of sleeping the course of a disease the flight of a bird the life of an organism your process of aging. An occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. An occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. 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]) 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]) BFO 2 Reference: The realm of occurrents is less pervasively marked by the presence of natural units than is the case in the realm of independent continuants. Thus there is here no counterpart of ‘object’. In BFO 1.0 ‘process’ served as such a counterpart. In BFO 2.0 ‘process’ is, rather, the occurrent counterpart of ‘material entity’. Those natural – as contrasted with engineered, which here means: deliberately executed – units which do exist in the realm of occurrents are typically either parasitic on the existence of natural units on the continuant side, or they are fiat in nature. Thus we can count lives; we can count football games; we can count chemical reactions performed in experiments or in chemical manufacturing. We cannot count the processes taking place, for instance, in an episode of insect mating behavior.Even where natural units are identifiable, for example cycles in a cyclical process such as the beating of a heart or an organism’s sleep/wake cycle, the processes in question form a sequence with no discontinuities (temporal gaps) of the sort that we find for instance where billiard balls or zebrafish or planets are separated by clear spatial gaps. Lives of organisms are process units, but they too unfold in a continuous series from other, prior processes such as fertilization, and they unfold in turn in continuous series of post-life processes such as post-mortem decay. Clear examples of boundaries of processes are almost always of the fiat sort (midnight, a time of death as declared in an operating theater or on a death certificate, the initiation of a state of war) (iff (Process a) (and (Occurrent a) (exists (b) (properTemporalPartOf b a)) (exists (c t) (and (MaterialEntity c) (specificallyDependsOnAt a c t))))) // axiom label in BFO2 CLIF: [083-003] source BFO:0000015 process process 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]) (iff (Process a) (and (Occurrent a) (exists (b) (properTemporalPartOf b a)) (exists (c t) (and (MaterialEntity c) (specificallyDependsOnAt a c t))))) // axiom label in BFO2 CLIF: [083-003] disposition Disposition an atom of element X has the disposition to decay to an atom of element Y certain people have a predisposition to colon cancer children are innately disposed to categorize objects in certain ways. the cell wall is disposed to filter chemicals in endocytosis and exocytosis BFO 2 Reference: Dispositions exist along a strength continuum. Weaker forms of disposition are realized in only a fraction of triggering cases. These forms occur in a significant number of cases of a similar type. b is a disposition means: b is a realizable entity & b’s bearer is some material entity & b is such that if it ceases to exist, then its bearer is physically changed, & b’s realization occurs when and because this bearer is in some special physical circumstances, & this realization occurs in virtue of the bearer’s physical make-up. (axiom label in BFO2 Reference: [062-002]) If b is a realizable entity then for all t at which b exists, b s-depends_on some material entity at t. (axiom label in BFO2 Reference: [063-002]) (forall (x t) (if (and (RealizableEntity x) (existsAt x t)) (exists (y) (and (MaterialEntity y) (specificallyDepends x y t))))) // axiom label in BFO2 CLIF: [063-002] (forall (x) (if (Disposition x) (and (RealizableEntity x) (exists (y) (and (MaterialEntity y) (bearerOfAt x y t)))))) // axiom label in BFO2 CLIF: [062-002] disposition b is a disposition means: b is a realizable entity & b’s bearer is some material entity & b is such that if it ceases to exist, then its bearer is physically changed, & b’s realization occurs when and because this bearer is in some special physical circumstances, & this realization occurs in virtue of the bearer’s physical make-up. (axiom label in BFO2 Reference: [062-002]) If b is a realizable entity then for all t at which b exists, b s-depends_on some material entity at t. (axiom label in BFO2 Reference: [063-002]) (forall (x t) (if (and (RealizableEntity x) (existsAt x t)) (exists (y) (and (MaterialEntity y) (specificallyDepends x y t))))) // axiom label in BFO2 CLIF: [063-002] (forall (x) (if (Disposition x) (and (RealizableEntity x) (exists (y) (and (MaterialEntity y) (bearerOfAt x y t)))))) // axiom label in BFO2 CLIF: [062-002] realizable RealizableEntity realizable entity the disposition of this piece of metal to conduct electricity. the disposition of your blood to coagulate the function of your reproductive organs the role of being a doctor the role of this boundary to delineate where Utah and Colorado meet 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. To say that b is a realizable entity is to say that b is a specifically dependent continuant that inheres in some independent continuant which is not a spatial region and is of a type instances of which are realized in processes of a correlated type. (axiom label in BFO2 Reference: [058-002]) All realizable dependent continuants have independent continuants that are not spatial regions as their bearers. (axiom label in BFO2 Reference: [060-002]) (forall (x t) (if (RealizableEntity x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (bearerOfAt y x t))))) // axiom label in BFO2 CLIF: [060-002] (forall (x) (if (RealizableEntity x) (and (SpecificallyDependentContinuant x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (inheresIn x y)))))) // axiom label in BFO2 CLIF: [058-002] realizable entity To say that b is a realizable entity is to say that b is a specifically dependent continuant that inheres in some independent continuant which is not a spatial region and is of a type instances of which are realized in processes of a correlated type. (axiom label in BFO2 Reference: [058-002]) All realizable dependent continuants have independent continuants that are not spatial regions as their bearers. (axiom label in BFO2 Reference: [060-002]) (forall (x t) (if (RealizableEntity x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (bearerOfAt y x t))))) // axiom label in BFO2 CLIF: [060-002] (forall (x) (if (RealizableEntity x) (and (SpecificallyDependentContinuant x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (inheresIn x y)))))) // axiom label in BFO2 CLIF: [058-002] quality Quality quality the ambient temperature of this portion of air the color of a tomato the length of the circumference of your waist the mass of this piece of gold. the shape of your nose the shape of your nostril a quality is a specifically dependent continuant that, in contrast to roles and dispositions, does not require any further process in order to be realized. (axiom label in BFO2 Reference: [055-001]) If an entity is a quality at any time that it exists, then it is a quality at every time that it exists. (axiom label in BFO2 Reference: [105-001]) (forall (x) (if (Quality x) (SpecificallyDependentContinuant x))) // axiom label in BFO2 CLIF: [055-001] (forall (x) (if (exists (t) (and (existsAt x t) (Quality x))) (forall (t_1) (if (existsAt x t_1) (Quality x))))) // axiom label in BFO2 CLIF: [105-001] bfo BFO:0000019 quality quality a quality is a specifically dependent continuant that, in contrast to roles and dispositions, does not require any further process in order to be realized. (axiom label in BFO2 Reference: [055-001]) If an entity is a quality at any time that it exists, then it is a quality at every time that it exists. (axiom label in BFO2 Reference: [105-001]) (forall (x) (if (Quality x) (SpecificallyDependentContinuant x))) // axiom label in BFO2 CLIF: [055-001] (forall (x) (if (exists (t) (and (existsAt x t) (Quality x))) (forall (t_1) (if (existsAt x t_1) (Quality x))))) // axiom label in BFO2 CLIF: [105-001] sdc SpecificallyDependentContinuant specifically dependent continuant Reciprocal specifically dependent continuants: the function of this key to open this lock and the mutually dependent disposition of this lock: to be opened by this key of one-sided specifically dependent continuants: the mass of this tomato of relational dependent continuants (multiple bearers): John’s love for Mary, the ownership relation between John and this statue, the relation of authority between John and his subordinates. the disposition of this fish to decay the function of this heart: to pump blood the mutual dependence of proton donors and acceptors in chemical reactions [79 the mutual dependence of the role predator and the role prey as played by two organisms in a given interaction the pink color of a medium rare piece of grilled filet mignon at its center the role of being a doctor the shape of this hole. the smell of this portion of mozzarella 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. b is a relational specifically dependent continuant = Def. b is a specifically dependent continuant and there are n &gt; 1 independent continuants c1, … cn which are not spatial regions are such that for all 1 i &lt; j n, ci and cj share no common parts, are such that for each 1 i n, b s-depends_on ci at every time t during the course of b’s existence (axiom label in BFO2 Reference: [131-004]) 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]) Specifically dependent continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. We're not sure what else will develop here, but for example there are questions such as what are promises, obligation, etc. (iff (RelationalSpecificallyDependentContinuant a) (and (SpecificallyDependentContinuant a) (forall (t) (exists (b c) (and (not (SpatialRegion b)) (not (SpatialRegion c)) (not (= b c)) (not (exists (d) (and (continuantPartOfAt d b t) (continuantPartOfAt d c t)))) (specificallyDependsOnAt a b t) (specificallyDependsOnAt a c t)))))) // axiom label in BFO2 CLIF: [131-004] (iff (SpecificallyDependentContinuant a) (and (Continuant a) (forall (t) (if (existsAt a t) (exists (b) (and (IndependentContinuant b) (not (SpatialRegion b)) (specificallyDependsOnAt a b t))))))) // axiom label in BFO2 CLIF: [050-003] specifically dependent continuant b is a relational specifically dependent continuant = Def. b is a specifically dependent continuant and there are n &gt; 1 independent continuants c1, … cn which are not spatial regions are such that for all 1 i &lt; j n, ci and cj share no common parts, are such that for each 1 i n, b s-depends_on ci at every time t during the course of b’s existence (axiom label in BFO2 Reference: [131-004]) 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]) Specifically dependent continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. We're not sure what else will develop here, but for example there are questions such as what are promises, obligation, etc. per discussion with Barry Smith (iff (RelationalSpecificallyDependentContinuant a) (and (SpecificallyDependentContinuant a) (forall (t) (exists (b c) (and (not (SpatialRegion b)) (not (SpatialRegion c)) (not (= b c)) (not (exists (d) (and (continuantPartOfAt d b t) (continuantPartOfAt d c t)))) (specificallyDependsOnAt a b t) (specificallyDependsOnAt a c t)))))) // axiom label in BFO2 CLIF: [131-004] (iff (SpecificallyDependentContinuant a) (and (Continuant a) (forall (t) (if (existsAt a t) (exists (b) (and (IndependentContinuant b) (not (SpatialRegion b)) (specificallyDependsOnAt a b t))))))) // axiom label in BFO2 CLIF: [050-003] role Role role John’s role of husband to Mary is dependent on Mary’s role of wife to John, and both are dependent on the object aggregate comprising John and Mary as member parts joined together through the relational quality of being married. the priest role the role of a boundary to demarcate two neighboring administrative territories the role of a building in serving as a military target the role of a stone in marking a property boundary the role of subject in a clinical trial the student role 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. BFO 2 Reference: One major family of examples of non-rigid universals involves roles, and ontologies developed for corresponding administrative purposes may consist entirely of representatives of entities of this sort. Thus ‘professor’, defined as follows,b instance_of professor at t =Def. there is some c, c instance_of professor role & c inheres_in b at t.denotes a non-rigid universal and so also do ‘nurse’, ‘student’, ‘colonel’, ‘taxpayer’, and so forth. (These terms are all, in the jargon of philosophy, phase sortals.) By using role terms in definitions, we can create a BFO conformant treatment of such entities drawing on the fact that, while an instance of professor may be simultaneously an instance of trade union member, no instance of the type professor role is also (at any time) an instance of the type trade union member role (any more than any instance of the type color is at any time an instance of the type length).If an ontology of employment positions should be defined in terms of roles following the above pattern, this enables the ontology to do justice to the fact that individuals instantiate the corresponding universals – professor, sergeant, nurse – only during certain phases in their lives. b is a role means: b is a realizable entity & b exists because there is some single bearer that is in some special physical, social, or institutional set of circumstances in which this bearer does not have to be& b is not such that, if it ceases to exist, then the physical make-up of the bearer is thereby changed. (axiom label in BFO2 Reference: [061-001]) (forall (x) (if (Role x) (RealizableEntity x))) // axiom label in BFO2 CLIF: [061-001] role b is a role means: b is a realizable entity & b exists because there is some single bearer that is in some special physical, social, or institutional set of circumstances in which this bearer does not have to be& b is not such that, if it ceases to exist, then the physical make-up of the bearer is thereby changed. (axiom label in BFO2 Reference: [061-001]) (forall (x) (if (Role x) (RealizableEntity x))) // axiom label in BFO2 CLIF: [061-001] fiat-object-part FiatObjectPart or with divisions drawn by cognitive subjects for practical reasons, such as the division of a cake (before slicing) into (what will become) slices (and thus member parts of an object aggregate). However, this does not mean that fiat object parts are dependent for their existence on divisions or delineations effected by cognitive subjects. If, for example, it is correct to conceive geological layers of the Earth as fiat object parts of the Earth, then even though these layers were first delineated in recent times, still existed long before such delineation and what holds of these layers (for example that the oldest layers are also the lowest layers) did not begin to hold because of our acts of delineation.Treatment of material entity in BFOExamples viewed by some as problematic cases for the trichotomy of fiat object part, object, and object aggregate include: a mussel on (and attached to) a rock, a slime mold, a pizza, a cloud, a galaxy, a railway train with engine and multiple carriages, a clonal stand of quaking aspen, a bacterial community (biofilm), a broken femur. Note that, as Aristotle already clearly recognized, such problematic cases – which lie at or near the penumbra of instances defined by the categories in question – need not invalidate these categories. The existence of grey objects does not prove that there are not objects which are black and objects which are white; the existence of mules does not prove that there are not objects which are donkeys and objects which are horses. It does, however, show that the examples in question need to be addressed carefully in order to show how they can be fitted into the proposed scheme, for example by recognizing additional subdivisions [29 the FMA:regional parts of an intact human body. the Western hemisphere of the Earth the division of the brain into regions the division of the planet into hemispheres the dorsal and ventral surfaces of the body the upper and lower lobes of the left lung BFO 2 Reference: Most examples of fiat object parts are associated with theoretically drawn divisions b is a fiat object part = Def. b is a material entity which is such that for all times t, if b exists at t then there is some object c such that b proper continuant_part of c at t and c is demarcated from the remainder of c by a two-dimensional continuant fiat boundary. (axiom label in BFO2 Reference: [027-004]) (forall (x) (if (FiatObjectPart x) (and (MaterialEntity x) (forall (t) (if (existsAt x t) (exists (y) (and (Object y) (properContinuantPartOfAt x y t)))))))) // axiom label in BFO2 CLIF: [027-004] bfo BFO:0000024 fiat object fiat object part fiat object part b is a fiat object part = Def. b is a material entity which is such that for all times t, if b exists at t then there is some object c such that b proper continuant_part of c at t and c is demarcated from the remainder of c by a two-dimensional continuant fiat boundary. (axiom label in BFO2 Reference: [027-004]) (forall (x) (if (FiatObjectPart x) (and (MaterialEntity x) (forall (t) (if (existsAt x t) (exists (y) (and (Object y) (properContinuantPartOfAt x y t)))))))) // axiom label in BFO2 CLIF: [027-004] object aggregate site bfo BFO:0000030 object object gdc GenericallyDependentContinuant generically dependent continuant The entries in your database are patterns instantiated as quality instances in your hard drive. The database itself is an aggregate of such patterns. When you create the database you create a particular instance of the generically dependent continuant type database. Each entry in the database is an instance of the generically dependent continuant type IAO: information content entity. the pdf file on your laptop, the pdf file that is a copy thereof on my laptop the sequence of this protein molecule; the sequence that is a copy thereof in that protein molecule. 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. 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]) (iff (GenericallyDependentContinuant a) (and (Continuant a) (exists (b t) (genericallyDependsOnAt a b t)))) // axiom label in BFO2 CLIF: [074-001] generically dependent continuant 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]) (iff (GenericallyDependentContinuant a) (and (Continuant a) (exists (b t) (genericallyDependsOnAt a b t)))) // axiom label in BFO2 CLIF: [074-001] function Function the function of a hammer to drive in nails the function of a heart pacemaker to regulate the beating of a heart through electricity the function of amylase in saliva to break down starch into sugar BFO 2 Reference: In the past, we have distinguished two varieties of function, artifactual function and biological function. These are not asserted subtypes of BFO:function however, since the same function – for example: to pump, to transport – can exist both in artifacts and in biological entities. The asserted subtypes of function that would be needed in order to yield a separate monoheirarchy are not artifactual function, biological function, etc., but rather transporting function, pumping function, etc. A function is a disposition that exists in virtue of the bearer’s physical make-up and this physical make-up is something the bearer possesses because it came into being, either through evolution (in the case of natural biological entities) or through intentional design (in the case of artifacts), in order to realize processes of a certain sort. (axiom label in BFO2 Reference: [064-001]) (forall (x) (if (Function x) (Disposition x))) // axiom label in BFO2 CLIF: [064-001] function A function is a disposition that exists in virtue of the bearer’s physical make-up and this physical make-up is something the bearer possesses because it came into being, either through evolution (in the case of natural biological entities) or through intentional design (in the case of artifacts), in order to realize processes of a certain sort. (axiom label in BFO2 Reference: [064-001]) (forall (x) (if (Function x) (Disposition x))) // axiom label in BFO2 CLIF: [064-001] 1d-t-region OneDimensionalTemporalRegion the temporal region during which a process occurs. BFO 2 Reference: A temporal interval is a special kind of one-dimensional temporal region, namely one that is self-connected (is without gaps or breaks). A one-dimensional temporal region is a temporal region that is extended. (axiom label in BFO2 Reference: [103-001]) (forall (x) (if (OneDimensionalTemporalRegion x) (TemporalRegion x))) // axiom label in BFO2 CLIF: [103-001] one-dimensional temporal region A one-dimensional temporal region is a temporal region that is extended. (axiom label in BFO2 Reference: [103-001]) (forall (x) (if (OneDimensionalTemporalRegion x) (TemporalRegion x))) // axiom label in BFO2 CLIF: [103-001] material MaterialEntity material entity a flame a forest fire a human being a hurricane a photon a puff of smoke a sea wave a tornado an aggregate of human beings. an energy wave an epidemic the undetached arm of a human being An independent continuant that is spatially extended whose identity is independent of that of other entities and can be maintained through time. BFO 2 Reference: Material entities (continuants) can preserve their identity even while gaining and losing material parts. Continuants are contrasted with occurrents, which unfold themselves in successive temporal parts or phases [60 BFO 2 Reference: Object, Fiat Object Part and Object Aggregate are not intended to be exhaustive of Material Entity. Users are invited to propose new subcategories of Material Entity. BFO 2 Reference: ‘Matter’ is intended to encompass both mass and energy (we will address the ontological treatment of portions of energy in a later version of BFO). A portion of matter is anything that includes elementary particles among its proper or improper parts: quarks and leptons, including electrons, as the smallest particles thus far discovered; baryons (including protons and neutrons) at a higher level of granularity; atoms and molecules at still higher levels, forming the cells, organs, organisms and other material entities studied by biologists, the portions of rock studied by geologists, the fossils studied by paleontologists, and so on.Material entities are three-dimensional entities (entities extended in three spatial dimensions), as contrasted with the processes in which they participate, which are four-dimensional entities (entities extended also along the dimension of time).According to the FMA, material entities may have immaterial entities as parts – including the entities identified below as sites; for example the interior (or ‘lumen’) of your small intestine is a part of your body. BFO 2.0 embodies a decision to follow the FMA here. A material entity is an independent continuant that has some portion of matter as proper or improper continuant part. (axiom label in BFO2 Reference: [019-002]) Every entity which has a material entity as continuant part is a material entity. (axiom label in BFO2 Reference: [020-002]) every entity of which a material entity is continuant part is also a material entity. (axiom label in BFO2 Reference: [021-002]) (forall (x) (if (MaterialEntity x) (IndependentContinuant x))) // axiom label in BFO2 CLIF: [019-002] (forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt x y t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [021-002] (forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt y x t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [020-002] bfo BFO:0000040 material entity material entity A material entity is an independent continuant that has some portion of matter as proper or improper continuant part. (axiom label in BFO2 Reference: [019-002]) Every entity which has a material entity as continuant part is a material entity. (axiom label in BFO2 Reference: [020-002]) every entity of which a material entity is continuant part is also a material entity. (axiom label in BFO2 Reference: [021-002]) (forall (x) (if (MaterialEntity x) (IndependentContinuant x))) // axiom label in BFO2 CLIF: [019-002] (forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt x y t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [021-002] (forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt y x t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [020-002] immaterial ImmaterialEntity BFO 2 Reference: Immaterial entities are divided into two subgroups:boundaries and sites, which bound, or are demarcated in relation, to material entities, and which can thus change location, shape and size and as their material hosts move or change shape or size (for example: your nasal passage; the hold of a ship; the boundary of Wales (which moves with the rotation of the Earth) [38, 7, 10 immaterial entity anatomical entity connected anatomical structure material anatomical entity biological entity A material entity that is ingested and contributes to survival, growth and development dietary nutritional component Carbohydrates that are absorbed in the small intestine and provide carbohydrate for metabolism in monogastric animals. digestible carbohydrate available carbohydrate Available carbohydrate in monosaccharide and disaccharide form free sugar A carbohydrate that resists enzymatic digestion in the digestive systems of humans and other monogastric species. dietary fibre Dietary fibre which dissolves in water and is primarily fermented in the colon of monogastric animals by gut bacteria soluble dietary fibre Dietary fibre which does not dissolve in water and is inert to digestive enzymes in the upper gastrointestinal tract of monogastric animals. insoluble dietary fibre A mineral nutrient that represents a major proportion of the minerals required in the diet macromineral macro element A mineral nutrient that is present in a very low concentration within the diet micromineral trace element A plant metabolite that is not essential for growth or division of plant cells. secondary metabolite plant secondary metabolite An organic molecule that has a vitamin(role) This term can be assigned to CHEBI or any other ontology that claims it vitamin (molecular entity) Glucose which is derived from sucrose. glucose derived from sucrose Fructose which is derived from sucrose. fructose derived from sucrose Glucose which is derived from maltose. glucose derived from maltose Raffinose which is derived from raffinose family oligosaccharide. raffinose derived from raffinose family oligosaccharide Glucose which is derived from raffinose derived from raffinose family oligosaccharide. glucose derived from raffinose derived from raffinose family oligosaccharide Fructose which is derived from raffinose derived from raffinose family oligosaccharide. fructose derived from raffinose derived from raffinose family oligosaccharide Inulin which is derived from fructan. inulin derived from fructan Fructose which is derived from inulin derived from fructan. fructose derived from inulin derived from fructan Amino acid which is derived from protein. amino acid derived from protein The concentration of dietary nutritional component when measured in some material entity. material entity dietary nutritional component concentration concentration of dietary nutritional component in material entity The concentration of water when measured in some material entity. INFOODs: WATER USDA_NDB: 1051 material entity water concentration concentration of water in material entity The concentration of carbohydrate when measured in some material entity. USDA_NDB: 1005 USDA_NDB: 1050 USDA_NDB: 1072 material entity carbohydrate concentration concentration of carbohydrate in material entity The concentration of polysaccharide when measured in some material entity. INFOODs: POLYSAC material entity polysaccharide concentration concentration of polysaccharide in material entity The concentration of inulin when measured in some material entity. INFOODs: INULN USDA_NDB: 1403 material entity inulin concentration concentration of inulin in material entity The concentration of monosaccharide when measured in some material entity. INFOODs: MNSAC material entity monosaccharide concentration concentration of monosaccharide in material entity The concentration of glucose when measured in some material entity. INFOODs: GLUFB INFOODs: GLUS USDA_NDB: 1011 material entity glucose concentration concentration of glucose in material entity The concentration of fructose when measured in some material entity. INFOODs: FRUFB INFOODs: FRUS USDA_NDB: 1012 material entity fructose concentration concentration of fructose in material entity The concentration of rhamnose when measured in some material entity. INFOODs: RHAFB INFOODs: RHAS material entity rhamnose concentration concentration of rhamnose in material entity The concentration of disaccharide when measured in some material entity. INFOODs: DISAC material entity disaccharide concentration concentration of disaccharide in material entity The concentration of sucrose when measured in some material entity. INFOODs: SUCS USDA_NDB: 1010 material entity sucrose concentration concentration of sucrose in material entity The concentration of trehalose when measured in some material entity. INFOODs: TRES material entity trehalose concentration concentration of trehalose in material entity The concentration of maltose when measured in some material entity. INFOODs: MALS USDA_NDB: 1014 material entity maltose concentration concentration of maltose in material entity The concentration of oligosaccharide when measured in some material entity. INFOODs: OLSAC INFOODs: OLSACM material entity oligosaccharide concentration concentration of oligosaccharide in material entity The concentration of raffinose family oligosaccharide when measured in some material entity. INFOODs: RAFS material entity raffinose family oligosaccharide concentration concentration of raffinose family oligosaccharide in material entity The concentration of raffinose when measured in some material entity. INFOODs: RAFS material entity raffinose concentration concentration of raffinose in material entity The concentration of available carbohydrate when measured in some material entity. INFOODs: CHOAVL INFOODs: CHOAVL- INFOODs: CHOAVLDF INFOODs: CHOAVLM INFOODs: CHOAVLO USDA_NDB: 1005 material entity available carbohydrate concentration concentration of available carbohydrate in material entity The concentration of free sugar when measured in some material entity. INFOODs: SUGAR INFOODs: SUGAR- INFOODs: SUGARM USDA_NDB: 1063 USDA_NDB: 1235 USDA_NDB: 2000 material entity free sugar concentration concentration of free sugar in material entity The concentration of dietary fibre when measured in some material entity. INFOODs: FIB- INFOODs: FIBC INFOODs: FIBDF INFOODs: FIBTGLC USDA_NDB: 2033 material entity dietary fibre concentration concentration of dietary fibre in material entity The concentration of soluble dietary fibre when measured in some material entity. INFOODs: FIBGLCSSOL INFOODs: PSACNSS USDA_NDB: 1082 material entity soluble dietary fibre concentration concentration of soluble dietary fibre in material entity The concentration of insoluble dietary fibre when measured in some material entity. INFOODs: FIBGLCSINS INFOODs: FIBGLCSINSOL INFOODs: FIBINS INFOODs: FIBTGLCS INFOODs:FIBC USDA_NDB: 1084 material entity insoluble dietary fibre concentration concentration of insoluble dietary fibre in material entity The concentration of fructan when measured in some material entity. INFOODs: FRUTN INFOODs: FRUTNM material entity fructan concentration concentration of fructan in material entity The concentration of protein when measured in some material entity. INFOODs: PROT- USDA_NDB: 1003 material entity protein concentration concentration of protein in material entity The concentration of cysteine when measured in some material entity. INFOODs: CYSTE USDA_NDB: 1232 material entity cysteine concentration concentration of cysteine in material entity The concentration of histidine when measured in some material entity. INFOODs: HIS USDA_NDB: 1221 material entity histidine concentration concentration of histidine in material entity The concentration of leucine when measured in some material entity. INFOODs: LEU USDA_NDB: 1213 material entity leucine concentration concentration of leucine in material entity The concentration of methionine when measured in some material entity. INFOODs: MET USDA_NDB: 1215 material entity methionine concentration concentration of methionine in material entity The concentration of phenylalanine when measured in some material entity. INFOODs: PHE USDA_NDB: 1217 material entity phenylalanine concentration concentration of phenylalanine in material entity The concentration of proline when measured in some material entity. INFOODs: PRO USDA_NDB: 1226 material entity proline concentration concentration of proline in material entity The concentration of lipid when measured in some material entity. INFOODs: FATPL USDA_NDB: 1004 material entity lipid concentration concentration of lipid in material entity The concentration of propionic acid when measured in some material entity. INFOODs: PROPAC material entity propionic acid concentration concentration of propionic acid in material entity The concentration of palmitoleic acid when measured in some material entity. material entity palmitoleic acid concentration concentration of palmitoleic acid in material entity The concentration of ω−3 fatty acid when measured in some material entity. material entity ω−3 fatty acid concentration concentration of ω−3 fatty acid in material entity The concentration of ω−6 fatty acid when measured in some material entity. material entity ω−6 fatty acid concentration concentration of ω−6 fatty acid in material entity The concentration of arachidonic acid when measured in some material entity. material entity arachidonic acid concentration concentration of arachidonic acid in material entity The concentration of sterol when measured in some material entity. INFOODs: STEOTH INFOODs: STERFRE INFOODs: STERT material entity sterol concentration concentration of sterol in material entity The concentration of cholesterol when measured in some material entity. INFOODs: CHOLEST USDA_NDB: 1253 material entity cholesterol concentration concentration of cholesterol in material entity The concentration of mineral nutrient when measured in some material entity. material entity mineral nutrient concentration concentration of mineral nutrient in material entity The concentration of macro element when measured in some material entity. material entity macro element concentration concentration of macro element in material entity The concentration of calcium atom when measured in some material entity. INFOODs: CA USDA_NDB: 1087 material entity calcium atom concentration concentration of calcium atom in material entity The concentration of magnesium atom when measured in some material entity. INFOODs: MG USDA_NDB: 1090 material entity magnesium atom concentration concentration of magnesium atom in material entity The concentration of potassium atom when measured in some material entity. INFOODs: K USDA_NDB: 1092 material entity potassium atom concentration concentration of potassium atom in material entity The concentration of trace element when measured in some material entity. material entity trace element concentration concentration of trace element in material entity The concentration of arsenic atom when measured in some material entity. INFOODs: AS material entity arsenic atom concentration concentration of arsenic atom in material entity The concentration of chromium atom when measured in some material entity. INFOODs: CR USDA_NDB: 1096 material entity chromium atom concentration concentration of chromium atom in material entity The concentration of fluoride when measured in some material entity. INFOODs: FD USDA_NDB: 1099 material entity fluoride concentration concentration of fluoride in material entity The concentration of iron atom when measured in some material entity. INFOODs: FE USDA_NDB: 1089 material entity iron atom concentration concentration of iron atom in material entity The concentration of selenium atom when measured in some material entity. INFOODs: SE USDA_NDB: 1103 material entity selenium atom concentration concentration of selenium atom in material entity The concentration of zinc atom when measured in some material entity. INFOODs: ZN USDA_NDB: 1095 material entity zinc atom concentration concentration of zinc atom in material entity The concentration of salt when measured in some material entity. INFOODs: NACL material entity salt concentration concentration of salt in material entity The concentration of sodium chloride when measured in some material entity. material entity sodium chloride concentration concentration of sodium chloride in material entity The concentration of vitamin (molecular entity) when measured in some material entity. material entity vitamin (molecular entity) concentration concentration of vitamin (molecular entity) in material entity The concentration of B vitamin when measured in some material entity. material entity B vitamin concentration concentration of B vitamin in material entity The concentration of vitamin B1 when measured in some material entity. INFOODs: THIA- USDA_NDB: 1165 material entity vitamin B1 concentration concentration of vitamin B1 in material entity The concentration of riboflavin when measured in some material entity. INFOODs: RIBF USDA_NDB: 1166 material entity riboflavin concentration concentration of riboflavin in material entity The concentration of nicotinic acid when measured in some material entity. INFOODs: NIA- USDA_NDB: 1167 material entity nicotinic acid concentration concentration of nicotinic acid in material entity The concentration of biotin when measured in some material entity. INFOODs: BIOT USDA_NDB: 1176 material entity biotin concentration concentration of biotin in material entity The concentration of folic acid when measured in some material entity. INFOODs: FOLAC USDA_NDB: 1186 material entity folic acid concentration concentration of folic acid in material entity The concentration of vitamin C when measured in some material entity. INFOODs: VITC INFOODs: VITC- USDA_NDB: 1162 material entity vitamin C concentration concentration of vitamin C in material entity The concentration of L-ascorbic acid when measured in some material entity. INFOODs: ASCL material entity L-ascorbic acid concentration concentration of L-ascorbic acid in material entity The concentration of vitamin A when measured in some material entity. INFOODs: VITA INFOODs: VITA- INFOODs: VITAA USDA_NDB: 1104 USDA_NDB: 1106 material entity vitamin A concentration concentration of vitamin A in material entity The concentration of carotenoid when measured in some material entity. INFOODs: CARTOID material entity carotenoid concentration concentration of carotenoid in material entity The concentration of β-carotene when measured in some material entity. INFOODs: CARTB USDA_NDB: 1107 material entity β-carotene concentration concentration of β-carotene in material entity The concentration of vitamin D when measured in some material entity. INFOODs: VITD INFOODs: VITD- USDA_NDB: 1110 material entity vitamin D concentration concentration of vitamin D in material entity The concentration of vitamin E when measured in some material entity. INFOODs: VITE INFOODs: VITE- INFOODs: VITEA USDA_NDB: 1124 USDA_NDB: 1158 USDA_NDB: 1242 material entity vitamin E concentration concentration of vitamin E in material entity The concentration of tocopherol when measured in some material entity. INFOODs: TOCPHT material entity tocopherol concentration concentration of tocopherol in material entity The concentration of α-tocopherol when measured in some material entity. INFOODs: TOCPHA USDA_NDB: 1109 material entity α-tocopherol concentration concentration of α-tocopherol in material entity The concentration of vitamin K when measured in some material entity. INFOODs: VITK material entity vitamin K concentration concentration of vitamin K in material entity The concentration of plant secondary metabolite when measured in some material entity. material entity plant secondary metabolite concentration concentration of plant secondary metabolite in material entity The concentration of alkaloid when measured in some material entity. material entity alkaloid concentration concentration of alkaloid in material entity The concentration of caffeine when measured in some material entity. INFOODs: CAFFN USDA_NDB: 1057 material entity caffeine concentration concentration of caffeine in material entity The concentration of phenols when measured in some material entity. material entity phenols concentration concentration of phenols in material entity The concentration of polyphenol when measured in some material entity. INFOODs: POLYPHENT material entity polyphenol concentration concentration of polyphenol in material entity The concentration of tannin when measured in some material entity. INFOODs: TAN material entity tannin concentration concentration of tannin in material entity The concentration of catechol when measured in some material entity. material entity catechol concentration concentration of catechol in material entity The concentration of phenolic acid when measured in some material entity. material entity phenolic acid concentration concentration of phenolic acid in material entity The concentration of hydroxybenzoic acid when measured in some material entity. material entity hydroxybenzoic acid concentration concentration of hydroxybenzoic acid in material entity The concentration of salicylic acid when measured in some material entity. INFOODs: SALAC material entity salicylic acid concentration concentration of salicylic acid in material entity The concentration of methyl ketone when measured in some material entity. material entity methyl ketone concentration concentration of methyl ketone in material entity The concentration of acetophenone when measured in some material entity. material entity acetophenone concentration concentration of acetophenone in material entity The concentration of napthoquinone when measured in some material entity. material entity napthoquinone concentration concentration of napthoquinone in material entity The concentration of 1,4-napthoquinone when measured in some material entity. material entity 1,4-napthoquinone concentration concentration of 1,4-napthoquinone in material entity The concentration of stilbenoid when measured in some material entity. material entity stilbenoid concentration concentration of stilbenoid in material entity The concentration of flavonoids when measured in some material entity. INFOODs: FLAVD material entity flavonoids concentration concentration of flavonoids in material entity The concentration of flavonoid when measured in some material entity. INFOODs: FLAVD material entity flavonoid concentration concentration of flavonoid in material entity The concentration of flavanone when measured in some material entity. material entity flavanone concentration concentration of flavanone in material entity The concentration of naringenin when measured in some material entity. INFOODs: NARING material entity naringenin concentration concentration of naringenin in material entity The concentration of flavone when measured in some material entity. material entity flavone concentration concentration of flavone in material entity The concentration of chrysin when measured in some material entity. material entity chrysin concentration concentration of chrysin in material entity The concentration of quercetin when measured in some material entity. INFOODs: QUERCE material entity quercetin concentration concentration of quercetin in material entity The concentration of hydroxyflavan when measured in some material entity. material entity hydroxyflavan concentration concentration of hydroxyflavan in material entity The concentration of catechin when measured in some material entity. INFOODs: CATEC INFOODs: CATECT material entity catechin concentration concentration of catechin in material entity The concentration of isoflavonoid when measured in some material entity. INFOODs: ISOFLVND material entity isoflavonoid concentration concentration of isoflavonoid in material entity The concentration of hydroxyisoflavone when measured in some material entity. material entity hydroxyisoflavone concentration concentration of hydroxyisoflavone in material entity The concentration of daidzein when measured in some material entity. INFOODs:DDZEIN material entity daidzein concentration concentration of daidzein in material entity The concentration of genistein when measured in some material entity. INFOODs: GNSTEIN material entity genistein concentration concentration of genistein in material entity The concentration of glucoside when measured in some material entity. material entity glucoside concentration concentration of glucoside in material entity The concentration of phenylpropanoid when measured in some material entity. material entity phenylpropanoid concentration concentration of phenylpropanoid in material entity The concentration of terpenoid when measured in some material entity. material entity terpenoid concentration concentration of terpenoid in material entity The concentration of diterpenoid when measured in some material entity. material entity diterpenoid concentration concentration of diterpenoid in material entity The concentration of lycopene when measured in some material entity. INFOODs: LYCPN USDA_NDB: 1122 material entity lycopene concentration concentration of lycopene in material entity The concentration of organic acid when measured in some material entity. INFOODs: OA material entity organic acid concentration concentration of organic acid in material entity The concentration of acetic acid when measured in some material entity. INFOODs: ACEAC USDA_NDB: 1026 material entity acetic acid concentration concentration of acetic acid in material entity The concentration of ascorbic acid when measured in some material entity. material entity ascorbic acid concentration concentration of ascorbic acid in material entity The concentration of oxalic acid when measured in some material entity. INFOODs: OXALAC material entity oxalic acid concentration concentration of oxalic acid in material entity The concentration of inositol when measured in some material entity. INFOODs: INOTL USDA_NDB: 1181 material entity inositol concentration concentration of inositol in material entity The concentration of polyol when measured in some material entity. INFOODs: POLYL material entity polyol concentration concentration of polyol in material entity The concentration of mannitol when measured in some material entity. INFOODs: MANTL material entity mannitol concentration concentration of mannitol in material entity The concentration of glucitol when measured in some material entity. material entity glucitol concentration concentration of glucitol in material entity The concentration of polyunsaturated fatty acid when measured in some material entity. INFOODs: FAPU INFOODs: FAPULC USDA_NDB: 1293 material entity polyunsaturated fatty acid concentration concentration of polyunsaturated fatty acid in material entity The concentration of glycerol when measured in some material entity. INFOODs: GLYRL material entity glycerol concentration concentration of glycerol in material entity The concentration of triglyceride when measured in some material entity. material entity triglyceride concentration concentration of triglyceride in material entity The concentration of monounsaturated fatty acid when measured in some material entity. USDA_NDB: 1292 material entity monounsaturated fatty acid concentration concentration of monounsaturated fatty acid in material entity The concentration of saturated fatty acid when measured in some material entity. INFOODs: FASAT USDA_NDB: 1258 material entity saturated fatty acid concentration concentration of saturated fatty acid in material entity The concentration of amylopectin when measured in some material entity. INFOODs: AMYP material entity amylopectin concentration concentration of amylopectin in material entity The concentration of amino acid when measured in some material entity. material entity amino acid concentration concentration of amino acid in material entity