INO: Interaction Network Ontology
type: Ontology
date: 2018-01-10
creator: Junguk Hur
Contributor: Yu Lin (YL)
creator: Arzucan Ozgur
subject: An ontology for the annotation of the interaction network domain.
Format: OWL-DL
editor note: Product version
description: The Interaction Network Ontology (INO) is an ontology in the domain of interaction network. INO aims to standardize interaction network annotation, integrate various interaction network data, and support computer-assisted reasoning. It is aimed to represent general interactions (e.g., molecular interactions) and interaction networks (e.g., Bayesian network). INO was initiated by supporting literature mining related to interactions and interaction networks. INO aligns with BFO. INO is a community-based ontology. Its development follows the OBO Foundry principles.
version info: Vision Release; 1.0.107
creator: Yongqun "Oliver" He (YH)
creator: Zuoshuang "Allen" Xiang

BFO OWL specification label
type: AnnotationProperty
curator note: Really of interest to developers only
definition: Relates an entity in the ontology to the name of the variable that is used to represent it in the code that generates the BFO OWL file from the lispy specification.
sub property of: label

BFO CLIF specification label
type: AnnotationProperty
definition source: Person:Alan Ruttenberg
curator note: Really of interest to developers only
definition: Relates an entity in the ontology to the term that is used to represent it in the the CLIF specification of BFO2
sub property of: label

editor preferred term
type: AnnotationProperty
definition source: GROUP:OBI:<http://purl.obolibrary.org/obo/obi>
term editor: PERSON:Daniel Schober
definition: The concise, meaningful, and human-friendly name for a class or property preferred by the ontology developers. (US-English)
editor preferred term: editor preferred term
has curation status: ready for release

example of usage
type: AnnotationProperty
definition: A phrase describing how a term should be used and/or a citation to a work which uses it. May also include other kinds of examples that facilitate immediate understanding, such as widely know prototypes or instances of a class, or cases where a relation is said to hold.
definition source: GROUP:OBI:<http://purl.obolibrary.org/obo/obi>
term editor: PERSON:Daniel Schober
editor preferred term: example
has curation status: ready for release

has curation status
type: AnnotationProperty
definition source: OBI_0000281
term editor: PERSON:Alan Ruttenberg
term editor: PERSON:Bill Bug
term editor: PERSON:Melanie Courtot
editor preferred term: has curation status

definition
type: AnnotationProperty
label: textual definition
editor note: 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.
definition source: GROUP:OBI:<http://purl.obolibrary.org/obo/obi>
term editor: PERSON:Daniel Schober
definition: The official OBI definition, explaining the meaning of a class or property. Shall be Aristotelian, formalized and normalized. Can be augmented with colloquial definitions.
definition: The official definition, explaining the meaning of a class or property. Shall be Aristotelian, formalized and normalized. Can be augmented with colloquial definitions.
editor preferred term: definition
has curation status: ready for release

editor note
type: AnnotationProperty
definition: An administrative note intended for its editor. It may not be included in the publication version of the ontology, so it should contain nothing necessary for end users to understand the ontology.
definition source: GROUP:OBI:<http://purl.obfoundry.org/obo/obi>
term editor: PERSON:Daniel Schober
editor preferred term: editor note
has curation status: ready for release

term editor
type: AnnotationProperty
editor note: 20110707, MC: label update to term editor and definition modified accordingly. See http://code.google.com/p/information-artifact-ontology/issues/detail?id=115.
editor note: 20110707, MC: label update to term editor and definition modified accordingly. See https://github.com/information-artifact-ontology/IAO/issues/115.
definition source: GROUP:OBI:<http://purl.obolibrary.org/obo/obi>
definition: Name of editor entering the term in the file. The term editor is a point of contact for information regarding the term. The term editor may be, but is not always, the author of the definition, which may have been worked upon by several people
term editor: PERSON:Daniel Schober
editor preferred term: term editor
has curation status: ready for release

alternative term
type: AnnotationProperty
definition: An alternative name for a class or property which means the same thing as the preferred name (semantically equivalent)
definition source: GROUP:OBI:<http://purl.obolibrary.org/obo/obi>
term editor: PERSON:Daniel Schober
editor preferred term: alternative term
has curation status: pending final vetting

definition source
type: AnnotationProperty
definition source: Discussion on obo-discuss mailing-list, see http://bit.ly/hgm99w
definition source: GROUP:OBI:<http://purl.obolibrary.org/obo/obi>
term editor: PERSON:Daniel Schober
editor preferred term: definition source
definition: formal citation, e.g. identifier in external database to indicate / attribute source(s) for the definition. Free text indicate / attribute source(s) for the definition. EXAMPLE: Author Name, URI, MeSH Term C04, PUBMED ID, Wiki uri on 31.01.2007
has curation status: ready for release

curator note
type: AnnotationProperty
definition: An administrative note of use for a curator but of no use for a user
term editor: PERSON:Alan Ruttenberg
editor preferred term: curator note
has curation status: ready for release

imported from
type: AnnotationProperty

expand expression to
type: AnnotationProperty

OBO foundry unique label
type: AnnotationProperty
has curation status: pending final vetting

elucidation
type: AnnotationProperty
definition source: Person:Barry Smith
elucidation: Primitive terms in a highest-level ontology such as BFO are terms which are so basic to our understanding of reality that there is no way of defining them in a non-circular fashion. For these, therefore, we can provide only elucidations, supplemented by examples and by axioms
editor preferred term: elucidation
term editor: person:Alan Ruttenberg

has associated axiom(nl)
type: AnnotationProperty

has associated axiom(fol)
type: AnnotationProperty
elucidation: An axiom expressed in first order logic using CLIF syntax
definition source: Person:Alan Ruttenberg
term editor: Person:Alan Ruttenberg
editor preferred term: has associated axiom(fol)

has literature mining keywords
type: AnnotationProperty
term editor: Yongqun He
definition: an annotation property that lists keyword(s) useful for literature tagging and retrieval of sentences containing the type (or kind) of entity (e.g., interaction) as shown by the ontology term label and definition.

example of literature mining keyword usage
type: AnnotationProperty
creator: an example of usage for literature mining
creator: Yongqun He
alternative term: literature mining example
sub property of: example of usage

has keyword dependency pattern
type: AnnotationProperty
term editor: Arzucan Ozgur, Junguk Hur, Yongqun He
definition: an annotation property that specifies the dependency pattern of the literature keywords that match to the ontology interaction type.

temporal interpretation
type: AnnotationProperty
definition: An assertion that holds between an OWL Object Property and a temporal interpretation that elucidates how OWL Class Axioms that use this property are to be interpreted in a temporal context.
sub property of: logical macro assertion on an object property

logical macro assertion
type: AnnotationProperty
definition: An assertion that involves at least one OWL object that is intended to be expanded into one or more logical axioms. The logical expansion can yield axioms expressed using any formal logical system, including, but not limited to OWL2-DL.

logical macro assertion on a property
type: AnnotationProperty
definition: A logical macro assertion whose domain is an IRI for a property
sub property of: logical macro assertion

logical macro assertion on an object property
type: AnnotationProperty
sub property of: logical macro assertion on a property

logical macro assertion on an annotation property
type: AnnotationProperty
sub property of: logical macro assertion on a property

is direct form of
type: AnnotationProperty
creator: Chris Mungall
definition: relation p is the direct form of relation q iff p is a subPropertyOf q, p does not have the Transitive characteristic, q does have the Transitive characteristic, and for all x, y: x q y -> exists z1, z2, ..., zn such that x p z1 ... z2n y
editor note: The general property hierarchy is: "directly P" SubPropertyOf "P" Transitive(P) Where we have an annotation assertion "directly P" "is direct form of" "P"
logical macro assertion on an annotation property: If we have the annotation P is-direct-form-of Q, and we have inverses P' and Q', then it follows that P' is-direct-form-of Q'
sub property of: logical macro assertion on an object property

is indirect form of
type: AnnotationProperty
definition: relation p is the indirect form of relation q iff p is a subPropertyOf q, and there exists some p' such that p' is the direct form of q, p' o p' -> p, and forall x,y : x q y -> either (1) x p y or (2) x p' y
creator: Chris Mungall
sub property of: logical macro assertion on an object property

Contributor
type: AnnotationProperty
comment: An entity responsible for making contributions to the content of the resource.
description: Examples of a Contributor include a person, an organisation, or a service. Typically, the name of a Contributor should be used to indicate the entity.

Coverage
type: AnnotationProperty
description: Coverage will typically include spatial location (a place name or geographic coordinates), temporal period (a period label, date, or date range) or jurisdiction (such as a named administrative entity). Recommended best practice is to select a value from a controlled vocabulary (for example, the Thesaurus of Geographic Names [TGN]) and that, where appropriate, named places or time periods be used in preference to numeric identifiers such as sets of coordinates or date ranges.
comment: The extent or scope of the content of the resource.

Creator
type: AnnotationProperty
comment: An entity primarily responsible for making the content of the resource.
description: Examples of a Creator include a person, an organisation, or a service. Typically, the name of a Creator should be used to indicate the entity.

Date
type: AnnotationProperty
comment: A date associated with an event in the life cycle of the resource.
description: Typically, Date will be associated with the creation or availability of the resource. Recommended best practice for encoding the date value is defined in a profile of ISO 8601 [W3CDTF] and follows the YYYY-MM-DD format.

Description
type: AnnotationProperty
comment: An account of the content of the resource.
description: 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.

Format
type: AnnotationProperty
comment: The physical or digital manifestation of the resource.
description: Typically, Format may include the media-type or dimensions of the resource. Format may be used to determine the software, hardware or other equipment needed to display or operate the resource. Examples of dimensions include size and duration. Recommended best practice is to select a value from a controlled vocabulary (for example, the list of Internet Media Types [MIME] defining computer media formats).

Resource Identifier
type: AnnotationProperty
comment: An unambiguous reference to the resource within a given context.
description: Recommended best practice is to identify the resource by means of a string or number conforming to a formal identification system. Example formal identification systems include the Uniform Resource Identifier (URI) (including the Uniform Resource Locator (URL)), the Digital Object Identifier (DOI) and the International Standard Book Number (ISBN).

Language
type: AnnotationProperty
comment: A language of the intellectual content of the resource.
description: Recommended best practice is to use RFC 3066 [RFC3066], which, in conjunction with ISO 639 [ISO639], defines two- and three-letter primary language tags with optional subtags. Examples include "en" or "eng" for English, "akk" for Akkadian, and "en-GB" for English used in the United Kingdom.

Publisher
type: AnnotationProperty
comment: An entity responsible for making the resource available
description: Examples of a Publisher include a person, an organisation, or a service. Typically, the name of a Publisher should be used to indicate the entity.

Relation
type: AnnotationProperty
description: Recommended best practice is to reference the resource by means of a string or number conforming to a formal identification system.
comment: A reference to a related resource.

Rights Management
type: AnnotationProperty
description: Typically, a Rights element will contain a rights management statement for the resource, or reference a service providing such information. Rights information often encompasses Intellectual Property Rights (IPR), Copyright, and various Property Rights. If the Rights element is absent, no assumptions can be made about the status of these and other rights with respect to the resource.
comment: Information about rights held in and over the resource.

Source
type: AnnotationProperty
comment: A reference to a resource from which the present resource is derived.
description: The present resource may be derived from the Source resource in whole or in part. Recommended best practice is to reference the resource by means of a string or number conforming to a formal identification system.

Subject and Keywords
type: AnnotationProperty
comment: The topic of the content of the resource.
description: Typically, a Subject will be expressed as keywords, key phrases or classification codes that describe a topic of the resource. Recommended best practice is to select a value from a controlled vocabulary or formal classification scheme.

Title
type: AnnotationProperty
description: Typically, a Title will be a name by which the resource is formally known.
comment: A name given to the resource.

Resource Type
type: AnnotationProperty
comment: The nature or genre of the content of the resource.
description: Type includes terms describing general categories, functions, genres, or aggregation levels for content. Recommended best practice is to select a value from a controlled vocabulary (for example, the DCMI Type Vocabulary [DCMITYPE]). To describe the physical or digital manifestation of the resource, use the Format element.

database_cross_reference
type: AnnotationProperty

has_exact_synonym
type: AnnotationProperty

has_narrow_synonym
type: AnnotationProperty

has_obo_namespace
type: AnnotationProperty

has_related_synonym
type: AnnotationProperty

in_subset
type: AnnotationProperty

isDefinedBy
type: AnnotationProperty
OBO foundry unique label: is defined by

label
type: AnnotationProperty

part of
type: ObjectProperty
type: TransitiveProperty
editor note: 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.
editor note: 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
editor note: 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'.
definition: a core relation that holds between a part and its whole
editor preferred term: is part of
example of usage: my brain is part of my body (continuant parthood, two material entities)
example of usage: my stomach cavity is part of my stomach (continuant parthood, immaterial entity is part of material entity)
alternative term: part_of
example of usage: this day is part of this year (occurrent parthood)
inverse of: has part
temporal interpretation: axiom holds for all times
sub property of: overlaps
imported from: OBO Relations Ontology

has part
type: ObjectProperty
type: TransitiveProperty
editor note: 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.
editor note: 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
editor note: 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'.
definition: a core relation that holds between a whole and its part
editor preferred term: has part
alternative term: has_part
example of usage: my body has part my brain (continuant parthood, two material entities)
example of usage: my stomach has part my stomach cavity (continuant parthood, material entity has part immaterial entity)
example of usage: this year has part this day (occurrent parthood)
temporal interpretation: axiom holds for all times
sub property of: overlaps
imported from: OBO Relations Ontology

realized in
type: ObjectProperty
comment: 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
elucidation: [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])
alternative term: is realized by
editor preferred term: realized in
alternative term: realized_in
example of usage: this disease is realized in this disease course
example of usage: this fragility is realized in this shattering
example of usage: this investigator role is realized in this investigation
range: process
domain: realizable entity
inverse of: realizes
imported from: OBO Relations Ontology

realizes
type: ObjectProperty
comment: 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
editor preferred term: realizes
example of usage: this disease course realizes this disease
example of usage: this investigation realizes this investigator role
example of usage: this shattering realizes this fragility
elucidation: 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])
domain: process
range: realizable entity
imported from: OBO Relations Ontology

obsolete preceded by
type: ObjectProperty
type: TransitiveProperty
comment: accidentally included in BFO 1.2 proposal - should have been BFO_0000062
imported from: OBO Relations Ontology

preceded by
type: ObjectProperty
type: TransitiveProperty
editor note: 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.
Source: http://www.obofoundry.org/ro/#OBO_REL:preceded_by
alternative term: is preceded by
editor preferred term: preceded by
alternative term: preceded_by
definition: 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.
in_subset: ro-eco
domain: occurrent
range: occurrent
inverse of: precedes
sub property of: ends after
imported from: OBO Relations Ontology
property chain axiom: starts during
property chain axiom: part of
property chain axiom: happens during

precedes
type: ObjectProperty
type: TransitiveProperty
editor preferred term: precedes
definition: 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.
in_subset: ro-eco
domain: occurrent
range: occurrent
sub property of: temporally related to
imported from: OBO Relations Ontology
property chain axiom: part of
property chain axiom: happens during

has activator
type: ObjectProperty
term editor: Yongqun He
definition: an object property between an activation process and a material entity that acts as an activator during the process.

has_controller
type: ObjectProperty

controls
type: ObjectProperty

has_next_step
type: ObjectProperty

lacks part
type: ObjectProperty

has interaction type
type: ObjectProperty
definition: An object property that represents a relation between an interaction process (domain) and another interaction process (range) where the interaction proces (domain) has a specific type of the other interaction process (range)
example of usage: A host-pathogen interaction that has a specific interaction type (e.g., activation).
term editor: Yongqun He

inheres in
type: ObjectProperty
editor note: A dependent inheres in its bearer at all times for which the dependent exists.
definition: 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
editor preferred term: inheres in
alternative term: inheres_in
example of usage: this fragility inheres in this vase
example of usage: this red color inheres in this apple
inverse of: bearer of
temporal interpretation: axiom holds for all times
sub property of: inheres in part of
imported from: OBO Relations Ontology

bearer of
type: ObjectProperty
editor note: 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.
definition: 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
editor preferred term: bearer of
alternative term: bearer_of
alternative term: is bearer of
example of usage: this apple is bearer of this red color
example of usage: this vase is bearer of this fragility
range: specifically dependent continuant
temporal interpretation: axiom holds for all times
imported from: OBO Relations Ontology

participates in
type: ObjectProperty
definition: a relation between a continuant and a process, in which the continuant is somehow involved in the process
editor preferred term: participates in
alternative term: participates_in
example of usage: this blood clot participates in this blood coagulation
example of usage: this input material (or this output material) participates in this process
example of usage: this investigator participates in this investigation
domain: continuant
range: occurrent
inverse of: has participant
imported from: OBO Relations Ontology

has participant
type: ObjectProperty
editor note: 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.
definition: a relation between a process and a continuant, in which the continuant is somehow involved in the process
editor preferred term: has participant
Source: http://www.obofoundry.org/ro/#OBO_REL:has_participant
alternative term: has_participant
example of usage: this blood coagulation has participant this blood clot
example of usage: this investigation has participant this investigator
example of usage: this process has participant this input material (or this output material)
range: continuant
domain: occurrent
imported from: OBO Relations Ontology
property chain axiom: has part
property chain axiom: realizes
property chain axiom: inheres in

has role
type: ObjectProperty
editor note: 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.
definition: a relation between an independent continuant (the bearer) and a role, in which the role specifically depends on the bearer for its existence
alternative term: has_role
example of usage: this person has role this investigator role (more colloquially: this person has this role of investigator)
domain: independent continuant
range: role
imported from: OBO Relations Ontology

has component activity
type: ObjectProperty
creation date: 2017-05-24T09:44:33Z
created by: dos
comment: A 'has component activity' B if A is A and B are molecular functions (GO_0003674) and A has_component B.
sub property of: has component process
imported from: OBO Relations Ontology

has component process
type: ObjectProperty
creation date: 2017-05-24T09:49:21Z
created by: dos
definition: 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.
sub property of: has component
imported from: OBO Relations Ontology

has effector activity
type: ObjectProperty
type: FunctionalProperty
creation date: 2017-09-22T14:14:36Z
created by: dos
comment: This relation is designed for constructing compound molecular functions, typically in combination with one or more regulatory component activity relations.
definition: 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.
sub property of: has component activity
sub property of: regulates
imported from: OBO Relations Ontology

before or simultaneous with
type: ObjectProperty
alternative term: <=
term editor: David Osumi-Sutherland
comment: Primitive instance level timing relation between events
in_subset: ro-eco
sub property of: temporally related to
imported from: OBO Relations Ontology

simultaneous with
type: ObjectProperty
type: TransitiveProperty
term editor: David Osumi-Sutherland
comment: t1 simultaneous_with t2 iff:= t1 before_or_simultaneous_with t2 and not (t1 before t2)
in_subset: ro-eco
sub property of: before or simultaneous with
imported from: OBO Relations Ontology

before
type: ObjectProperty
type: TransitiveProperty
term editor: David Osumi-Sutherland
comment: t1 before t2 iff:= t1 before_or_simulataneous_with t2 and not (t1 simultaeous_with t2)
in_subset: ro-eco
sub property of: before or simultaneous with
imported from: OBO Relations Ontology

during which ends
type: ObjectProperty
term editor: David Osumi-Sutherland
comment: 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.
in_subset: ro-eco
inverse of: ends during
sub property of: temporally related to
imported from: OBO Relations Ontology

encompasses
type: ObjectProperty
type: TransitiveProperty
comment: Previously had ID http://purl.obolibrary.org/obo/RO_0002124 in test files in sandpit - but this seems to have been dropped from ro-edit.owl at some point. No re-use under this ID AFAIK, but leaving note here in case we run in to clashes down the line. Official ID now chosen from DOS ID range.
alternative term: di
term editor: David Osumi-Sutherland
sub property of: during which starts
inverse of: happens during
imported from: OBO Relations Ontology

ends after
type: ObjectProperty
type: TransitiveProperty
term editor: David Osumi-Sutherland
comment: X ends_after Y iff: end(Y) before_or_simultaneous_with end(X)
in_subset: ro-eco
sub property of: temporally related to
imported from: OBO Relations Ontology
property chain axiom: ends during
property chain axiom: preceded by

immediately preceded by
type: ObjectProperty
alternative term: starts_at_end_of
term editor: David Osumi-Sutherland
comment: X immediately_preceded_by Y iff: end(X) simultaneous_with start(Y)
sub property of: preceded by
inverse of: immediately precedes
imported from: OBO Relations Ontology
property chain axiom: starts with
property chain axiom: ends with

during which starts
type: ObjectProperty
term editor: David Osumi-Sutherland
comment: 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.
in_subset: ro-eco
inverse of: starts during
sub property of: temporally related to
imported from: OBO Relations Ontology

starts before
type: ObjectProperty
type: TransitiveProperty
term editor: David Osumi-Sutherland
in_subset: ro-eco
sub property of: temporally related to
imported from: OBO Relations Ontology
property chain axiom: starts during
property chain axiom: obsolete preceded by

immediately precedes
type: ObjectProperty
alternative term: ends_at_start_of
alternative term: meets
term editor: David Osumi-Sutherland
comment: X immediately_precedes_Y iff: end(X) simultaneous_with start(Y)
in_subset: ro-eco
is direct form of: precedes
sub property of: precedes
imported from: OBO Relations Ontology
property chain axiom: ends with
property chain axiom: starts with

starts during
type: ObjectProperty
term editor: David Osumi-Sutherland
comment: X starts_during Y iff: (start(Y) before_or_simultaneous_with start(X)) AND (start(X) before_or_simultaneous_with end(Y))
alternative term: io
in_subset: ro-eco
domain: occurrent
range: occurrent
sub property of: temporally related to
imported from: OBO Relations Ontology

happens during
type: ObjectProperty
type: TransitiveProperty
comment: X happens_during Y iff: (start(Y) before_or_simultaneous_with start(X)) AND (end(X) before_or_simultaneous_with end(Y))
alternative term: d
alternative term: during
term editor: David Osumi-Sutherland
in_subset: ro-eco
sub property of: ends during
imported from: OBO Relations Ontology

ends during
type: ObjectProperty
term editor: David Osumi-Sutherland
alternative term: o
alternative term: overlaps
comment: X ends_during Y iff: ((start(Y) before_or_simultaneous_with end(X)) AND end(X) before_or_simultaneous_with end(Y).
in_subset: ro-eco
sub property of: temporally related to
imported from: OBO Relations Ontology

overlaps
type: ObjectProperty
expand expression to: http://purl.obolibrary.org/obo/BFO_0000051 some (http://purl.obolibrary.org/obo/BFO_0000050 some ?Y)
definition: x overlaps y if and only if there exists some z such that x has part z and z part of y
in_subset: ro-eco
has curation status: pending final vetting
temporal interpretation: axiom holds for all times
sub property of: mereotopologically related to
imported from: OBO Relations Ontology
property chain axiom: part of
property chain axiom: has part

has component
type: ObjectProperty
curator note: 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.
definition: 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.
editor note: The definition of 'has component' is still under discussion. The challenge is in providing a definition that does not imply transitivity.
in_subset: ro-eco
sub property of: has part
has curation status: pending final vetting
temporal interpretation: axiom holds for all times
imported from: OBO Relations Ontology

regulates
type: ObjectProperty
type: TransitiveProperty
elucidation: false
term editor: David Hill
term editor: Tanya Berardini
curator note: Regulation precludes parthood; the regulatory process may not be within the regulated process.
term editor: Chris Mungall
OBO foundry unique label: regulates (processual)
definition source: GO
editor note: 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
definition: 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.
domain: process
range: process
has curation status: pending final vetting
inverse of: regulated by
sub property of: causally upstream of
imported from: OBO Relations Ontology
definition source: causal-relations
property chain axiom: ends with
property chain axiom: directly regulates

negatively regulates
type: ObjectProperty
term editor: Chris Mungall
definition: 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.
OBO foundry unique label: negatively regulates (process to process)
has curation status: pending final vetting
sub property of: regulates
sub property of: causally upstream of, negative effect
inverse of: negatively regulated by
imported from: OBO Relations Ontology
definition source: causal-relations
property chain axiom: ends with

positively regulates
type: ObjectProperty
type: TransitiveProperty
OBO foundry unique label: positively regulates (process to process)
definition: 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.
term editor: Chris Mungall
sub property of: regulates
sub property of: causally upstream of, positive effect
inverse of: positively regulated by
imported from: OBO Relations Ontology
definition source: causal-relations
property chain axiom: negatively regulates
property chain axiom: ends with

temporally related to
type: ObjectProperty
Source: https://docs.google.com/document/d/1kBv1ep_9g3sTR-SD3jqzFqhuwo9TPNF-l-9fUDbO6rM/edit
term editor: Chris Mungall
curator note: 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.
comment: A relation that holds between two occurrents. This is a grouping relation that collects together all the Allen relations.
in_subset: ro-eco
domain: occurrent
range: occurrent
has curation status: pending final vetting
imported from: OBO Relations Ontology
definition source: Allen's interval algebra

starts
type: ObjectProperty
term editor: Chris Mungall
definition: inverse of starts with
definition source: Allen
in_subset: ro-eco
sub property of: part of
has curation status: pending final vetting
sub property of: temporally related to
inverse of: starts with
imported from: OBO Relations Ontology

starts with
type: ObjectProperty
type: TransitiveProperty
example of usage: Every insulin receptor signaling pathway starts with the binding of a ligand to the insulin receptor
alternative term: started by
term editor: Chris Mungall
definition: 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.
in_subset: ro-eco
sub property of: has part
has curation status: pending final vetting
sub property of: temporally related to
imported from: OBO Relations Ontology

ends
type: ObjectProperty
definition: inverse of ends with
term editor: Chris Mungall
in_subset: ro-eco
sub property of: part of
has curation status: pending final vetting
sub property of: temporally related to
inverse of: ends with
imported from: OBO Relations Ontology

ends with
type: ObjectProperty
type: TransitiveProperty
term editor: Chris Mungall
alternative term: finished by
definition: 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.
in_subset: ro-eco
sub property of: has part
has curation status: pending final vetting
sub property of: temporally related to
imported from: OBO Relations Ontology

has input
type: ObjectProperty
definition: 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.
term editor: Chris Mungall
alternative term: consumes
in_subset: ro-eco
domain: process
range: material entity
has curation status: pending final vetting
inverse of: input of
imported from: OBO Relations Ontology
property chain axiom: starts with

has output
type: ObjectProperty
term editor: Chris Mungall
definition: 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.
alternative term: produces
in_subset: ro-eco
has curation status: pending final vetting
inverse of: output of
imported from: OBO Relations Ontology
property chain axiom: ends with

causally upstream of, positive effect
type: ObjectProperty
creator: cjm
comment: 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
sub property of: causally upstream of
imported from: OBO Relations Ontology

causally upstream of, negative effect
type: ObjectProperty
creator: cjm
comment: 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
sub property of: causally upstream of
imported from: OBO Relations Ontology

inheres in part of
type: ObjectProperty
definition: 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.
term editor: Chris Mungall
editor note: Because part_of is transitive, inheres in is a sub-relation of inheres in part of
temporal interpretation: axiom holds for all times
sub property of: depends on
imported from: OBO Relations Ontology
definition source: http://www.ncbi.nlm.nih.gov/pubmed/20064205
property chain axiom: inheres in
property chain axiom: part of

mereotopologically related to
type: ObjectProperty
definition: A mereological relationship or a topological relationship
term editor: Chris Mungall
curator note: Do not use this relation directly. It is ended as a grouping for a diverse set of relations, all involving parthood or connectivity relationships
temporal interpretation: axiom holds for all times
imported from: OBO Relations Ontology

functionally related to
type: ObjectProperty
term editor: Chris Mungall
curator note: This is a grouping relation that collects relations used for the purpose of connecting structure and function
imported from: OBO Relations Ontology

regulated by
type: ObjectProperty
type: TransitiveProperty
definition: inverse of regulates
term editor: Chris Mungall
OBO foundry unique label: regulated by (processual)
in_subset: RO_0002259
range: process
domain: process
sub property of: causally downstream of or within
imported from: OBO Relations Ontology

negatively regulated by
type: ObjectProperty
term editor: Chris Mungall
definition: inverse of negatively regulates
in_subset: RO_0002259
sub property of: regulated by
imported from: OBO Relations Ontology

positively regulated by
type: ObjectProperty
definition: inverse of positively regulates
term editor: Chris Mungall
in_subset: RO_0002259
sub property of: regulated by
imported from: OBO Relations Ontology

input of
type: ObjectProperty
term editor: Chris Mungall
definition: inverse of has input
in_subset: RO_0002259
in_subset: ro-eco
sub property of: participates in
sub property of: functionally related to
imported from: OBO Relations Ontology

output of
type: ObjectProperty
definition: inverse of has output
term editor: Chris Mungall
in_subset: RO_0002259
in_subset: ro-eco
sub property of: participates in
sub property of: functionally related to
imported from: OBO Relations Ontology

has direct input
type: ObjectProperty
example of usage: 'protein catabolic process' SubClassOf has_direct_input some protein
definition: p has direct input c iff c is a participant in p, c is present at the start of p, and the state of c is modified during p.
alternative term: directly consumes
curator note: This is likely to be obsoleted. A candidate replacement would be a new relation 'has bound input' or 'has substrate'
term editor: Chris Mungall
has curation status: requires discussion
sub property of: has input
imported from: OBO Relations Ontology
property chain axiom: starts with

obsolete has direct output
type: ObjectProperty
deprecated: true
definition: p has direct input c iff c is a participanti n p, c is present at the end of p, and c is not present at the beginning of c.
example of usage: translation SubClassOf has_direct_output some protein
term editor: Chris Mungall
alternative term: directly produces
has curation status: requires discussion
imported from: OBO Relations Ontology

causally downstream of
type: ObjectProperty
definition: inverse of upstream of
term editor: Chris Mungall
sub property of: preceded by
has curation status: requires discussion
inverse of: causally upstream of
sub property of: causally downstream of or within
imported from: OBO Relations Ontology

immediately causally downstream of
type: ObjectProperty
term editor: Chris Mungall
has curation status: requires discussion
sub property of: immediately preceded by
sub property of: causally downstream of
inverse of: immediately causally upstream of
imported from: OBO Relations Ontology

directly activates
type: ObjectProperty
alternative term: directly positively regulates
definition: p directly activates q if and only if p is immediately upstream of q and p is the realization of a function to increase the rate or activity of q
OBO foundry unique label: directly activates (process to process)
term editor: Chris Mungall
has curation status: requires discussion
sub property of: directly positively regulates
imported from: OBO Relations Ontology
definition source: causal-relations

indirectly activates
type: ObjectProperty
type: TransitiveProperty
alternative term: indirectly positively regulates
term editor: Chris Mungall
definition: p directly activates q if and only if p is immediately upstream of q and p is the realization of a function to increase the rate or activity of q
sub property of: positively regulates
is indirect form of: positively regulates
imported from: OBO Relations Ontology
property chain axiom: directly activates
property chain axiom: indirectly inhibits

directly inhibits
type: ObjectProperty
alternative term: directly negatively regulates
OBO foundry unique label: directly inhibits (process to process)
term editor: Chris Mungall
sub property of: directly negatively regulates
imported from: OBO Relations Ontology
definition source: causal-relations

indirectly inhibits
type: ObjectProperty
type: TransitiveProperty
alternative term: indirectly negatively regulates
term editor: Chris Mungall
has curation status: requires discussion
sub property of: negatively regulates
is indirect form of: negatively regulates
imported from: OBO Relations Ontology
property chain axiom: directly inhibits

causally related to
type: ObjectProperty
definition: This relation groups causal relations between material entities and causal relations between processes
term editor: Chris Mungall
curator note: Do not use this relation directly. It is intended as a grouping for a diverse set of relations, all involving cause and effect.
editor note: 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 yiel…
has curation status: requires discussion
sub property of: related via dependence to
imported from: OBO Relations Ontology

causally upstream of
type: ObjectProperty
type: TransitiveProperty
term editor: Chris Mungall
definition: p is causally upstream of q if and only if p precedes q and p and q are linked in a causal chain
sub property of: precedes
has curation status: requires discussion
sub property of: causally upstream of or within
imported from: OBO Relations Ontology

immediately causally upstream of
type: ObjectProperty
definition: 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.
term editor: Chris Mungall
has curation status: requires discussion
sub property of: immediately precedes
is direct form of: causally upstream of
sub property of: causally upstream of
imported from: OBO Relations Ontology

directly provides input for
type: ObjectProperty
term editor: Chris Mungall
OBO foundry unique label: directly provides input for (process to process)
definition: p1 directly provides input for p2 iff there exists some c such that p1 has_output c and p2 has_input c
editor note: This is currently called 'directly provides input for' to be consistent with our terminology where we use 'direct' whenever two occurrents succeed one another directly. We may relabel this simply 'provides input for', as directness is implicit
has curation status: requires discussion
sub property of: immediately causally upstream of
sub property of: transitively provides input for
imported from: OBO Relations Ontology
definition source: causal-relations
property chain axiom: obsolete has direct output
property chain axiom: has direct input

transitively provides input for
type: ObjectProperty
type: TransitiveProperty
term editor: Chris Mungall
definition: transitive form of directly_provides_input_for
curator note: This is a grouping relation that should probably not be used in annotation. Consider instead the child relation 'directly provides input for' (which may later be relabeled simply to 'provides input for')
OBO foundry unique label: transitively provides input for (process to process)
domain: process
range: process
has curation status: requires discussion
sub property of: causally upstream of
imported from: OBO Relations Ontology

causally upstream of or within
type: ObjectProperty
type: TransitiveProperty
alternative term: influences (processual)
term editor: Chris Mungall
definition: 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.
editor note: We would like to make this disjoint with 'preceded by', but this is prohibited in OWL2
has_related_synonym: affects
inverse of: causally downstream of or within
sub property of: causal relation between processes
imported from: OBO Relations Ontology

causally downstream of or within
type: ObjectProperty
type: TransitiveProperty
term editor: Chris Mungall
definition: inverse of causally upstream of or within
in_subset: RO_0002259
sub property of: causal relation between processes
imported from: OBO Relations Ontology
definition source: causal-relations

causal relation between processes
type: ObjectProperty
curator note: Do not use this relation directly. It is intended as a grouping for a diverse set of relations, all involving cause and effect.
term editor: Chris Mungall
definition: 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.
domain: occurrent
range: occurrent
sub property of: causally related to
imported from: OBO Relations Ontology
definition source: causal-relations

depends on
type: ObjectProperty
term editor: Chris Mungall
imported from: OBO Relations Ontology

directly regulates
type: ObjectProperty
term editor: Chris Mungall
OBO foundry unique label: directly regulates (processual)
definition: 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.
sub property of: regulates
is direct form of: regulates
sub property of: immediately causally upstream of
imported from: OBO Relations Ontology
definition source: causal-relations

related via dependence to
type: ObjectProperty
definition: A relationship that holds between two entities, where the relationship holds based on the presence or absence of statistical dependence relationship. The entities may be statistical variables, or they may be other kinds of entities such as diseases, chemical entities or processes.
curator note: Do not use this relation directly. It is intended as a grouping for a diverse set of relations, all involving cause and effect.
imported from: OBO Relations Ontology

directly positively regulates
type: ObjectProperty
definition: 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.
OBO foundry unique label: directly positively regulates (process to process)
sub property of: positively regulates
sub property of: directly regulates
imported from: OBO Relations Ontology
definition source: causal-relations

directly negatively regulates
type: ObjectProperty
OBO foundry unique label: directly negatively regulates (process to process)
definition: 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.
sub property of: negatively regulates
sub property of: directly regulates
imported from: OBO Relations Ontology
definition source: causal-relations

entity
type: Class
BFO OWL specification label: entity
editor note: 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
BFO CLIF specification label: Entity
elucidation: An entity is anything that exists or has existed or will exist. (axiom label in BFO2 Reference: [001-001])
editor note: 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
example of usage: Julius Caesar
example of usage: Verdi’s Requiem
example of usage: the Second World War
example of usage: your body mass index
imported from: bfo.owl

continuant
type: Class
subclass of: entity
BFO OWL specification label: continuant
BFO CLIF specification label: Continuant
has associated axiom(fol): (forall (x) (if (Continuant x) (Entity x))) // axiom label in BFO2 CLIF: [008-002]
has associated axiom(fol): (forall (x y) (if (and (Continuant x) (exists (t) (continuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [009-002]
has associated axiom(fol): (forall (x) (if (Material Entity x) (exists (t) (and (TemporalRegion t) (existsAt x t))))) // axiom label in BFO2 CLIF: [011-002]
has associated axiom(fol): (forall (x y) (if (and (Continuant x) (exists (t) (hasContinuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [126-001]
elucidation: 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])
definition: 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.
editor note: 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
editor note: 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
has associated axiom(nl): 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])
has associated axiom(nl): 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])
has associated axiom(nl): 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])
imported from: bfo.owl
imported from: OBO Relations Ontology

occurrent
type: Class
subclass of: entity
has associated axiom(fol): (forall (x) (iff (Occurrent x) (and (Entity x) (exists (y) (temporalPartOf y x))))) // axiom label in BFO2 CLIF: [079-001]
definition: An entity that has temporal parts and that happens, unfolds or develops through time.
editor note: 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
editor note: 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.
has associated axiom(fol): (forall (x) (if (Occurrent x) (exists (r) (and (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion x r))))) // axiom label in BFO2 CLIF: [108-001]
elucidation: 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])
editor note: 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.
BFO CLIF specification label: Occurrent
BFO OWL specification label: occurrent
has associated axiom(nl): Every occurrent occupies_spatiotemporal_region some spatiotemporal region. (axiom label in BFO2 Reference: [108-001])
editor note: 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.
has associated axiom(nl): b is an occurrent entity iff b is an entity that has temporal parts. (axiom label in BFO2 Reference: [079-001])
imported from: bfo.owl
imported from: OBO Relations Ontology

independent continuant
type: Class
subclass of: continuant
BFO CLIF specification label: IndependentContinuant
has associated axiom(fol): (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]
has associated axiom(fol): (iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002]
has associated axiom(fol): (forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001]
definition: A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything.
has associated axiom(nl): 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])
has associated axiom(nl): 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])
BFO OWL specification label: ic
example of usage: a chair
example of usage: a heart
example of usage: a leg
example of usage: a molecule
example of usage: a spatial region
example of usage: an atom
example of usage: an orchestra.
example of usage: an organism
definition: 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])
example of usage: the bottom right portion of a human torso
example of usage: the interior of your mouth
imported from: bfo.owl
imported from: OBO Relations Ontology

temporal region
type: Class
subclass of: occurrent
has associated axiom(fol): (forall (x) (if (TemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [100-001]
BFO CLIF specification label: TemporalRegion
BFO OWL specification label: t-region
has associated axiom(fol): (forall (r) (if (TemporalRegion r) (occupiesTemporalRegion r r))) // axiom label in BFO2 CLIF: [119-002]
has associated axiom(fol): (forall (x y) (if (and (TemporalRegion x) (occurrentPartOf y x)) (TemporalRegion y))) // axiom label in BFO2 CLIF: [101-001]
elucidation: 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])
has associated axiom(nl): All parts of temporal regions are temporal regions. (axiom label in BFO2 Reference: [101-001])
has associated axiom(nl): Every temporal region t is such that t occupies_temporal_region t. (axiom label in BFO2 Reference: [119-002])
editor note: 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
imported from: bfo.owl

process
type: Class
subclass of: occurrent
BFO CLIF specification label: Process
has associated axiom(fol): (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]
definition: An occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t.
editor note: 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)
example of usage: a process of cell-division, \ a beating of the heart
example of usage: a process of meiosis
example of usage: a process of sleeping
definition: 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 OWL specification label: process
example of usage: the course of a disease
example of usage: the flight of a bird
example of usage: the life of an organism
example of usage: your process of aging.
imported from: bfo.owl
imported from: OBO Relations Ontology

disposition
type: Class
subclass of: realizable entity
has associated axiom(fol): (forall (x) (if (Disposition x) (and (RealizableEntity x) (exists (y) (and (MaterialEntity y) (bearerOfAt x y t)))))) // axiom label in BFO2 CLIF: [062-002]
editor note: 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.
BFO CLIF specification label: Disposition
has associated axiom(fol): (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]
BFO OWL specification label: disposition
has associated axiom(nl): 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])
example of usage: an atom of element X has the disposition to decay to an atom of element Y
elucidation: 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])
example of usage: certain people have a predisposition to colon cancer
example of usage: children are innately disposed to categorize objects in certain ways.
example of usage: the cell wall is disposed to filter chemicals in endocytosis and exocytosis
imported from: bfo.owl

realizable entity
type: Class
subclass of: specifically dependent continuant
has associated axiom(fol): (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]
has associated axiom(fol): (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]
definition: 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.
has associated axiom(nl): All realizable dependent continuants have independent continuants that are not spatial regions as their bearers. (axiom label in BFO2 Reference: [060-002])
BFO CLIF specification label: RealizableEntity
elucidation: 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])
BFO OWL specification label: realizable
example of usage: the disposition of this piece of metal to conduct electricity.
example of usage: the disposition of your blood to coagulate
example of usage: the function of your reproductive organs
example of usage: the role of being a doctor
example of usage: the role of this boundary to delineate where Utah and Colorado meet
imported from: bfo.owl
imported from: OBO Relations Ontology

quality
type: Class
subclass of: specifically dependent continuant
has associated axiom(fol): (forall (x) (if (Quality x) (SpecificallyDependentContinuant x))) // axiom label in BFO2 CLIF: [055-001]
BFO OWL specification label: quality
BFO CLIF specification label: Quality
has associated axiom(fol): (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]
has associated axiom(nl): 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])
elucidation: 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])
example of usage: the ambient temperature of this portion of air
example of usage: the color of a tomato
example of usage: the length of the circumference of your waist
example of usage: the mass of this piece of gold.
example of usage: the shape of your nose
example of usage: the shape of your nostril
imported from: bfo.owl

specifically dependent continuant
type: Class
subclass of: continuant
has associated axiom(fol): (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]
definition: 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.
example of usage: 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
BFO CLIF specification label: SpecificallyDependentContinuant
editor note: 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.
definition: 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])
example of usage: of one-sided specifically dependent continuants: the mass of this tomato
example of usage: 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.
BFO OWL specification label: sdc
example of usage: the disposition of this fish to decay
example of usage: the function of this heart: to pump blood
example of usage: the mutual dependence of proton donors and acceptors in chemical reactions [79
example of usage: the mutual dependence of the role predator and the role prey as played by two organisms in a given interaction
example of usage: the pink color of a medium rare piece of grilled filet mignon at its center
example of usage: the role of being a doctor
example of usage: the shape of this hole.
example of usage: the smell of this portion of mozzarella
imported from: bfo.owl
imported from: OBO Relations Ontology

role
type: Class
subclass of: realizable entity
definition: 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 CLIF specification label: Role
BFO OWL specification label: role
has associated axiom(fol): (forall (x) (if (Role x) (RealizableEntity x))) // axiom label in BFO2 CLIF: [061-001]
editor note: 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.
example of usage: 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.
elucidation: 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])
example of usage: the priest role
example of usage: the role of a boundary to demarcate two neighboring administrative territories
example of usage: the role of a building in serving as a military target
example of usage: the role of a stone in marking a property boundary
example of usage: the role of subject in a clinical trial
example of usage: the student role
imported from: bfo.owl
imported from: ido.owl
imported from: OBO Relations Ontology

site
type: Class
subclass of: immaterial entity
BFO OWL specification label: site
BFO CLIF specification label: Site
has associated axiom(fol): (forall (x) (if (Site x) (ImmaterialEntity x))) // axiom label in BFO2 CLIF: [034-002]
example of usage: Manhattan Canyon)
example of usage: a hole in the interior of a portion of cheese
example of usage: a rabbit hole
example of usage: an air traffic control region defined in the airspace above an airport
elucidation: b is a site means: b is a three-dimensional immaterial entity that is (partially or wholly) bounded by a material entity or it is a three-dimensional immaterial part thereof. (axiom label in BFO2 Reference: [034-002])
example of usage: the Grand Canyon
example of usage: the Piazza San Marco
example of usage: the cockpit of an aircraft
example of usage: the hold of a ship
example of usage: the interior of a kangaroo pouch
example of usage: the interior of the trunk of your car
example of usage: the interior of your bedroom
example of usage: the interior of your office
example of usage: the interior of your refrigerator
example of usage: the lumen of your gut
example of usage: your left nostril (a fiat part – the opening – of your left nasal cavity)
imported from: bfo.owl

object
type: Class
subclass of: material entity
BFO OWL specification label: object
BFO CLIF specification label: Object
editor note: BFO 2 Reference: BFO rests on the presupposition that at multiple micro-, meso- and macroscopic scales reality exhibits certain stable, spatially separated or separable material units, combined or combinable into aggregates of various sorts (for example organisms into what are called ‘populations’). Such units play a central role in almost all domains of natural science from particle physics to cosmology. Many scientific laws govern the units in question, employing general terms (such as ‘molecule’ or ‘planet’) referring to the types and subtypes of units, and also to the types and subtypes of the processes through which such units develop and interact. The division of reality into such natural units is at the heart of biological science, as also is the fact that these units may form higher-level units (as cells form multicellular organisms) and that they may also form aggregates of units, for example as cells form portions of tissue and organs form families, herds, breeds, species, and so on. At the same time, the division of certain portions of reality into engineered units (manufactured artifacts) is the basis of modern industrial technology, which rests on the distributed mass production of engineered parts through division of labor and on their assembly into larger, compound units such as cars and laptops. The division of portions of reality into units is one starting point for the phenomenon of counting.
editor note: BFO 2 Reference: Each object is such that there are entities of which we can assert unproblematically that they lie in its interior, and other entities of which we can assert unproblematically that they lie in its exterior. This may not be so for entities lying at or near the boundary between the interior and exterior. This means that two objects – for example the two cells depicted in Figure 3 – may be such that there are material entities crossing their boundaries which belong determinately to neither cell. Something similar obtains in certain cases of conjoined twins (see below).
editor note: BFO 2 Reference: To say that b is causally unified means: b is a material entity which is such that its material parts are tied together in such a way that, in environments typical for entities of the type in question,if c, a continuant part of b that is in the interior of b at t, is larger than a certain threshold size (which will be determined differently from case to case, depending on factors such as porosity of external cover) and is moved in space to be at t at a location on the exterior of the spatial region that had been occupied by b at t, then either b’s other parts will be moved in coordinated fashion or b will be damaged (be affected, for example, by breakage or tearing) in the interval between t and t.causal changes in one part of b can have consequences for other parts of b without the mediation of any entity that lies on the exterior of b. Material entities with no proper material parts would satisfy these conditions trivially. Candidate examples of types of causal unity for material entities of more complex sorts are as follows (this is not intended to be an exhaustive list):CU1: Causal unity via physical coveringHere the parts in the interior of the unified entity are combined together causally through a common membrane or other physical covering\. The latter points outwards toward and may serve a protective function in relation to what lies on the exterior of the entity [13, 47
editor note: BFO 2 Reference: an object is a maximal causally unified material entity
editor note: BFO 2 Reference: ‘objects’ are sometimes referred to as ‘grains’ [74
example of usage: atom
elucidation: b is an object means: b is a material entity which manifests causal unity of one or other of the types CUn listed above & is of a type (a material universal) instances of which are maximal relative to this criterion of causal unity. (axiom label in BFO2 Reference: [024-001])
example of usage: cell
example of usage: cells and organisms
example of usage: engineered artifacts
example of usage: grain of sand
example of usage: molecule
example of usage: organelle
example of usage: organism
example of usage: planet
example of usage: solid portions of matter
example of usage: star
imported from: bfo.owl

generically dependent continuant
type: Class
subclass of: continuant
has associated axiom(fol): (iff (GenericallyDependentContinuant a) (and (Continuant a) (exists (b t) (genericallyDependsOnAt a b t)))) // axiom label in BFO2 CLIF: [074-001]
BFO CLIF specification label: GenericallyDependentContinuant
BFO OWL specification label: gdc
example of usage: 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.
definition: 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])
example of usage: the pdf file on your laptop, the pdf file that is a copy thereof on my laptop
example of usage: the sequence of this protein molecule; the sequence that is a copy thereof in that protein molecule.
imported from: bfo.owl

function
type: Class
subclass of: disposition
has associated axiom(fol): (forall (x) (if (Function x) (Disposition x))) // axiom label in BFO2 CLIF: [064-001]
BFO CLIF specification label: Function
elucidation: 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])
editor note: 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.
BFO OWL specification label: function
example of usage: the function of a hammer to drive in nails
example of usage: the function of a heart pacemaker to regulate the beating of a heart through electricity
example of usage: the function of amylase in saliva to break down starch into sugar
imported from: bfo.owl

one-dimensional temporal region
type: Class
subclass of: temporal region
has associated axiom(fol): (forall (x) (if (OneDimensionalTemporalRegion x) (TemporalRegion x))) // axiom label in BFO2 CLIF: [103-001]
BFO CLIF specification label: OneDimensionalTemporalRegion
BFO OWL specification label: 1d-t-region
elucidation: A one-dimensional temporal region is a temporal region that is extended. (axiom label in BFO2 Reference: [103-001])
editor note: 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).
example of usage: the temporal region during which a process occurs.
imported from: bfo.owl

material entity
type: Class
subclass of: independent continuant
BFO OWL specification label: material
has associated axiom(fol): (forall (x) (if (MaterialEntity x) (IndependentContinuant x))) // axiom label in BFO2 CLIF: [019-002]
has associated axiom(fol): (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]
has associated axiom(fol): (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]
elucidation: 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])
editor note: 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 CLIF specification label: MaterialEntity
definition: An independent continuant that is spatially extended whose identity is independent of that of other entities and can be maintained through time.
editor note: 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.
editor note: 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.
has associated axiom(nl): Every entity which has a material entity as continuant part is a material entity. (axiom label in BFO2 Reference: [020-002])
example of usage: a flame
example of usage: a forest fire
example of usage: a human being
example of usage: a hurricane
example of usage: a photon
example of usage: a puff of smoke
example of usage: a sea wave
example of usage: a tornado
example of usage: an aggregate of human beings.
example of usage: an energy wave
example of usage: an epidemic
has associated axiom(nl): every entity of which a material entity is continuant part is also a material entity. (axiom label in BFO2 Reference: [021-002])
example of usage: the undetached arm of a human being
imported from: bfo.owl
imported from: cl.owl
imported from: OBO Relations Ontology

immaterial entity
type: Class
subclass of: independent continuant
BFO OWL specification label: immaterial
editor note: 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
BFO CLIF specification label: ImmaterialEntity
imported from: bfo.owl
imported from: OBO Relations Ontology

zero-dimensional temporal region
type: Class
subclass of: temporal region
has associated axiom(fol): (forall (x) (if (ZeroDimensionalTemporalRegion x) (TemporalRegion x))) // axiom label in BFO2 CLIF: [102-001]
BFO CLIF specification label: ZeroDimensionalTemporalRegion
BFO OWL specification label: 0d-t-region
elucidation: A zero-dimensional temporal region is a temporal region that is without extent. (axiom label in BFO2 Reference: [102-001])
example of usage: a temporal region that is occupied by a process boundary
example of usage: right now
alternative term: temporal instant.
example of usage: the moment at which a child is born
example of usage: the moment at which a finger is detached in an industrial accident
example of usage: the moment of death.
imported from: bfo.owl

cell
type: Class
subclass of: material entity
definition: A material entity of anatomical origin (part of or deriving from an organism) that has as its parts a maximally connected cell compartment surrounded by a plasma membrane.
database_cross_reference: CALOHA:TS-2035
database_cross_reference: FMA:68646
database_cross_reference: GO:0005623
database_cross_reference: KUPO:0000002
comment: The definition of cell is intended to represent all cells, and thus a cell is defined as a material entity and not an anatomical structure, which implies that it is part of an organism (or the entirety of one).
database_cross_reference: VHOG:0001533
database_cross_reference: WBbt:0004017
database_cross_reference: XAO:0003012
has_obo_namespace: cell
in_subset: upper level
imported from: cl.owl

epithelial cell
type: Class
subclass of: material entity
subclass of: cell
definition: A cell that is usually found in a two-dimensional sheet with a free surface. The cell has a cytoskeleton that allows for tight cell to cell contact and for cell polarity where apical part is directed towards the lumen and the basal part to the basal lamina.
database_cross_reference: BTO:0000414
database_cross_reference: CALOHA:TS-2026
database_cross_reference: CARO:0000077
database_cross_reference: FBbt:00000124
database_cross_reference: FMA:66768
database_cross_reference: WBbt:0003672
has_obo_namespace: cell
has_exact_synonym: epitheliocyte
imported from: cl.owl

macrophage
type: Class
subclass of: material entity
subclass of: cell
definition: A mononuclear phagocyte present in variety of tissues, typically differentiated from monocytes, capable of phagocytosing a variety of extracellular particulate material, including immune complexes, microorganisms, and dead cells.
database_cross_reference: BTO:0000801
database_cross_reference: CALOHA:TS-0587
database_cross_reference: FMA:63261
database_cross_reference: FMA:83585
comment: Morphology: Diameter 30_M-80 _M, abundant cytoplasm, low N/C ratio, eccentric nucleus. Irregular shape with pseudopods, highly adhesive. Contain vacuoles and phagosomes, may contain azurophilic granules; markers: Mouse & Human: CD68, in most cases CD11b. Mouse: in most cases F4/80+; role or process: immune, antigen presentation, & tissue remodelling; lineage: hematopoietic, myeloid.
has_obo_namespace: cell
has_exact_synonym: histiocyte
imported from: cl.owl

protein complex assembly
type: Class
subclass of: direct interaction
id: GO:0006461
definition: The aggregation, arrangement and bonding together of a set of components to form a protein complex.
has OBO namespace: biological_process
has exact synonym: protein complex formation
imported from: go.owl

protein acetylation
type: Class
subclass of: up-regulation of secretion
id: GO:0006473
definition: The addition of an acetyl group to a protein amino acid. An acetyl group is CH3CO-, derived from acetic [ethanoic] acid.
has OBO namespace: biological_process
has exact synonym: protein amino acid acetylation
imported from: go.owl

apoptotic process
type: Class
subclass of: programmed cell death
definition: A programmed cell death process which begins when a cell receives an internal (e.g. DNA damage) or external signal (e.g. an extracellular death ligand), and proceeds through a series of biochemical events (signaling pathway phase) which trigger an execution phase. The execution phase is the last step of an apoptotic process, and is typically characterized by rounding-up of the cell, retraction of pseudopodes, reduction of cellular volume (pyknosis), chromatin condensation, nuclear fragmentation (karyorrhexis), plasma membrane blebbing and fragmentation of the cell into apoptotic bodies. When the execution phase is completed, the cell has died.
id: GO:0006915
has narrow synonym: activation of apoptosis
has narrow synonym: apoptosis
has narrow synonym: apoptosis signaling
has exact synonym: apoptotic cell death
has narrow synonym: apoptotic program
has exact synonym: apoptotic programmed cell death
has OBO namespace: biological_process
has exact synonym: programmed cell death by apoptosis
has narrow synonym: type I programmed cell death
imported from: go.owl

biological_process
type: Class
subclass of: process
definition: Any process specifically pertinent to the functioning of integrated living units: cells, tissues, organs, and organisms. A process is a collection of molecular events with a defined beginning and end.
id: GO:0008150
has exact synonym: biological process
has OBO namespace: biological_process
has exact synonym: physiological process
imported from: go.owl

cell death
type: Class
subclass of: biological_process
definition: Any biological process that results in permanent cessation of all vital functions of a cell. A cell should be considered dead when any one of the following molecular or morphological criteria is met: (1) the cell has lost the integrity of its plasma membrane; (2) the cell, including its nucleus, has undergone complete fragmentation into discrete bodies (frequently referred to as apoptotic bodies). The cell corpse (or its fragments) may be engulfed by an adjacent cell in vivo, but engulfment of whole cells should not be considered a strict criteria to define cell death as, under some circumstances, live engulfed cells can be released from phagosomes (see PMID:18045538).
id: GO:0008219
has OBO namespace: biological_process
imported from: go.owl

programmed cell death
type: Class
subclass of: cell death
definition: A process which begins when a cell receives an internal or external signal and activates a series of biochemical events (signaling pathway). The process ends with the death of the cell.
id: GO:0012501
has OBO namespace: biological_process
has narrow synonym: caspase-independent cell death
has narrow synonym: non-apoptotic programmed cell death
has narrow synonym: nonapoptotic programmed cell death
imported from: go.owl

phosphorylation
type: Class
subclass of: up-regulation
id: GO:0016310
definition: The process of introducing a phosphate group into a molecule, usually with the formation of a phosphoric ester, a phosphoric anhydride or a phosphoric amide.
has OBO namespace: biological_process
imported from: go.owl

protein myristoylation
type: Class
subclass of: lipid addition
id: GO:0018377
definition: The covalent attachment of a myristoyl group to a protein.
has OBO namespace: biological_process
has exact synonym: protein amino acid myristoylation
imported from: go.owl

protein oligomerization
type: Class
subclass of: protein complex assembly
id: GO:0051259
definition: The process of creating protein oligomers, compounds composed of a small number, usually between three and ten, of component monomers; protein oligomers may be composed of different or identical monomers. Oligomers may be formed by the polymerization of a number of monomers or the depolymerization of a large protein polymer.
has OBO namespace: biological_process
has exact synonym: protein oligomer assembly
has exact synonym: protein oligomer biosynthesis
has exact synonym: protein oligomer biosynthetic process
has exact synonym: protein oligomer formation
imported from: go.owl

data item
type: Class
subclass of: information content entity
editor note: 2009-03-16: data item deliberatly ambiguous: we merged data set and datum to be one entity, not knowing how to define singular versus plural. So data item is more general than datum.
editor note: 2009-03-16: removed datum as alternative term as datum specifically refers to singular form, and is thus not an exact synonym.
editor note: 2014-03-31: See discussion at http://odontomachus.wordpress.com/2014/03/30/aboutness-objects-propositions/
editor note: 2/2/2009 Alan and Bjoern discussing FACS run output data. This is a data item because it is about the cell population. Each element records an event and is typically further composed a set of measurment data items that record the fluorescent intensity stimulated by one of the lasers.
example of usage: Data items include counts of things, analyte concentrations, and statistical summaries.
editor note: JAR: datum -- well, this will be very tricky to define, but maybe some information-like stuff that might be put into a computer and that is meant, by someone, to denote and/or to be interpreted by some process... I would include lists, tables, sentences... I think I might defer to Barry, or to Brian Cantwell Smith JAR: A data item is an approximately justified approximately true approximate belief
term editor: PERSON: Alan Ruttenberg
term editor: PERSON: Chris Stoeckert
term editor: PERSON: Jonathan Rees
definition: a data item is an information content entity that is intended to be a truthful statement about something (modulo, e.g., measurement precision or other systematic errors) and is constructed/acquired by a method which reliably tends to produce (approximately) truthful statements.
alternative term: data
editor preferred term: data item
has curation status: pending final vetting
imported from: iao.owl

information content entity
type: Class
subclass of: generically dependent continuant
editor note: 2014-03-10: The use of "thing" is intended to be general enough to include universals and configurations (see https://groups.google.com/d/msg/information-ontology/GBxvYZCk1oc/-L6B5fSBBTQJ).
definition: A generically dependent continuant that is about some thing.
example of usage: Examples of information content entites include journal articles, data, graphical layouts, and graphs.
definition source: OBI_0000142
term editor: PERSON: Chris Stoeckert
editor preferred term: information content entity
editor note: information_content_entity 'is_encoded_in' some digital_entity in obi before split (040907). information_content_entity 'is_encoded_in' some physical_document in obi before split (040907). Previous. An information content entity is a non-realizable information entity that 'is encoded in' some digital or physical entity.
has curation status: ready for release
imported from: iao.owl

pathogen role
type: Class
subclass of: role
definition: A role borne by pathogen in virtue of the fact that it or one of its products is sufficiently close to an organism towards which it has the pathogenic disposition to allow realization of the pathogenic disposition.
term editor: Alexander Diehl
comment: Clostridium botulinum is an example of an entity with the capability to bear the pathogen role but that does not have the capability to bear the infectious agent role or the parasite role. The influenza viruses are examples of organisms that can bear both the infectious agent and pathogen roles.
term editor: Albert Goldfain
term editor: Lindsay Cowell
imported from: ido.owl

pathogen
type: Class
subclass of: material entity
definition: A material entity with a pathogenic disposition.
term editor: Alexander Diehl
term editor: Lindsay Cowell
term editor: Albert Goldfain
imported from: ido.owl

host role
type: Class
subclass of: role
definition: A role borne by an organism in virtue of the fact that it's extended organism contains a material entity other than the organism.
term editor: Alexander Diehl
term editor: Lindsay Cowell
term editor: Albert Goldfain
imported from: ido.owl

interaction network
type: Class
subclass of: process
definition: Interaction network is a process that includes a network of at least two interactions.
editor note: If the interaction is physical and molecular, the interaction network is molecular interactions usually found in cells.
term editor: YH, ZX
definition source: http://en.wikipedia.org/wiki/Interaction_network

interaction
type: Class
subclass of: process
subclass of: Restriction
  on property: has participant
  some values from: Class
    intersection of: entity
    intersection of: Restriction
      on property: has role
      some values from: interactor role
term editor: YH, ZX
has literature mining keywords: interact, interacted, interacting, interaction, interaction, interactor, interactors, interacts, participates; plays a role, contribute, contributed, contributes, contributing, engagement, engagements, engages, engaging, involve, involved, involves, involving, act, acted, acting, acts
definition: Interaction is a processual entity that has two or more participants (i.e., interactors) that have an effect upon one another.

pathway
type: Class
subclass of: interaction network
definition: an interaction network that includes at least two interactions and has a start point(s) and an end point(s).
term editor: YH, ZX

Bayesian network
type: Class
subclass of: interaction network model
term editor: YH, ZX
definition: an interaction network model that is represented by a probabilistic graphical model (a type of statistical model) that represents a set of random variables and their conditional dependencies via a directed acyclic graph (DAG).
definition source: WEB: http://en.wikipedia.org/wiki/Bayesian_network

regulator role
type: Class
subclass of: interactor role
definition: an regulator role that is borne by a material entity that regulates an interaction.
term editor: YH

up-regulation
type: Class
subclass of: positive regulation
term editor: YH
definition: a positive regulation that one interactor up-regulates another.
has literature mining keywords: up-regulate, up-regulations, up-regulated, up-regulating, upregulate, upregulations, upregulated, upregulating

interaction regulator
type: Class
equivalent class: Restriction
  on property: has role
  some values from: regulator role
subclass of: interactor
definition: an interactor that regulates an interaction.
term editor: YH

input interactor role
type: Class
subclass of: interactor role
term editor: YH, ZX
alternative term: interaction input role
definition: an interactor role that is borne by a material entity that acts as an input of an interaction.

output interactor role
type: Class
subclass of: interactor role
alternative term: interaction output role
definition: an interactor role that is borne by a material entity that acts as an output of an interaction.
term editor: YH, ZX

activator role
type: Class
subclass of: positive regulator role
term editor: YH
definition: a positive regulator role that is borne by a material entity that activates an interaction.

mutual information network
type: Class
subclass of: interaction network model
definition source: WEB: http://en.wikipedia.org/wiki/Mutual_information
definition: an interaction network model that is represented by at least two mutual information interactions.
term editor: YH, ZX

node
type: Class
subclass of: object
term editor: YH, ZX
comment: is node equal to interactor?? (YL)
definition: a node is an object that represents an interactor in a graph of an interaction or interaction network.

edge
type: Class
subclass of: object
term editor: YH, ZX
definition: an edge is an object that represents a graphic line that links two interactors in an interaction.

interactor role
type: Class
subclass of: role
subclass of: Restriction
  on property: realized in
  some values from: interaction
term editor: YH, ZX
definition: a role that is borne by a material entity to act as a participant in an interaction process.

interactor
type: Class
equivalent class: Restriction
  on property: has role
  some values from: interactor role
subclass of: material entity
definition: an interactor is a material entity that participates in an interaction.
creator: YL. YH. ZX.

activator
type: Class
equivalent class: Restriction
  on property: has role
  some values from: activator role
subclass of: positive regulator
definition: a positive interaction regulator that activates an interaction.
term editor: YH

organism-organism interaction
type: Class
subclass of: interaction
creator: YL.YH. ZX.
definition: a biological interaction that occurs in the organism level.
editor note: Examples: a bacterium interacts with a mouse, a cat interacts with a dog

two-way interaction
type: Class
subclass of: interaction
definition: A two-way interaction is an interaction that includes two different directions among two interactors.
term editor: YH

human molecular pathway
type: Class
subclass of: pathway
term editor: YH, ZX
definition: a pathway that exists in human body.

up-regulation of secretion
type: Class
subclass of: up-regulation
term editor: YH
definition: an up-regulation that one interactor up-regulates the secretion of another interactor.
has literature mining keywords: up-regulate, up-regulations, up-regulated, up-regulating, upregulate, upregulations, upregulated, upregulating

human molecular interaction
type: Class
subclass of: interaction
term editor: YH, ZX
definition: an interaction involving human molecules
comment: YH: This branch may be made obsolete since we now have human INO (HINO).

activation
type: Class
subclass of: positive regulation
term editor: YH, ZX
definition: a positive regulation that one interactor activates another.
has literature mining keywords: activate, activated, activates, activating, activation, activator, activators, activity

gene-cell interaction
type: Class
subclass of: interaction
definition: an interaction that includes a gene and a cell as interactors.
creator: YL.YH. ZX.

protein activation
type: Class
subclass of: activation
has literature mining keywords: protein activation, protein activated, activates protein, activating protein, activated protein
definition: an activation process where one protein is activated by a material entity
term editor: YH
comment: YH: in literature mining, the protein can be any specific protein symbol or protein name.

cell-cell interaction
type: Class
subclass of: interaction
definition: a biological interaction that involves two cells as interactors.
creator: YL.YH. ZX.

protein activation by mutant
type: Class
subclass of: protein activation
alternative term: protein activation by gene mutant
term editor: YH
definition: an activation process where one protein is activated by a gene mutant
comment: YH: in literature mining, the protein can be any specific protein symbol or protein name. In addition, the mutant can be a mutant of any gene and the name of the mutant can be any specific name given by the research who generated the mutant.
has literature mining keywords: protein activation by mutant, protein activated by mutant, mutant activates protein, activating protein by mutant, mutant activated protein

antagonism
type: Class
subclass of: direct interaction
has literature mining keywords: antagonise, antagonised, antagonises, antagonising, antagonist, antagonists, antagonize, antagonized, antagonizes, antagonizing
term editor: YH, ZX
definition: a biochemical binding where a substance binds to the same site an agonist would bind to without causing activation of the receptor
definition source: WEB: http://en.wikipedia.org/wiki/Receptor_antagonist

gene-enviroment interaction
type: Class
subclass of: interaction
creator: YL.YH. ZX.
definition: an interaction that involves a gene and its environment (e.g., calcium in blood).

regulation of protein location
type: Class
subclass of: regulation
example of literature mining keyword usage: "Localization of SpoIIE was shown to be dependent on the essential cell division protein FtsZ" (Reference: http://www.ncbi.nlm.nih.gov/pubmed/10747015)
has literature mining keywords: location // (protein) // dependent, location // (protein) // depends
term editor: YH, AO
definition: a regulation process that regulates the location of a protein

regulation of transcription
type: Class
equivalent class: Restriction
  on property: regulates
  some values from: gene transcription
subclass of: gene expression regulation
subclass of: Restriction
  on property: has output
  some values from: Class
    intersection of: RNA
    intersection of: Restriction
      on property: has role
      some values from: output interactor role
definition: a gene expression regulation process that involves the regulation of a gene transcription.
has literature mining keywords: transcribed, transcribed by, regulates the transcription of, regulated the transcription of, regulates // transcription, regulated // transcription, under the control of // transcription, essential for // transcription, trascription depends, transcription // dependent, control // transcription, controlling // transcription, requires // transcription
alternative term: regulation of gene transcription
term editor: YH, AO, JH
has keyword dependency pattern: amod(transcription, controlling), amod(transcription, dependent), amod(expression, dependent), nsubj(dependent, transcription), nsubj(control, expression), nmod:for(regulator, transcription), nmod:of(activator, transcription), nsubjpass(recognized, promoter)

attenuation
type: Class
subclass of: negative regulation
has literature mining keywords: attenuate, attenuated, attenuates, attenuating
term editor: YH, ZX
definition: a negative regulation that attenuates the virulence of a pathogenic microbe.

regulation of translation
type: Class
equivalent class: Restriction
  on property: regulates
  some values from: protein translation
subclass of: gene expression regulation
alternative term: regulation of gene translation
has literature mining keywords: translation depends, translation // dependent, regulates // translation, regulated // translation, regulates the translation of, regulated the translation of, regulation // production, regulated // production, regulate // production
term editor: YH, AO
definition: a gene expression regulation process that involves the regulation of a protein translation process.
example of literature mining keyword usage: "Transcription of ydhD was dependent on SigE" (Reference: http://www.ncbi.nlm.nih.gov/pubmed/11011148)
alternative term: regulation of protein translation

autophosphorylation
type: Class
subclass of: phosphorylation
term editor: YH, ZX
definition: a phosphorylation process that adds a phosphate to a protein kinase (possibly affecting its activity) by virtue of its own enzymic activity.
has literature mining keywords: autophosphorylate, autophosphorylated, autophosphorylates, autophosphorylating, autophosphorylation

regulation of gene activation
type: Class
subclass of: regulation
subclass of: Restriction
  on property: regulates
  some values from: gene activation
example of literature mining keyword usage: "sequestration of SpoIIE protein into the prespore plays an important role in the control of sigmaF activation and in coupling this activation to septation." (Reference: http://www.ncbi.nlm.nih.gov/pubmed/10476035)
term editor: YH, AR, JH
definition source: WEB: http://www.medilexicon.com/medicaldictionary.php?t=970
definition: a regulation process that regulates the activation of a gene so that the gene is expressed at a particular time
has literature mining keywords: essential for // activation, essential for // activation, activated // expression, activates // expression, control // activation, controlling // activation, requires // activation, requiredd // activation

positive regulation of gene expression
type: Class
equivalent class: Restriction
  on property: positively regulates
  some values from: gene expression
subclass of: gene expression regulation
definition: a regulation process that positively regulates gene expression level
has literature mining keywords: positive regulation // expression, increase // expression, induced // dependent, induced // via, induced // by, induced // dependent // presence
term editor: YH, AR
example of literature mining keyword usage: "YtxH and YvyD seemed to be induced after phosphate starvation in the wild type in a sigma(B)-dependent manner." (Reference: http://www.ncbi.nlm.nih.gov/pubmed/10913081)

negative regulation of gene expression
type: Class
equivalent class: Restriction
  on property: negatively regulates
  some values from: gene expression
subclass of: gene expression regulation
example of literature mining keyword usage: "These results suggest that YfhP may act as a negative regulator for the transcription of yfhQ, yfhR, sspE and yfhP." (Reference: http://www.ncbi.nlm.nih.gov/pubmed/10463184)
term editor: YH, AR
has literature mining keywords: essential for // negative regulation, negatively regulated // expression, negatively regulates // expression, negative regulator // transcription
definition: a regulation process that negatively regulates gene expression level

human biochemical reaction
type: Class
subclass of: human molecular conversion
definition: a human molecular reaction that is specifically a biochemical reaction
term editor: YH. ZX

physical entity
type: Class
subclass of: material entity
editor note: place holder for physical entities

negative regulation of gene transcription
type: Class
equivalent class: Restriction
  on property: negatively regulates
  some values from: gene transcription
subclass of: regulation of transcription
definition: a negative regulation process that down-regulates gene expression level
term editor: YH, AO
has literature mining keywords: negatively regulated // transcription, negatively regulates // transcription, negatively controls // transcription, negatively controled // transcription
has keyword dependency pattern: dobj(preventing,transcription)

negative regulation of protein translation
type: Class
equivalent class: Restriction
  on property: negatively regulates
  some values from: protein translation
subclass of: regulation of translation
definition: a negative regulation process that down-regulates protein translation level
has literature mining keywords: negatively regulated // translation, negatively regulates // translation, limits // production, limited // production
term editor: YH, AO

gene expression regulation
type: Class
equivalent class: Restriction
  on property: regulates
  some values from: gene expression
subclass of: regulation
subclass of: Restriction
  on property: has input
  some values from: Class
    intersection of: gene
    intersection of: Restriction
      on property: has role
      some values from: input interactor role
alternative term: regulation of gene expression
term editor: YH, AO, JH
definition: a regulation process that regulates gene expression level
has keyword dependency pattern: amod(expression, dependent)
example of literature mining keyword usage: "SigK and GerE were essential for ykvP expression" (Reference: http://www.ncbi.nlm.nih.gov/pubmed/11011148)
has literature mining keywords: regulated // expression, regulates // expression, essential // expression, control // expression, controlled // expression, controlling // expression, controls // expression, expression under control, essential for // expression, responsible for production, essential for production, regulates the production of, regulated the production of, responsible // production, responsible // production, affect // production, affected // production, depend // expression, dependent // expression, level // (gene) // dependent, requires // expression, required // expression, regulated by // pathway // relying on, regulon // includes, member of // regulon

protein translation
type: Class
subclass of: gene expression
subclass of: Restriction
  on property: has input
  some values from: RNA
subclass of: Restriction
  on property: has output
  some values from: protein
has literature mining keywords: translation, translated, translating, encoding, encodes, protein production
alternative term: gene translation
definition: a gene expression process that results in protein production from a gene DNA sequence.
term editor: YH, ZX
definition source: WEB: http://en.wikipedia.org/wiki/Translation_%28biology%29

inhibition of gene transcription
type: Class
subclass of: negative regulation of gene transcription
term editor: YH, AO
has literature mining keywords: inhibited // transcription, inhibits // transcription, repressed // transcription, repress // transcription, prevented // transcription, prevents // transcription, prevent // transcription
definition: a negative regulation of gene transcription process that specifiies the negative regulation being an inhibition.
example of literature mining keyword usage: "GerE protein inhibits transcription in vitro of the sigK gene." (Reference: http://www.ncbi.nlm.nih.gov/pubmed/10075739)

chemical reaction catalyst
type: Class
equivalent class: Restriction
  on property: has role
  some values from: chemical reaction catalyst role
subclass of: interactor
definition: an interactor that starts or speeds up a chemical reaction while undergoing no permanent change itself.
term editor: YH

coimmunoprecipitation
type: Class
subclass of: coprecipitation
alternative term: co-immunoprecipitation
term editor: YH, ZX
definition: a coprecipitation that occurs through an immunoprecipitation process.
has literature mining keywords: coimmunoprecipitate, coimmunoprecipitated, coimmunoprecipitates, coimmunoprecipitating, coimmunoprecipitation, coimmunopreticipate, coimmunopreticipated, coimmunopreticipates, coimmunopreticipating, co-immunoprecipitate, co-immunoprecipitated, co-immunoprecipitates, co-immunoprecipitating, co-immunoprecipitation, co-immunopreticipate, co-immunopreticipated, co-immunopreticipates, co-immunopreticipating

positive regulation of gene transcription
type: Class
equivalent class: Restriction
  on property: positively regulates
  some values from: gene transcription
subclass of: regulation of transcription
has literature mining keywords: positively regulated // transcription, negatively regulates // transcription, stimulating // transcription, stimulates // transcription, stimulated // transcription, induction // transcription, induced // transcription, induces // transcription, inducing // transcription, driven // transcription, drives // transcription
definition: a regulation of transcription process that inviolves a positive regulation.
term editor: YH, AO
has keyword dependency pattern: dobj(stimulating,transcription)

competition
type: Class
subclass of: association
definition: an indirect association that one interactor competes with another interactor in a specfiic process.
term editor: YH, ZX
has literature mining keywords: compete, competed, competes, competing

activation of gene transcription
type: Class
subclass of: positive regulation of gene transcription
definition: a positive regulation of gene transcription process that inviolves an activation of the gene transcription.
has literature mining keywords: activated // transcription, activates // transcription
term editor: YH, AO
example of literature mining keyword usage: "Transcription of the cotB, cotC, and cotX genes by final sigma(K) RNA polymerase is activated by a small, DNA-binding protein called GerE." (Reference: http://www.ncbi.nlm.nih.gov/pubmed/10788508)

activation of gene transcription by low level protein
type: Class
subclass of: activation of gene transcription
example of literature mining keyword usage: "A low level of GerE activated transcription of cotD by sigmaK." (Reference: http://www.ncbi.nlm.nih.gov/pubmed/10075739)
definition: an activation of gene transcription that is achieved by a low level of a protein
has literature mining keywords: low level // activated // transcription, low level // activates // transcription, low concentration // activated // transcription
term editor: YH, AO

positive regulation of protein translation
type: Class
equivalent class: Restriction
  on property: positively regulates
  some values from: protein translation
subclass of: regulation of translation
term editor: YH, AO
definition: a regulation of translation process that positively regulates protein translation level
example of literature mining keyword usage: "ComK ... thereby increasing the production of the FlgM." (Reference: http://www.ncbi.nlm.nih.gov/pubmed/9696775)
has literature mining keywords: positively regulated // translation, positively regulates // translation, increases // production, increased // production, increasing // production, increasing // production

antigen-antibody interaction
type: Class
subclass of: direct interaction
definition source: WEB: http://en.wikipedia.org/wiki/Antigen-antibody_interaction
term editor: YH
definition: a direct interaction where an antigen interacts with an antibody physically.

regulation of protein activity
type: Class
subclass of: regulation
term editor: YH, AO
comment: If you can detect your protein on a western blot, and it is migrating to the apparent molecular weight that you expect, you can say for definite that the protein is being expressed. This means that the primary structure (i.e. the amino acid chain) has been synthesised. Activity depends on, for example, correct folding of the enzyme, the presence of any required cofactors, proper targetting (e.g. if its a membrane protein) and that there are mutations crucial catalytic residues. Western blotting tells you nothing about these things. (Reference: http://www.protocol-online.org/biology-forums/posts/30248.html)
alternative term: protein activity regulation
has literature mining keywords: regulated // activity, regulates // activity, essential // activity, controlled // activity, controls // activity, activity under control, essential for // activity
definition: a regulation process that regulates an activity of a protein

downexpression
type: Class
subclass of: gene expression
definition: a gene expression that has decreased volume.
alternative term: decreased gene expression
term editor: YH, ZX

controling
type: Class
subclass of: dominant regulation
term editor: YH, ZX
definition: a regulation that one interactor controls the quality of another interactor to a specific range
has literature mining keywords: control, controled, controling, controlled, controlling, controls

conversion
type: Class
subclass of: process
has literature mining keywords: conversion, convert, converted, converting, converts, derived, derives, derivation
definition: a direct physical association that one interactor is converted from another interactor.
term editor: YH, ZX

cooperation
type: Class
subclass of: association
definition: an indirect association that one interactor cooperates with another interactor in a specfiic process.
has literature mining keywords: cooperate, cooperated, cooperates, cooperating
term editor: YH, ZX

coprecipitation
type: Class
subclass of: colocalization
alternative term: co-precipitation
has literature mining keywords: coprecipitate, coprecipitated, coprecipitates, coprecipitating, coprecipitation, copreticipate, copreticipated, copreticipates, copreticipating, co-precipitate, co-precipitated, co-precipitates, co-precipitating, co-precipitation, co-preticipate, co-preticipated, co-preticipates, co-preticipating
term editor: YH, ZX
definition: a colocalization that two interactors are precipitated together.

correlation
type: Class
subclass of: association
term editor: YH, ZX
definition: an indirect association that two interactors are correlated in a process without defined influence of each other.
has literature mining keywords: correlate, correlated, correlating

costimulation
type: Class
subclass of: synergization
has literature mining keywords: costimulate, costimulated, costimulating
term editor: YH, ZX, AO
editor note: Example: A and B costimulate C. The relations between A and C or between B and C are regulation. However, the relation between A and B is an association.

cell-environment interaction
type: Class
subclass of: interaction
definition: an interaction that involves a cell and its environment as interactors
creator: YH

cross-immunoprecipitation interaction
type: Class
subclass of: immuno-precipitation
term editor: YH, ZX
definition: an immuno-precipitation that one interactor is precipitated based on an cross- immunological precipitation process.
has literature mining keywords: cross-immunoprecipitate, cross-immunoprecipitated, cross-immunoprecipitates, cross-immunoprecipitating, cross-immunoprecipitation, crossimmunoprecipitate, crossimmunoprecipitated, crossimmunoprecipitates, crossimmunoprecipitating, crossimmunoprecipitation

organism-environment interaction
type: Class
subclass of: interaction
definition: an interaction that involves an organism and its environment as interactors
creator: YH

immunological cross-reaction
type: Class
subclass of: antigen-antibody interaction
term editor: YH, ZX
definition source: an antigen-antibody interaction where an antibody interats with an antigen that differs from the immunogen used to generate antibody.

negative regulation of protein activity
type: Class
subclass of: regulation of protein activity
alternative term: negative protein activity regulation
definition: a regulation of protein activitiy process that involves a negative regulation
has literature mining keywords: negatively regulated // activity, negatively regulates // activity
term editor: YH, AO

negative regulation
type: Class
subclass of: regulation
term editor: YH, ZX
definition: a regulation in which one interactor has a negative effect on another interactor
has literature mining keywords: down-regulate, down-regulations, down-regulated, down-regulating, downregulate, downregulations, downregulated, downregulating
editor note: YH: different types of negative regulations exist. These types are related to different qualities and phenotyes of regulated targets.

chemical reaction catalyst role
type: Class
subclass of: interactor role
term editor: YH
definition: an interactor role that is played by a material entity that starts or speeds up a chemical reaction while undergoing no permanent change itself.

inhibition of protein activity
type: Class
subclass of: negative regulation of protein activity
has literature mining keywords: inhibited // activity, inhibites // activity, inhibition // activity
term editor: YH, AO
example of literature mining keyword usage: "... FlgM antisigma factor that inhibits sigmaD activity." (Reference: http://www.ncbi.nlm.nih.gov/pubmed/9696775)
definition: a negative regulation of protein activitiy process that involves an inhibition of a protein activity

regulation of transcription by binding to promoter
type: Class
subclass of: promoter-based regulation of transcription
has literature mining keywords: binds // promoter, bound to // promoter, binding // promoter, recognize // promoter, recognized // promoter, expressed // promoter, dependent // promoter. depdenent // promoter of (or proceding, procedes), repress // promoter, activate // promoter, regulate // promoter, regulated // promoter, stimulate // promoter, stimulate // transcription // promoter, induced // promoter
definition: a regulation of transcription process that occurs through the binding to a promotor of a gene
comment: Transcription factors bind to either enhancer or promoter regions of DNA adjacent to the genes that they regulate. Depending on the transcription factor, the transcription of the adjacent gene is either up- or down-regulated. (Ref: https://en.wikipedia.org/wiki/Transcription_factor).
term editor: YH, AO
example of literature mining keyword usage: "We show that GerE binds to two sites that span the -35 region of the cotD promoter." (Reference: http://www.ncbi.nlm.nih.gov/pubmed/10075739)

positive regulation of transcription by binding to promoter
type: Class
subclass of: regulation of transcription by binding to promoter
subclass of: Restriction
  on property: positively regulates
  some values from: gene transcription
definition: a regulation of transcription by binding to promoter that is further classified as a positive regulation
term editor: YH, AO
example of literature mining keyword usage: "We show that GerE binds to two sites that span the -35 region of the cotD promoter." (Reference: http://www.ncbi.nlm.nih.gov/pubmed/10075739)
has literature mining keywords: induce // expression // promoter, induced // transcription // promoter, stimulate // promoter, stimulate // transcription // promoter, induced // promoter, activated // transcription // promoter, activated // promoter, dependent // promoter // drives // expression, dependent // promoter // responsible // transcription, expressed // controlled // promoter
comment: Transcription factors bind to either enhancer or promoter regions of DNA adjacent to the genes that they regulate. Depending on the transcription factor, the transcription of the adjacent gene is either up- or down-regulated. (Ref: https://en.wikipedia.org/wiki/Transcription_factor).

decrease
type: Class
subclass of: negative regulation
alternative term: reduction
has literature mining keywords: decrease, decreased, decreases, decreasing, decreasing, reduce, reduced, reduces, reducing, diminish, diminished, diminishes, diminishing, declining, declines, declination, limit, limited, limiting, limits
definition: a negative regulation that results in the decrease of one interactor volume.
term editor: YH, ZX

negative regulation of transcription by binding to promoter
type: Class
subclass of: regulation of transcription by binding to promoter
subclass of: Restriction
  on property: negatively regulates
  some values from: gene transcription
has literature mining keywords: negatively regulate // promoter, negatively regulated // promoter, repressed // promoter, represses // promoter, repress // promoter, binds // transcriptional start site // repressor, bound // transcriptional start site // repressor
comment: Transcription factors bind to either enhancer or promoter regions of DNA adjacent to the genes that they regulate. Depending on the transcription factor, the transcription of the adjacent gene is either up- or down-regulated. (Ref: https://en.wikipedia.org/wiki/Transcription_factor).
example of literature mining keyword usage: "We show that GerE binds to two sites that span the -35 region of the cotD promoter." (Reference: http://www.ncbi.nlm.nih.gov/pubmed/10075739)
definition: a regulation of transcription by binding to promoter that is further classified as a positive regulation
term editor: YH, AO

gene activation
type: Class
subclass of: positive regulation of gene expression
has literature mining keywords: activation // (gene), activated // (gene), activates // // (gene), activated // action
definition: a positive regulation of gene expression process that activates a gene so that the gene is expressed at a particular time
term editor: YH, AR, JH
definition source: WEB: http://www.medilexicon.com/medicaldictionary.php?t=970

biochemical degradation
type: Class
subclass of: enzymatic reaction
definition: an enzymatic reaction that leads to the breakdown of a biochemical entity.
has literature mining keywords: degradation, degradations, degrade, degraded, degrades, degrading
term editor: YH, ZX

co-regulation of transcription
type: Class
subclass of: regulation of transcription
term editor: YH, AO
has literature mining keywords: transcription // combined action, transcription // results from // combined action
definition: a regulation of transcription process where two or more regulators regulate a gene transcription
example of literature mining keyword usage: "In vitro transcription experiments suggest that the differential pattern of cot gene expression results from the combined action of GerE and another transcription factor, SpoIIID." (Reference: http://www.ncbi.nlm.nih.gov/pubmed/10788508)

activation of gene transcription by high level protein
type: Class
subclass of: activation of gene transcription
example of literature mining keyword usage: "A low concentration of GerE activated cotB transcription by final sigma(K) RNA polymerase, whereas a higher concentration was needed to activate transcription of cotX or cotC." (Reference: http://www.ncbi.nlm.nih.gov/pubmed/10075739)
definition: an activation of gene transcription that is achieved by a high level of a protein
term editor: YH, AO
has literature mining keywords: high level // activated // transcription, high level // activate // transcription, high concentration // activated // transcription

promoter-based regulation of transcription
type: Class
subclass of: regulation of transcription
comment: Transcription factors bind to either enhancer or promoter regions of DNA adjacent to the genes that they regulate. Depending on the transcription factor, the transcription of the adjacent gene is either up- or down-regulated. (Ref: https://en.wikipedia.org/wiki/Transcription_factor).
term editor: YH, AO
has literature mining keywords: recognize // promoter, recognized // promoter, expressed // promoter, dependent // promoter. depdenent // promoter of (or proceding, procedes), repress // promoter, activate // promoter, regulate // promoter, regulated // promoter, stimulate // promoter, stimulate // transcription // promoter, induced // promoter
example of literature mining keyword usage: "The -10 and -35 sequences of the sigmaB- and sigmaF-dependent promoters of katX overlap, and the transcriptional start points used by EsigmaB and EsigmaF differ by only one nucleotide." (Reference: http://www.ncbi.nlm.nih.gov/pubmed/10503549)
definition: a regulation of transcription process through binding to a promoter or regulating the promoter binding activity

activation of gene transcription by phosphorylated protein
type: Class
subclass of: activation of gene transcription
has literature mining keywords: phosphorylated // activator // transcription, phosphorylated // activates // transcription, phosphorylated // activate // transcription, phosphorylated // activated // transcription
term editor: YH, AO
example of literature mining keyword usage: "Spo0A, which when phosphorylated is an activator of sigE transcription." (Reference: http://www.ncbi.nlm.nih.gov/pubmed/10383978)
definition: an activation of gene transcription that is achieved by a phosphorylated protein

human molecular catalysis
type: Class
subclass of: human molecular control interaction
term editor: YH

destabilization
type: Class
subclass of: negative regulation
definition: a negative regulation that results in a destabilization.
term editor: YH, ZX
has literature mining keywords: destabilization, destabilize, destabilized, destabilizes, destabilizing

gene expression inhibition
type: Class
subclass of: negative regulation of gene expression
definition: a negative regulation process that inhibits gene expression level
has literature mining keywords: inhibits // expression, inhibited // expression, suppressor // expression, suppress // expression, repress // expression, acts // repressor
example of literature mining keyword usage: "CtsR protein acts as a global repressor of the clpC operon." (Reference: http://www.ncbi.nlm.nih.gov/pubmed/9852015)
term editor: YH

dominant regulation
type: Class
subclass of: regulation
term editor: YH, ZX
has literature mining keywords: determine, determined, determines, determining, cause, caused, causes, causing, lead, leading, leads, led, govern, governed, governing, governs
definition: a regulation that one interactor has a dominant effect on the quality of another interactor. This differs from the accessory regulation.

protein dimerization
type: Class
subclass of: protein complex assembly
term editor: YH, ZX
definition: a protein complex assembly that involves two proteins that form a dimer.
has literature mining keywords: dimerize, dimerized, dimerizes, dimerizing

co-regulation
type: Class
subclass of: regulation
has literature mining keywords: co-regulation, co-regulated, co-regulate, co-regulating
term editor: YH
definition: a regulation process that involves in two interactors co-regulate a third interactor.

molecular complex
type: Class
subclass of: physical entity

disruption
type: Class
subclass of: negative regulation
definition: a negative regulation that results in a disruption.
term editor: YH, ZX
has literature mining keywords: disrupt, disrupted, disrupting, disrupts

dissociation
type: Class
subclass of: direct interaction
has literature mining keywords: dissociate, dissociated, dissociating, dissociation
term editor: YH, ZX

down-regulation
type: Class
subclass of: negative regulation
has literature mining keywords: down-regulate, down-regulated, down-regulates, down-regulating, down-regulation, downregulate, downregulated, downregulates, downregulating, downregulation, downmodulation, depress, depressed, depresses, depressing, suppress, suppressed, suppresses, suppressing, suppression, suppressor, repress, repressed, represses, repressing, repression, repressor, repressors
definition: a negative regulation that one interactor down-regulates another.
term editor: YH, ZX

gene expression up-regulation
type: Class
subclass of: positive regulation of gene expression
has literature mining keywords: essential for // up-regulation, up-regulated // expression, up-regulates // expression
definition: a positive regulation of gene expression process that up-regulates gene expression level
term editor: YH, AR

gene expression down-regulation
type: Class
subclass of: negative regulation of gene expression
definition: a negative regulation process that down-regulates gene expression level
term editor: YH
has literature mining keywords: down-regulated // expression, down-regulates // expression

induction of production
type: Class
subclass of: induction
definition: an induction that leads to the production of an entity
has literature mining keywords: induction of the production, induces the production, induced the production
term editor: YH
editor note: YH: For example, "IL-2 and IL-15 induced the production of IL-17 and IFN-γ in a dose dependent manner by PBMCs.”

elimination
type: Class
subclass of: negative regulation
term editor: YH, ZX
definition: a negative regulation that one interactor eliminates another.
has literature mining keywords: eliminate, eliminated, eliminates, eliminating, abolish, abolished, abolishes, abolishing, abrogation

bacterial conjugation
type: Class
subclass of: cell-cell interaction
term editor: YH
definition: a cell-cell interaction that the transfers genetic material between bacterial cells by direct cell-to-cell contact or by a bridge-like connection between two cells.
definition source: WEB: http://en.wikipedia.org/wiki/Bacterial_conjugation

hydrogen binding
type: Class
subclass of: direct interaction
definition source: WEB: http://www.ncbi.nlm.nih.gov/books/NBK22567/
term editor: YH
definition: Interaction leading to the formation of hydrogen bond between two molecules

regulation of assembly
type: Class
subclass of: regulation
subclass of: Restriction
  on property: regulates
  some values from: gene activation
has literature mining keywords: regulated // assembly
term editor: YH, AR, JH
definition: a regulation process where one gene product regulates an assembly process which forms an assembly having another gene product.

human molecular control interaction
type: Class
subclass of: human molecular interaction
definition: a human molecular interaction where one molecule controls another molecule.
term editor: YH

gene expression
type: Class
subclass of: process
has literature mining keywords: express, expressed, expresses, expressing, expression, expressions
definition: a biological interaction that uses the information from a gene to synthesize a functional gene product.
term editor: YH, ZX

accessory regulation
type: Class
subclass of: regulation
term editor: YH, ZX
has literature mining keywords: facilitate, facilitates, facilitating, faciliteted, help, helps, helped
definition: a positive regulation that one interactor facilitates a phenomenon such as a phenotype. This is an accessory effect not a major one.

positive regulation of protein activity
type: Class
subclass of: regulation of protein activity
alternative term: negative protein activity regulation
definition: a regulation of protein activitiy process that involves a positive regulation
term editor: YH, AO
has literature mining keywords: positively regulated // activity, positively regulates // activity, dependent // stimulation

host-pathogen interaction
type: Class
equivalent class: Class
  intersection of: interaction
  intersection of: Restriction
    on property: has participant
    some values from: pathogen
  intersection of: Restriction
    on property: has participant
    some values from: host
subclass of: interaction
subclass of: Restriction
  on property: has interaction type
  some values from: interaction
subclass of: Restriction
  on property: has participant
  some values from: host
subclass of: Restriction
  on property: has participant
  some values from: pathogen
definition: An interaction that involves a host (host organism or host cell) and pathogen organism at a specific condition.
term editor: YH

gene fusion
type: Class
subclass of: genetic interaction
definition: a genetic interaction that forms a hybrid gene formed from two previously separate genes. It can occur as the result of a translocation, interstitial deletion, or chromosomal inversion.
term editor: YH, ZX
has literature mining keywords: gene AND (fuse, fused, fuses, fusing)
definition source: WEB: http://en.wikipedia.org/wiki/Gene_fusion

host cell-pathogen interaction
type: Class
equivalent class: Class
  intersection of: host-pathogen interaction
  intersection of: Restriction
    on property: has participant
    some values from: Class
      intersection of: cell
      intersection of: Restriction
        on property: has role
        some values from: host role
subclass of: host-pathogen interaction
subclass of: Restriction
  on property: has participant
  some values from: Class
    intersection of: cell
    intersection of: Restriction
      on property: has role
      some values from: host role
term editor: YH
definition: An host-pathogen interaction where the host is a cell.

induction by binding to protein
type: Class
subclass of: induction
subclass of: Restriction
  on property: has participant
  some values from: protein
has keyword dependency pattern: YH, AO, JH
example of usage: The Salmonella invasin SipB induces macrophage apoptosis by binding to caspase-1
has literature mining keywords: induction ... by binding to // induces .. through binding// induced ... by binding to // caused ... by binding to // causes ... through ... binding
definition: an induction that is achieved by binding to a protein

macrophage-pathogen interaction
type: Class
equivalent class: Class
  intersection of: host cell-pathogen interaction
  intersection of: Restriction
    on property: has participant
    some values from: Class
      intersection of: macrophage
      intersection of: Restriction
        on property: has role
        some values from: host role
subclass of: host cell-pathogen interaction
subclass of: Restriction
  on property: has participant
  some values from: macrophage
definition: An host cell-pathogen interaction where the host cell is a macrophage.
term editor: YH

human molecular degradation
type: Class
subclass of: human molecular conversion
term editor: YH

protein heterodimerization
type: Class
subclass of: protein dimerization
has literature mining keywords: heterodimerize, heterodimerized, heterodimerizes, heterodimerizing
definition: a protein dimerization where two proteins are different.
term editor: YH, ZX

protein homodimerization
type: Class
subclass of: protein dimerization
term editor: YH, ZX
has literature mining keywords: homodimerize, homodimerized, homodimerizes, homodimerizing
definition: a protein dimerization where two proteins are the same.

macrophage-pathogen protein-protein interaction
type: Class
equivalent class: Class
  intersection of: macrophage-pathogen protein-protein interaction
  intersection of: Restriction
    on property: has participant
    some values from: Class
      intersection of: protein
      intersection of: Restriction
        on property: part of
        some values from: pathogen
  intersection of: Restriction
    on property: has participant
    some values from: Class
      intersection of: protein
      intersection of: Restriction
        on property: part of
        some values from: host
subclass of: macrophage-pathogen interaction
subclass of: Restriction
  on property: has participant
  some values from: Class
    intersection of: protein
    intersection of: Restriction
      on property: part of
      some values from: host
subclass of: Restriction
  on property: has participant
  some values from: Class
    intersection of: protein
    intersection of: Restriction
      on property: part of
      some values from: pathogen
term editor: YH
example of usage: The Salmonella invasin SipB induces macrophage apoptosis by binding to caspase-1. From: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC26795/
definition: A macrophage-pathogen interaction that involves a macrophage protein and a pathogen protein.
alternative term: macrophage-pathogen PPI

overexpression
type: Class
subclass of: gene expression
alternative term: increased gene expression
definition: a gene expression that has increased volume.
alternative term: overexpression
term editor: YH, ZX
has literature mining keywords: hyper-expression, hyperactivate, hyperactivated, hyperactivates, hyperactivation, hyperexpression, overexpression

hyperphosphorylation
type: Class
subclass of: phosphorylation
has literature mining keywords: hyperphosphorylate, hyperphosphorylated, hyperphosphorylates, hyperphosphorylation
term editor: YH, ZX

immuno-precipitation
type: Class
subclass of: translocation
has literature mining keywords: immuno-precipitate, immuno-precipitated, immuno-precipitates, immuno-precipitating, immuno-precipitation, immunoprecipitate, immunoprecipitated, immunoprecipitates, immunoprecipitating, immunoprecipitation, immunopreticipate, immunopreticipated, immunopreticipates, immunopreticipating
definition: a translocation that one interactor is precipitated based on an immunological precipitation process.
term editor: YH, ZX

positive regulation
type: Class
subclass of: regulation
term editor: YH, ZX
editor note: YH: different types of positive regulations exist. These types are related to different qualities and phenotyes of regulated targets.
has literature mining keywords: positively regulate, positive regulations, positively regulated, positively regulating, promote, promoted, promotes, promoting

impairment
type: Class
subclass of: negative regulation
has literature mining keywords: impair, impaired, impairing, impairs, cripple, crippled, cripples, crippling, sever, severed, severs
term editor: YH, ZX
definition: A negative regulation that disables, damages, or impairs the functioning of another entity.

inactivation
type: Class
subclass of: negative regulation
has literature mining keywords: inactivate, inactivated, inactivates, inactivating, inactivation
term editor: YH, ZX
definition: a negative regulation that one interactor inactivates another.

increase
type: Class
subclass of: positive regulation
has literature mining keywords: increase, increased, increases, increasing, augment, augmented, augmenting, augments, elavating, elevate, elevated, elevates, elevating, raise, raised, raises, raising, enhance, enhanced, enhances, enhancing, enhancement
alternative term: augmentation
term editor: YH, ZX
definition: a positive regulation that leads to the increase of a quality of an entity.
alternative term: enhancement
alternative term: elavation

human molecular synthesis
type: Class
subclass of: human molecular interaction

induction
type: Class
subclass of: positive regulation
has literature mining keywords: induce, induced, induces, inducing, induction, trigger, triggered, triggering, triggerring, triggers, initiate, initiated, initiates, initiating, stimulate, stimulation, stimulated, stimulating, dependent // inducible
alternative term: leading
definition: a positive regulation that leads to the induction of a new interactor due to the presence of another interactor.
alternative term: triggering
term editor: YH, ZX

human molecular regulatory reaction
type: Class
subclass of: human molecular interaction

inhibition
type: Class
subclass of: negative regulation
term editor: YH, ZX
definition: a negative regulation that one interactor inhibites another.
has literature mining keywords: inhibit, inhibited, inhibiting, inhibition, inhibitor, inhibitors, inhibits, block, blocked, blocking, blocks

input interactor
type: Class
equivalent class: Restriction
  on property: has role
  some values from: input interactor role
subclass of: interactor
term editor: YH
definition: an interactor that is an input of an interaction.

interference
type: Class
subclass of: negative regulation
has literature mining keywords: interfere, interferes, interfered, interfering, perturb, perturbed, perturbing, perturbs, obstruction
term editor: YH, ZX
definition: a negative regulation that one interactor interferes a process.

human molecular modulation
type: Class
subclass of: human molecular control interaction
term editor: YH

human template reaction regulation
type: Class
subclass of: human molecular control interaction
term editor: YH

host gene mutant-pathogen interaction
type: Class
equivalent class: Class
  intersection of: host-pathogen interaction
  intersection of: Restriction
    on property: has participant
    some values from: Class
      intersection of: host
      intersection of: Restriction
        on property: lacks part
        some values from: gene
subclass of: host-pathogen interaction
subclass of: Restriction
  on property: has participant
  some values from: Class
    intersection of: host
    intersection of: Restriction
      on property: lacks part
      some values from: gene
term editor: YH
definition: An host-pathogen interaction where the host is a gene mutant

human molecular conversion
type: Class
subclass of: human molecular interaction
term editor: YH
definition: a human molecular interaction where one molecule converts to another molecule.

human molecular template reaction
type: Class
subclass of: human molecular interaction

small molecule
type: Class
subclass of: physical entity

host
type: Class
equivalent class: Class
  intersection of: material entity
  intersection of: Restriction
    on property: has role
    some values from: host role
subclass of: material entity
subclass of: Restriction
  on property: has role
  some values from: host role
definition: An organism bearing a host role.

positive regulator role
type: Class
subclass of: regulator role
definition: an interactor role that is borne by a material entity that positively regulates an interaction.
term editor: YH

pathway step
type: Class
subclass of: data item

negative regulator role
type: Class
subclass of: regulator role
term editor: YH
definition: an interactor role that is borne by a material entity that negatively regulates an interaction.

macrophage-pathogen PPI inducing cell death
type: Class
subclass of: macrophage-pathogen protein-protein interaction
subclass of: Restriction
  on property: has participant
  some values from: Class
    intersection of: protein
    intersection of: Restriction
      on property: part of
      some values from: pathogen
subclass of: Restriction
  on property: has participant
  some values from: Class
    intersection of: protein
    intersection of: Restriction
      on property: part of
      some values from: host
subclass of: Restriction
  on property: causally upstream of
  some values from: cell death
definition: A macrophage-pathogen protein-protein interaction that induces cell death.
example of usage: The Salmonella invasin SipB induces macrophage apoptosis by binding to caspase-1. From: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC26795/
term editor: YH

neutralization
type: Class
subclass of: direct interaction
has literature mining keywords: neutralise, neutralised, neutralises, neutralising, neutralize, neutralized, neutralizes, neutralizing
term editor: YH, ZX
definition: a biochemical reaction that one interactor neutrolizes another.

positive regulator
type: Class
equivalent class: Restriction
  on property: has role
  some values from: positive regulator role
subclass of: interaction regulator
term editor: YH
definition: an interaction regulator that positively regulates an interaction.

oxidation
type: Class
subclass of: enzymatic reaction
has literature mining keywords: oxidate, oxidated, oxidates, oxidating, oxidation, oxidise, oxidised, oxidises, oxidising, oxidize, oxidized, oxidizes, oxidizing
term editor: YH, ZX
editor note: an enzymatic reaction where a molecule gains oxygen.

host-pathogen mutant interaction
type: Class
equivalent class: Class
  intersection of: host-pathogen interaction
  intersection of: Restriction
    on property: has participant
    some values from: Class
      intersection of: pathogen
      intersection of: Restriction
        on property: lacks part
        some values from: gene
subclass of: host-pathogen interaction
subclass of: Restriction
  on property: has participant
  some values from: Class
    intersection of: pathogen
    intersection of: Restriction
      on property: lacks part
      some values from: gene
definition: An host-pathogen interaction where the pathogen is a gene mutant
term editor: YH

negative regulator
type: Class
equivalent class: Restriction
  on property: has role
  some values from: negative regulator role
subclass of: interaction regulator
term editor: YH
definition: an interaction regulator that negatively regulates an interaction.

deactivator role
type: Class
subclass of: negative regulator role
definition: a negative regulator role that is borne by a material entity that deactivates, inhibits, blocks, or disrupts the action of a biological agent (e.g., enzyme).
term editor: YH

macrophage-pathogen interaction
type: Class
equivalent class: Class
  intersection of: host cell-pathogen interaction
  intersection of: Restriction
    on property: has participant
    some values from: Class
      intersection of: macrophage
      intersection of: Restriction
        on property: has role
        some values from: host role
subclass of: host cell-pathogen interaction
subclass of: Restriction
  on property: has participant
  some values from: macrophage
term editor: YH
definition: An host cell-pathogen interaction where the host is a macrophage cell

motivator role
type: Class
subclass of: input interactor role
definition source: https://en.wikipedia.org/wiki/Motivation#Herzberg's_two-factor_theory
term editor: Oliver He
definition: an input interactor role that is borne by a material entity that motivates a process.

precedence
type: Class
subclass of: association
term editor: YH, ZX
definition: an indirect association that one interactor is preceded by another interactor.
has literature mining keywords: precede, preceded, precedes, preceding

prevention
type: Class
subclass of: negative regulation
has literature mining keywords: prevent, prevented, preventing, prevents
term editor: YH, ZX

hygiene factor role
type: Class
subclass of: input interactor role
term editor: Oliver He
definition: an input interactor role that is borne by a material entity (e.g. status, job security, salary and fringe benefits) that do not motivate if present, but, if absent, result in demotivation.
definition source: https://en.wikipedia.org/wiki/Motivation#Herzberg's_two-factor_theory

output interactor
type: Class
equivalent class: Restriction
  on property: has role
  some values from: output interactor role
subclass of: interactor
definition: an interactor that is an output of an interaction.
term editor: YH

epithelial cell-pathogen interaction
type: Class
equivalent class: Class
  intersection of: host cell-pathogen interaction
  intersection of: Restriction
    on property: has participant
    some values from: Class
      intersection of: epithelial cell
      intersection of: Restriction
        on property: has role
        some values from: host role
subclass of: host cell-pathogen interaction
subclass of: Restriction
  on property: has participant
  some values from: epithelial cell
term editor: YH
definition: An host cell-pathogen interaction where the host is an epithelial cell

reactivation
type: Class
subclass of: activation
has literature mining keywords: reactivate, reactivated, reactivates, reactivating, reactivation
definition: an activation that repeats.
term editor: YH, ZX

recruitment
type: Class
subclass of: regulation
has literature mining keywords: recruit, recruite, recruited, recruites, recruiting, recruits
definition: a positive regulation that leads the recruitment of one interactor from one location to another.
term editor: YH, ZX

epithelial cell-pathogen protein-protein interaction
type: Class
subclass of: epithelial cell-pathogen interaction
subclass of: Restriction
  on property: has participant
  some values from: Class
    intersection of: protein
    intersection of: Restriction
      on property: part of
      some values from: host
subclass of: Restriction
  on property: has participant
  some values from: Class
    intersection of: protein
    intersection of: Restriction
      on property: part of
      some values from: pathogen
term editor: YH
example of usage: We show that caspase-2 functions as an initiator caspase during Staphylococcus aureus α-toxin- and Aeromonas aerolysin-mediated apoptosis in epithelial cells. From: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3365430/
alternative term: epithelial cell-pathogen PPI

regulation
type: Class
subclass of: association
subclass of: Restriction
  on property: has participant
  some values from: Class
    intersection of: entity
    intersection of: Restriction
      on property: has role
      some values from: regulator role
term editor: YH, ZX, AO, JH
has literature mining keywords: regulate, regulated, regulates, regulating, regulation, regulator, modulate, modulated, modulates, modulating, modulation, mediate, mediated, mediates, mediating, influence, influenced, influences, influencing, affect, affected, affecting, affects, impact, impacted, impacting, impacts, effect, effected, effecting, effects, require, required, requires, requiring, respond, responded, responding, responds, responsive, change, changed, changes, changing, alter, altered, altering, alters, modified, modifies, modify, modifying, depend, depended, depending, depends, direct, directed, directing, directs, drive, driven, drives, driving, cause, caused, causes, causing, lead, leading, leads, led, target, targeted, targeting, targets, dependent, essential for
definition: A regulation represents a regulatory interaction between two interactors.
see also: GO: GO_0065007

interaction network model
type: Class
subclass of: information content entity
definition source: https://en.wikipedia.org/wiki/Interactome
definition: An information content entity that models interaction network

stabilization
type: Class
subclass of: positive regulation
has literature mining keywords: stabilization, stabilize, stabilized, stabilizes, stabilizing
term editor: YH, ZX
definition: a postive interaction that one interactor increases the stability of another interactor.

synergization
type: Class
subclass of: co-regulation
definition: a regulation process that involves in two interactors that are synergized in affecting a phenomenon (e.g., phenotype).
term editor: YH, ZX
has literature mining keywords: synergise, synergised, synergises, synergising, synergize, synergized, synergizes, synergizing

termination
type: Class
subclass of: negative regulation
has literature mining keywords: terminate, terminated, terminates, terminating
term editor: YH, ZX
definition: a negative regulation that leads to a process termination.

transactivation
type: Class
subclass of: gene expression regulation
term editor: YH, ZX
definition source: WEB: http://en.wikipedia.org/wiki/Transactivation
has literature mining keywords: trans-activate, trans-activated, trans-activates, trans-activating, trans-activation, trans-activator, trans-activators, transactivate, transactivated, transactivates, transactivating, transactivation, transactivator, transactivators
definition: a gene expression regulation that leads to an increased rate of gene expression triggered either by biological processes or by artificial means.

gene transcription
type: Class
subclass of: gene expression
subclass of: Restriction
  on property: has input
  some values from: gene
subclass of: Restriction
  on property: has input
  some values from: RNA
definition source: WEB: http://en.wikipedia.org/wiki/Transcription_%28genetics%29
has literature mining keywords: transcribe, transcribed, transcribes, transcribing, transcription
definition: an interaction process that creates a complementary RNA copy of a sequence of DNA.
term editor: YH

genetic transduction
type: Class
subclass of: cell-cell interaction
definition: a cell-cell interaction that transfers viral, bacterial, or both bacterial and viral DNA from one cell to another using a bacteriophage vector.
has literature mining keywords: transduce, transduced, transducer, transducers, transduces, transducing, transduction
term editor: YH, ZX

translocation
type: Class
subclass of: process
has literature mining keywords: translocation, transloated, translocating, translocates, migrated, migration, migrates migrating, mobilization, mobilize, mobilized, mobilizes, mobilizing, mobilisation, mobilise, mobilised, mobilises, mobilising
definition: A process that changes the location of a material entity.
term editor: YH, ZX

tyrosine-phosphorylation
type: Class
subclass of: phosphorylation
has literature mining keywords: tyrosine-phosphorylated
term editor: YH, ZX

co-expression
type: Class
subclass of: correlation
term editor: YH
editor note: a correlation association that two genes are co-expressed in a system.

deregulation
type: Class
subclass of: negative regulation
term editor: YH
definition: a negative regulation that results in the deregulation of one interactor on a process.

one-way interaction
type: Class
subclass of: interaction
definition: A one-way interaction is an interaction that shows one direction between interactors.
term editor: YH

export
type: Class
subclass of: translocation
term editor: YH
definition: a translocation that one interactor exports from one location

import
type: Class
subclass of: translocation
term editor: YH
definition: a translocation that one interactor imports from one location

secretion
type: Class
subclass of: translocation
term editor: YH
definition: a translocation that one interactor secretes from the inside of another interactor

protein-protein interaction
type: Class
subclass of: interaction
term editor: YH, ZX
definition: an interaction between two proteins.

gene-protein interaction
type: Class
subclass of: interaction
definition: an interaction that involves in a gene DNA and a protein
term editor: YH, ZX

acetylation reaction
type: Class
subclass of: enzymatic reaction
id: MI:0192
has_obo_namespace: PSI-MI
definition: Reaction, that can affect K,C,A,D,E,Q,G,I,K,M,P,S,T,Y,V residues.
has_exact_synonym: acetylation
imported from: mi.owl
in_subset: PSI-MI slim

amidation reaction
type: Class
subclass of: enzymatic reaction
definition: Irreversible reaction that can affect A,R,N,D,C,Q,E,G,H,I,L,K,M,F,P,S,T,W,Y or V residues.
id: MI:0193
has_obo_namespace: PSI-MI
has_exact_synonym: amidation
imported from: mi.owl
in_subset: PSI-MI slim

cleavage reaction
type: Class
subclass of: enzymatic reaction
definition: Covalent bond breakage in a molecule leading to the formation of smaller molecules.
id: MI:0194
has_obo_namespace: PSI-MI
has_exact_synonym: cleavage
imported from: mi.owl
in_subset: PSI-MI slim

covalent binding
type: Class
subclass of: direct interaction
definition: Interaction leading to the formation of covalent bond within an autocatalytic molecule or between partners.
id: MI:0195
has_obo_namespace: PSI-MI
imported from: mi.owl
in_subset: PSI-MI slim

deacetylation reaction
type: Class
subclass of: enzymatic reaction
id: MI:0197
definition: N6-acetyl-L-lysine or S-acetyl-L-cysteine are cleaved and return K or C residues.
has_obo_namespace: PSI-MI
has_exact_synonym: deacetylation
imported from: mi.owl
in_subset: PSI-MI slim

defarnesylation reaction
type: Class
subclass of: lipid cleavage reaction
id: MI:0198
has_obo_namespace: PSI-MI
definition: S-farnesyl-L-cysteined is cleaved and returns a C residue.
has_exact_synonym: defarnesylation
imported from: mi.owl
in_subset: PSI-MI slim

deformylation reaction
type: Class
subclass of: enzymatic reaction
id: MI:0199
definition: N6-formyl-L-lysine is cleaved and returns a K residue.
has_obo_namespace: PSI-MI
has_exact_synonym: deformylation
imported from: mi.owl
in_subset: PSI-MI slim

degeranylation reaction
type: Class
subclass of: lipid cleavage reaction
id: MI:0200
has_obo_namespace: PSI-MI
definition: S-geranylgeranyl-L-cysteine is cleaved and returns a C residue.
has_exact_synonym: degeranylation
imported from: mi.owl
in_subset: PSI-MI slim

demyristoylation reaction
type: Class
subclass of: lipid cleavage reaction
id: MI:0201
definition: N6-myristoyl-L-lysine is cleaved and returns a K residue.
has_obo_namespace: PSI-MI
has_exact_synonym: demyristoylation
imported from: mi.owl
in_subset: PSI-MI slim

depalmitoylation reaction
type: Class
subclass of: lipid cleavage reaction
id: MI:0202
has_obo_namespace: PSI-MI
definition: S-palmitoyl-L-cysteine, N6-palmitoyl-L-lysine, O-palmitoyl-L-threonine or O-palmitoyl-L-serine are cleaved and return C,K,T or S residues.
has_exact_synonym: depalmitoylation
imported from: mi.owl
in_subset: PSI-MI slim

dephosphorylation reaction
type: Class
subclass of: enzymatic reaction
id: MI:0203
has_obo_namespace: PSI-MI
definition: Phosphoresidues are cleaved and return D,C,H,S,T,Y or R residues.
has_exact_synonym: dephosphorylation
imported from: mi.owl
in_subset: PSI-MI slim

deubiquitination reaction
type: Class
subclass of: enzymatic reaction
definition: Cleavage of the G-K bond and release of ubiquitin or ubiquitin like proteins.
id: MI:0204
has_obo_namespace: PSI-MI
has_exact_synonym: deubiquitination
imported from: mi.owl
in_subset: PSI-MI slim

farnesylation reaction
type: Class
subclass of: lipid addition
id: MI:0206
has_obo_namespace: PSI-MI
definition: Reversible reaction that can affect C residue.
has_exact_synonym: farnesylation
imported from: mi.owl
in_subset: PSI-MI slim

formylation reaction
type: Class
subclass of: enzymatic reaction
id: MI:0207
has_obo_namespace: PSI-MI
definition: Reaction that can affect K or G residues. Reside is functionalised with a formyl group.
has_exact_synonym: formylation
imported from: mi.owl
in_subset: PSI-MI slim

genetic interaction
type: Class
subclass of: interaction
id: MI:0208
has_obo_namespace: PSI-MI
imported from: mi.owl
in_subset: PSI-MI slim

geranylgeranylation reaction
type: Class
subclass of: lipid addition
definition: Attachment of one or two 20-carbon lipophilic geranylgeranyl isoprene units from geranylgeranyl diphosphate to one or more cysteine residue(s).Reversible reaction that can affect C residue.
id: MI:0209
has_obo_namespace: PSI-MI
has_exact_synonym: geranylgeranylation
imported from: mi.owl
in_subset: PSI-MI slim

hydroxylation reaction
type: Class
subclass of: enzymatic reaction
definition: Irreversible introduction of a hydroxyl group that can affect K,P,Y or R residues. Hydroxylation is the first step in the oxidative degeneration of organic compounds.
id: MI:0210
has_obo_namespace: PSI-MI
has_exact_synonym: hydroxylation
imported from: mi.owl
in_subset: PSI-MI slim

lipid addition
type: Class
subclass of: enzymatic reaction
definition: Covalent or non covalent binding of lipid group on a protein residue.
id: MI:0211
has_obo_namespace: PSI-MI
imported from: mi.owl
in_subset: PSI-MI slim

lipid cleavage reaction
type: Class
subclass of: cleavage reaction
definition: Cleavage of a lipid group covalently bound to a protein residue.
id: MI:0212
has_obo_namespace: PSI-MI
has_exact_synonym: lipid cleavage
imported from: mi.owl
in_subset: PSI-MI slim

methylation reaction
type: Class
subclass of: enzymatic reaction
id: MI:0213
has_obo_namespace: PSI-MI
definition: The covalent attachment of a methyl residue to one or more monomeric units in a polypeptide, polynucleotide, polysaccharide, or other biological polymer. Irreversible reaction that can affect A,G,M,F,P,C,R,N,Q,E,H,or K residues.
has_exact_synonym: methylation
imported from: mi.owl
in_subset: PSI-MI slim

palmitoylation reaction
type: Class
subclass of: lipid addition
definition: Covalent attachment of palmitic acid to the cysteine residues of membrane proteins. Reversible reaction that can affect C,K,T or S residues.
id: MI:0216
has_obo_namespace: PSI-MI
has_exact_synonym: palmitoylation
imported from: mi.owl
in_subset: PSI-MI slim

ubiquitination reaction
type: Class
subclass of: enzymatic reaction
id: MI:0220
has_obo_namespace: PSI-MI
definition: Reversible reaction that create a covalent bond between a C-terminus G of ubiquitin and a K residue of the target.
has_exact_synonym: ubiquitination
imported from: mi.owl
in_subset: PSI-MI slim

colocalization
type: Class
subclass of: interaction
definition: Coincident occurrence of molecules in a given subcellular fraction observed with a low resolution methodology from which a physical interaction among those molecules cannot be inferred.
id: MI:0403
has_obo_namespace: PSI-MI
imported from: mi.owl
in_subset: PSI-MI slim

direct interaction
type: Class
subclass of: physical association
definition: Interaction between molecules that are in direct contact with each other.
id: MI:0407
has_obo_namespace: PSI-MI
imported from: mi.owl
in_subset: PSI-MI slim

disulfide bond
type: Class
subclass of: covalent binding
definition: Covalent bond mediated by 2 sulfur atoms.
id: MI:0408
has_obo_namespace: PSI-MI
imported from: mi.owl
in_subset: PSI-MI slim

enzymatic reaction
type: Class
subclass of: direct interaction
has_exact_synonym: Biochemical reaction
id: MI:0414
has_obo_namespace: PSI-MI
definition: terms aiming to represent biochemical reactions referring to their resulting product modifications.
imported from: mi.owl
in_subset: PSI-MI slim

transglutamination reaction
type: Class
subclass of: covalent binding
definition: Gln-Lys cross-link catalyzed by a transglutaminase.
id: MI:0556
has_obo_namespace: PSI-MI
has_exact_synonym: transglutamination
imported from: mi.owl
in_subset: PSI-MI slim

adp ribosylation reaction
type: Class
subclass of: enzymatic reaction
definition: Involves the addition of one or more ADP-ribose moieties to proteins. Reaction that can affect Arg, Cys, Glu, Arg and Asn residues.
id: MI:0557
has_obo_namespace: PSI-MI
has_exact_synonym: adp ribosylation
imported from: mi.owl
in_subset: PSI-MI slim

deglycosylation reaction
type: Class
subclass of: enzymatic reaction
id: MI:0558
has_obo_namespace: PSI-MI
definition: Reaction catalyzed by PNGase, a deglycosylating enzyme that promotes the hydrolysis of the beta-aspartylglycosylamine bond of aspargine-linked glycopeptides and glycoproteins.
has_exact_synonym: deglycosylation
imported from: mi.owl
in_subset: PSI-MI slim

glycosylation reaction
type: Class
subclass of: enzymatic reaction
id: MI:0559
has_obo_namespace: PSI-MI
definition: The covalent attachment of a glycosyl residue to one or more monomeric units in a polypeptide, polynucleotide, polysaccharide, or other biological polymer. Reaction that can affect Ser, Thr, Cys, Arg, and Asn residues. This reaction is known to be reversible in the case of Asn substrate.
has_exact_synonym: glycosylation
imported from: mi.owl
in_subset: PSI-MI slim

sumoylation reaction
type: Class
subclass of: enzymatic reaction
id: MI:0566
has_obo_namespace: PSI-MI
definition: Reversible reaction that create a covalent bond between a C-terminus G of an ubiquitine like sumo protein and a K residue of the target.
has_exact_synonym: sumoylation
imported from: mi.owl
in_subset: PSI-MI slim

neddylation reaction
type: Class
subclass of: enzymatic reaction
id: MI:0567
has_obo_namespace: PSI-MI
definition: Reversible reaction that create a covalent bond between a Glycine residue of an ubiquitine like NEDD8 protein and a lysine residue of the target.
has_exact_synonym: neddylation
imported from: mi.owl
in_subset: PSI-MI slim

desumoylation reaction
type: Class
subclass of: enzymatic reaction
definition: Cleavage of the G-K bond and release of the SUMO ubiquitin like proteins.
id: MI:0568
has_obo_namespace: PSI-MI
has_exact_synonym: desumoylation
imported from: mi.owl
in_subset: PSI-MI slim

deneddylation reaction
type: Class
subclass of: enzymatic reaction
definition: Cleavage of the G-K bond and release of the NEDD8 ubiquitin like proteins. Deneddylation, which removes the NEDD8 moiety, requires the isopeptidase activity of the COP9 signalosome.
id: MI:0569
has_obo_namespace: PSI-MI
has_exact_synonym: deneddylation
imported from: mi.owl
in_subset: PSI-MI slim

protein cleavage
type: Class
subclass of: cleavage reaction
definition: Covalent modification of a polypeptide occuring during its maturation or its proteolytic degradation.
id: MI:0570
has_obo_namespace: PSI-MI
imported from: mi.owl
in_subset: PSI-MI slim

mrna cleavage
type: Class
subclass of: rna cleavage
definition: Any process by which a pre-mRNA or mRNA molecule is cleaved at specific sites or in a regulated manner.
id: MI:0571
has_obo_namespace: PSI-MI
imported from: mi.owl
in_subset: PSI-MI slim

dna cleavage
type: Class
subclass of: nucleic acid cleavage
definition: Covalent bond breakage of a DNA molecule leading to the formation of smaller fragments.
id: MI:0572
has_obo_namespace: PSI-MI
imported from: mi.owl
in_subset: PSI-MI slim

dna strand elongation
type: Class
subclass of: nucleic acid strand elongation reaction
has_exact_synonym: DNA replication elongation
id: MI:0701
has_obo_namespace: PSI-MI
definition: The process by which a DNA strand is synthesized from template DNA by the action of polymerases, which add nucleotides to the 3' end of the nascent DNA strand.
has_exact_synonym: dna elongation
imported from: mi.owl
in_subset: PSI-MI slim

synthetic
type: Class
subclass of: negative genetic interaction
id: MI:0794
has_obo_namespace: PSI-MI
has_exact_synonym: synthetic genetic interaction (sensu inequality)
has_exact_synonym: synthetic genetic interaction defined by inequality
imported from: mi.owl
in_subset: PSI-MI slim

asynthetic
type: Class
subclass of: positive genetic interaction
id: MI:0795
has_obo_namespace: PSI-MI
has_exact_synonym: asynthetic
has_exact_synonym: asynthetic genetic interaction (sensu inequality)
imported from: mi.owl
in_subset: PSI-MI slim

suppression
type: Class
subclass of: positive genetic interaction
has_related_synonym: Alleviating interaction
id: MI:0796
has_obo_namespace: PSI-MI
has_exact_synonym: suppression
has_exact_synonym: suppressive genetic interaction (sensu inequality)
imported from: mi.owl
in_subset: PSI-MI slim

epistasis
type: Class
subclass of: genetic interaction
id: MI:0797
has_obo_namespace: PSI-MI
has_exact_synonym: epistatic
has_exact_synonym: epistatic genetic interaction (sensu inequality)
imported from: mi.owl
in_subset: PSI-MI slim

phosphotransfer reaction
type: Class
subclass of: enzymatic reaction
id: MI:0844
has_obo_namespace: PSI-MI
definition: Reaction where a phosphate is transferred between two proteins of a phosphorelay system.
has_exact_synonym: phosphotransfer
imported from: mi.owl
in_subset: PSI-MI slim

demethylation reaction
type: Class
subclass of: enzymatic reaction
id: MI:0871
has_obo_namespace: PSI-MI
definition: The cleavage of a methyl group from a polypeptide. Methylation is generally an irreversible reaction except in mamalian.
has_exact_synonym: demethylation
imported from: mi.owl
in_subset: PSI-MI slim

nucleoside triphosphatase reaction
type: Class
subclass of: enzymatic reaction
definition: Catalysis of the hydrolysis of a nucleoside triphosphate into a nucleoside diphosphate plus phosphate.
id: MI:0881
has_obo_namespace: PSI-MI
has_exact_synonym: triphosphatase react
imported from: mi.owl
in_subset: PSI-MI slim

atpase reaction
type: Class
subclass of: nucleoside triphosphatase reaction
definition: Catalysis of the hydrolisis of ATP+ H2O = ADP + phosphate.
id: MI:0882
has_obo_namespace: PSI-MI
imported from: mi.owl
in_subset: PSI-MI slim

gtpase reaction
type: Class
subclass of: nucleoside triphosphatase reaction
definition: Catalysis of the hydrolisis of GTP+ H2O = GDP + phosphate.
id: MI:0883
has_obo_namespace: PSI-MI
imported from: mi.owl
in_subset: PSI-MI slim

rna cleavage
type: Class
subclass of: nucleic acid cleavage
definition: Any process by which an RNA molecule is cleaved at specific sites or in a regulated manner.
id: MI:0902
has_obo_namespace: PSI-MI
imported from: mi.owl
in_subset: PSI-MI slim

nucleic acid cleavage
type: Class
subclass of: cleavage reaction
definition: Covalent bond breakage of a nucleic acid molecule leading to the formation of smaller fragments.
id: MI:0910
has_obo_namespace: PSI-MI
has_exact_synonym: ncl acid cleavage
imported from: mi.owl
in_subset: PSI-MI slim

association
type: Class
subclass of: interaction
definition: Interaction between molecules that may participate in formation of one, but possibly more, physical complexes. Often describes a set of molecules that are co-purified in a single pull-down or coimmunoprecipitation but might participate in formation of distinct physical complexes sharing a common bait.
id: MI:0914
has_obo_namespace: PSI-MI
imported from: mi.owl
in_subset: PSI-MI slim

physical association
type: Class
subclass of: association
definition: Interaction between molecules within the same physical complex. Often identified under conditions which suggest that the molecules are in close proximity but not necessarily in direct contact with each other.
id: MI:0915
has_obo_namespace: PSI-MI
imported from: mi.owl
in_subset: PSI-MI slim

noninteractive
type: Class
subclass of: neutral genetic interaction
id: MI:0932
has_obo_namespace: PSI-MI
definition: The observation that, when tested, no interaction was observed between two or more genes, for a given phenotype. In other words, the phenotype of the combined perturbations a and b result in the expected phenotype.
has_exact_synonym: noninteractive genetic interaction (sensu inequality)
has_exact_synonym: noninteractive genetic interaction defined by inequality
imported from: mi.owl
in_subset: PSI-MI slim

negative genetic interaction
type: Class
subclass of: genetic interaction
id: MI:0933
has_obo_namespace: PSI-MI
has_exact_synonym: negative gen int
imported from: mi.owl
in_subset: PSI-MI slim

neutral genetic interaction
type: Class
subclass of: genetic interaction
id: MI:0934
has_obo_namespace: PSI-MI
has_exact_synonym: neutral gent int
imported from: mi.owl
in_subset: PSI-MI slim

positive genetic interaction
type: Class
subclass of: genetic interaction
id: MI:0935
has_obo_namespace: PSI-MI
has_exact_synonym: positive gent int
imported from: mi.owl
in_subset: PSI-MI slim

oxidoreductase activity electron transfer reaction
type: Class
subclass of: enzymatic reaction
definition: An oxidation-reduction (redox) reaction, a reversible chemical reaction in which the oxidation state of an atom or atoms within a molecule is altered. One substrate acts as a hydrogen or electron donor and becomes oxidized, while the other acts as hydrogen or electron acceptor and becomes reduced.
id: MI:0945
has_obo_namespace: PSI-MI
has_exact_synonym: redox reaction
imported from: mi.owl
in_subset: PSI-MI slim

phosphopantetheinylation
type: Class
subclass of: enzymatic reaction
creation date: 2009-10-28T01:20:40Z
id: MI:0971
has_obo_namespace: PSI-MI
definition: The posttranslational phosphopantetheinylation of peptidyl-serine to form peptidyl-O-phosphopantetheine-L-serine.
created by: orchard
has_exact_synonym: p_patetheinylation
imported from: mi.owl
in_subset: PSI-MI slim

deamination reaction
type: Class
subclass of: enzymatic reaction
creation date: 2010-04-26T10:49:06Z
id: MI:0985
has_obo_namespace: PSI-MI
definition: The removal of an amine group from a molecule.
has_exact_synonym: deamination
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

nucleic acid strand elongation reaction
type: Class
subclass of: enzymatic reaction
creation date: 2010-04-26T10:52:22Z
id: MI:0986
has_obo_namespace: PSI-MI
definition: The lengthening of a strand of a nucleic acid by the systematic addition of bases by a polymerase.
created by: orchard
has_exact_synonym: strand elongation
imported from: mi.owl
in_subset: PSI-MI slim

rna strand elongation
type: Class
subclass of: nucleic acid strand elongation reaction
creation date: 2010-04-26T11:00:08Z
id: MI:0987
has_obo_namespace: PSI-MI
definition: The process by which an RNA strand is synthesized from template DNA by the action of polymerases, which add nucleotides to the 3' end of the nascent RNA strand.
created by: orchard
has_exact_synonym: rna elongation
imported from: mi.owl
in_subset: PSI-MI slim

diphtamidation reaction
type: Class
subclass of: enzymatic reaction
creation date: 2010-11-11T12:36:51Z
definition: A modification that converts an L-histidine residue to diphthamide.
id: MI:1027
has_obo_namespace: PSI-MI
has_exact_synonym: diphthamidation
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

predicted interaction
type: Class
subclass of: interaction
creation date: 2011-08-03T11:14:11Z
definition: Interaction has been predicted by either interologue mapping, by an algorithm or by a computational method.
id: MI:1110
has_obo_namespace: PSI-MI
created by: orchard
has_exact_synonym: predicted
imported from: mi.owl
in_subset: PSI-MI slim

self interaction
type: Class
subclass of: direct interaction
creation date: 2012-01-03T01:19:22Z
definition: Intra-molecular interaction between two or more regions of the same molecule.
id: MI:1126
has_obo_namespace: PSI-MI
comment: The corresponding experimental role will be self/putative self. Not to be used for autocatalysis, when the additional biological role self/putative self will supply this information.
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

putative self interaction
type: Class
subclass of: direct interaction
creation date: 2012-01-03T01:21:58Z
definition: Interaction between two or more regions of possibly the same molecule but it is also possible that the observation is due to an interaction between two identical molecules.
id: MI:1127
has_obo_namespace: PSI-MI
comment: The corresponding experimental role should be self/putative self. Not to be used for autocatalysis, when the additional biological role self/putative self will supply this information.
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

carboxylation reaction
type: Class
subclass of: enzymatic reaction
creation date: 2012-01-03T03:24:05Z
definition: Carboxylation is a posttranslational modification of glutamate residues, to gamma-carboxyglutamate, in proteins.
id: MI:1139
has_obo_namespace: PSI-MI
has_exact_synonym: carboxylation
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

decarboxylation reaction
type: Class
subclass of: enzymatic reaction
creation date: 2012-01-03T03:31:42Z
definition: Decarboxylation is a chemical reaction that releases carbon dioxide (CO2). Usually, decarboxylation refers to a reaction of carboxylic acids, removing a carbon atom from a carbon chain. Enzymes that catalyze decarboxylations are called decarboxylases or, the more formal term, carboxy-lyases (EC number 4.1.1).
id: MI:1140
has_obo_namespace: PSI-MI
has_exact_synonym: decarboxylation
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

aminoacylation reaction
type: Class
subclass of: enzymatic reaction
creation date: 2012-01-03T03:49:50Z
definition: Aminoacylation is the process of adding an aminoacyl group to a compound.
id: MI:1143
has_obo_namespace: PSI-MI
has_exact_synonym: aminoacylation
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

phospholipase reaction
type: Class
subclass of: enzymatic reaction
creation date: 2012-01-03T04:08:14Z
id: MI:1146
definition: Measurement of the hydrolysis of phospholipids into fatty acids and other lipophilic substances. There are four major classes, termed A, B, C and D, distinguished by the type of reaction which they catalyze.
has_obo_namespace: PSI-MI
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

ampylation reaction
type: Class
subclass of: enzymatic reaction
creation date: 2012-01-03T04:21:12Z
id: MI:1148
has_obo_namespace: PSI-MI
has_exact_synonym: ampylation
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

uridylation reaction
type: Class
subclass of: enzymatic reaction
creation date: 2012-08-10T07:50:08Z
id: MI:1230
has_obo_namespace: PSI-MI
definition: The formation of a phosphodiester or phosphoramide ester of UMP and amino acid (MOD:01166).
created by: orchard
has_related_synonym: umpylation
has_exact_synonym: uridylation
imported from: mi.owl
in_subset: PSI-MI slim

proline isomerization reaction
type: Class
subclass of: isomerase reaction
creation date: 2012-08-10T09:02:28Z
id: MI:1237
has_obo_namespace: PSI-MI
definition: The conversion between cis- and trans- peptide bonds formed by the amine group of a proline.
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

isomerase reaction
type: Class
subclass of: enzymatic reaction
creation date: 2012-08-10T12:51:00Z
id: MI:1250
has_obo_namespace: PSI-MI
definition: The catalysis of the structural rearrangement of isomers.
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

methylmalonyl-CoA isomerase reaction
type: Class
subclass of: isomerase reaction
creation date: 2012-08-10T01:23:35Z
id: MI:1251
has_obo_namespace: PSI-MI
definition: The catalysis of the conversion of methylmalonyl-CoA to succinyl-CoA by transfer of the carbonyl group. It requires a cobamide coenzyme. EC 5.4.99.2.
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

enhancement
type: Class
subclass of: negative genetic interaction
creation date: 2013-06-05T19:12:17Z
has_related_synonym: <new synonym>
has_related_synonym: Aggravating interaction
id: MI:1271
has_obo_namespace: PSI-MI
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

positive epistasis
type: Class
subclass of: epistasis
subclass of: positive genetic interaction
creation date: 2013-06-05T20:05:15Z
id: MI:1272
has_obo_namespace: PSI-MI
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

maximal epistasis
type: Class
subclass of: positive epistasis
subclass of: quantitative epistasis
creation date: 2013-06-05T20:11:27Z
id: MI:1273
has_obo_namespace: PSI-MI
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

minimal epistasis
type: Class
subclass of: positive epistasis
subclass of: mutual suppression (partial)
subclass of: quantitative epistasis
creation date: 2013-06-05T20:13:14Z
id: MI:1274
has_obo_namespace: PSI-MI
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

neutral epistasis
type: Class
subclass of: epistasis
subclass of: neutral genetic interaction
creation date: 2013-06-05T20:22:53Z
id: MI:1275
has_obo_namespace: PSI-MI
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

opposing epistasis
type: Class
subclass of: neutral epistasis
creation date: 2013-06-05T20:25:26Z
id: MI:1276
has_obo_namespace: PSI-MI
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

qualitative epistasis
type: Class
subclass of: neutral epistasis
creation date: 2013-06-05T20:26:38Z
id: MI:1277
has_obo_namespace: PSI-MI
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

mutual enhancement
type: Class
subclass of: enhancement
creation date: 2013-06-05T20:31:30Z
id: MI:1278
has_obo_namespace: PSI-MI
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

unilateral enhancement
type: Class
subclass of: enhancement
creation date: 2013-06-05T20:33:13Z
id: MI:1279
has_obo_namespace: PSI-MI
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

mutual suppression
type: Class
subclass of: suppression
creation date: 2013-06-05T20:35:53Z
id: MI:1280
has_obo_namespace: PSI-MI
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

mutual suppression (complete)
type: Class
subclass of: mutual suppression
creation date: 2013-06-05T20:37:41Z
id: MI:1281
has_obo_namespace: PSI-MI
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

mutual suppression (partial)
type: Class
subclass of: mutual suppression
creation date: 2013-06-05T20:39:12Z
id: MI:1282
has_obo_namespace: PSI-MI
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

suppression-enhancement
type: Class
subclass of: mutual suppression (partial)
creation date: 2013-06-05T20:43:52Z
id: MI:1283
has_obo_namespace: PSI-MI
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

quantitative epistasis
type: Class
subclass of: epistasis
creation date: 2013-06-05T20:47:35Z
id: MI:1284
has_obo_namespace: PSI-MI
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

opposing epistasis
type: Class
subclass of: quantitative epistasis
creation date: 2013-06-05T20:51:51Z
id: MI:1285
has_obo_namespace: PSI-MI
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

over-suppression
type: Class
subclass of: neutral genetic interaction
creation date: 2013-06-05T21:04:18Z
id: MI:1286
has_obo_namespace: PSI-MI
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

mutual over-suppression
type: Class
subclass of: over-suppression
creation date: 2013-06-05T21:06:09Z
id: MI:1287
has_obo_namespace: PSI-MI
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

over-suppression-enhancement
type: Class
subclass of: neutral genetic interaction
creation date: 2013-06-05T21:11:03Z
id: MI:1288
has_obo_namespace: PSI-MI
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

phenotype bias
type: Class
subclass of: neutral genetic interaction
creation date: 2013-06-05T21:15:34Z
id: MI:1289
has_obo_namespace: PSI-MI
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

suppression (complete)
type: Class
subclass of: suppression
creation date: 2013-06-05T21:34:57Z
id: MI:1290
has_obo_namespace: PSI-MI
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

suppression (partial)
type: Class
subclass of: suppression
creation date: 2013-06-05T21:36:07Z
id: MI:1291
has_obo_namespace: PSI-MI
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

unilateral suppression
type: Class
subclass of: suppression
creation date: 2013-06-05T21:37:28Z
id: MI:1292
has_obo_namespace: PSI-MI
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

unilateral suppression (complete)
type: Class
subclass of: unilateral suppression
creation date: 2013-06-05T21:38:36Z
id: MI:1293
has_obo_namespace: PSI-MI
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

unilateral suppression (partial)
type: Class
subclass of: unilateral suppression
creation date: 2013-06-05T21:39:32Z
id: MI:1294
has_obo_namespace: PSI-MI
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

unilateral over-suppression
type: Class
subclass of: over-suppression
creation date: 2013-06-05T21:54:08Z
id: MI:1295
has_obo_namespace: PSI-MI
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

de-ADP-ribosylation reaction
type: Class
subclass of: enzymatic reaction
creation date: 2013-06-06T10:34:18Z
id: MI:1310
definition: Measure of hydrolytic reactions that release ADP-ribose.
has_obo_namespace: PSI-MI
has_related_synonym: mono-ADP-ribosylhydrolase reaction
created by: orchard
imported from: mi.owl
in_subset: PSI-MI slim

sulfurtransfer reaction
type: Class
subclass of: enzymatic reaction
creation date: 2014-01-08T11:16:12Z
id: MI:1327
has_obo_namespace: PSI-MI
definition: Reaction where a sulfate group is transferred between two proteins
created by: orchard
has_exact_synonym: sulfurtransfer
has_exact_synonym: sulphurtransfer reaction
imported from: mi.owl
in_subset: PSI-MI slim

gene
type: Class
subclass of: material entity
definition: A gene is a material entity that represents the entire DNA sequence required for synthesis of a functional protein or RNA molecule.
term editor: Oliver He
definition source: WEB: http://www.ncbi.nlm.nih.gov/books/NBK21640/
imported from: ogg.owl

protein
type: Class
subclass of: physical entity

classic metabolic pathway
type: Class
subclass of: pathway
id: PW:0000002
comment: The definition was compiled based on a number of available defintions in various dictionaries.
definition: The various, enzyme controlled, series of reactions allowing for the conversion of materials, energy availability and biodegradation of xenobiotics.
has_obo_namespace: pathway
imported from: pw.owl

signaling pathway
type: Class
subclass of: pathway
id: PW:0000003
comment: The definition was compiled based on a number of definitions available in various dictionaries.
definition: The pathways where a signal - hormone, neurotransmitter, growth factor, peptide, any molecule - triggers one or multiple cascades of events. This involves a number of molecules, including receptors, proteins, ligands, messengers, any participating molecule. A signaling pathway may be upstream or downstream of other signaling pathways. Signaling pathways control a very broad spectrum of processes as well as pathways.
has_obo_namespace: pathway
imported from: pw.owl

regulatory pathway
type: Class
subclass of: pathway
id: PW:0000004
comment: The definition was complied based on a number of definitions available in several dictionaries
definition: The pathways that control the processes by which a cell or organism develops, adjusts, behaves, responds to conditions or changes in these conditions, or in any manner helps promote and maintain its efficient functioning.
has_obo_namespace: pathway
imported from: pw.owl

disease pathway
type: Class
subclass of: pathway
definition: Complex human diseases encompass a spectrum of genetic and environmental attributes that together affect the normal functioning of several molecular and cellular pathways. Their combined and accumulated effect is manifested in the anomalous phenotype of the complex condition.
id: PW:0000013
has_related_synonym: complex human diseases
has_obo_namespace: pathway
imported from: pw.owl

drug pathway
type: Class
subclass of: pathway
creation date: 2010-03-15T11:01:15Z
id: PW:0000754
definition: The pharmacokinetics and the pharmacodynamics pathway elicited by the administration of specific drugs. The systems involved in drug processing and responses are also those handling exogenous, xenobiotic compounds in the cellular detoxification pathway. The distinction between a random encounter with a foreign compound and the processing of a substance administered for treatment along with the importance of genetic variation for the individual responses to particular drugs warrant their separate consideration.
created by: VPetri
has_obo_namespace: pathway
imported from: pw.owl

DNA
type: Class
subclass of: physical entity

RNA
type: Class
subclass of: physical entity

ready for release
type: NamedIndividual
has curation status: pending final vetting

pending final vetting
type: NamedIndividual

requires discussion
type: NamedIndividual
has curation status: pending final vetting

axiom holds for all times
type: NamedIndividual
definition: ## Elucidation This is used when the statement/axiom is assumed to hold true 'eternally' ## How to interpret (informal) First the "atemporal" FOL is derived from the OWL using the standard interpretation. This axiom is temporalized by embedding the axiom within a for-all-times quantified sentence. The t argument is added to all instantiation predicates and predicates that use this relation. ## Example Class: nucleus SubClassOf: part_of some cell forall t : forall n : instance_of(n,Nucleus,t) implies exists c : instance_of(c,Cell,t) part_of(n,c,t) ## Notes This interpretation is *not* the same as an at-all-times relation

OBO Relations Ontology
comment: Includes Ontology(OntologyID(Anonymous-21)) [Axioms: 26 Logical Axioms: 0]
comment: Includes Ontology(OntologyID(Anonymous-21)) [Axioms: 32 Logical Axioms: 0]
description: The OBO Relations Ontology (RO) is a collection of OWL relations (ObjectProperties) intended for use across a wide variety of biological ontologies.
Source: ro