Aditi Misra Andong Chen Edison Ong Robert Hampshire Yongqun "Oliver" He (YOH) The Transportation System Ontology (TSO) is a community-based ontology developed to support open transportation and transportation-related knowledge and data representation, standardization and integration. OWL-DL TSO focuses on the area of transportation system. TSO: Transportation System Ontology 04-14-2020 Vision Release: 0.0.26 BFO OWL specification label 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. Really of interest to developers only BFO OWL specification label BFO OWL specification label BFO CLIF specification label Relates an entity in the ontology to the term that is used to represent it in the the CLIF specification of BFO2 Person:Alan Ruttenberg Really of interest to developers only BFO CLIF specification label BFO CLIF specification label editor preferred label editor preferred label editor preferred term editor preferred term editor preferred term~editor preferred label The concise, meaningful, and human-friendly name for a class or property preferred by the ontology developers. (US-English) PERSON:Daniel Schober GROUP:OBI:<http://purl.obolibrary.org/obo/obi> editor preferred label editor preferred label editor preferred term editor preferred term editor preferred term~editor preferred label example example of usage A phrase describing how a class name should be used. May also include other kinds of examples that facilitate immediate understanding of a class semantics, such as widely known prototypical subclasses or instances of the class. Although essential for high level terms, examples for low level terms (e.g., Affymetrix HU133 array) are not 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. PERSON:Daniel Schober GROUP:OBI:<http://purl.obolibrary.org/obo/obi> example of usage example of usage has curation status PERSON:Alan Ruttenberg PERSON:Bill Bug PERSON:Melanie Courtot OBI_0000281 has curation status has curation status definition definition textual definition English language definitions of what NCI means by the concept. These are limited to 1024 characters. They may also include information about the definition's source and attribution in a form that can easily be interpreted by software. The official OBI definition, explaining the meaning of a class or property. Shall be Aristotelian, formalized and normalized. Can be augmented with colloquial definitions. The official definition, explaining the meaning of a class or property. Shall be Aristotelian, formalized and normalized. Can be augmented with colloquial definitions. 2012-04-05: Barry Smith The official OBI definition, explaining the meaning of a class or property: 'Shall be Aristotelian, formalized and normalized. Can be augmented with colloquial definitions' is terrible. Can you fix to something like: A statement of necessary and sufficient conditions explaining the meaning of an expression referring to a class or property. Alan Ruttenberg Your proposed definition is a reasonable candidate, except that it is very common that necessary and sufficient conditions are not given. Mostly they are necessary, occasionally they are necessary and sufficient or just sufficient. Often they use terms that are not themselves defined and so they effectively can't be evaluated by those criteria. On the specifics of the proposed definition: We don't have definitions of 'meaning' or 'expression' or 'property'. For 'reference' in the intended sense I think we use the term 'denotation'. For 'expression', I think we you mean symbol, or identifier. For 'meaning' it differs for class and property. For class we want documentation that let's the intended reader determine whether an entity is instance of the class, or not. For property we want documentation that let's the intended reader determine, given a pair of potential relata, whether the assertion that the relation holds is true. The 'intended reader' part suggests that we also specify who, we expect, would be able to understand the definition, and also generalizes over human and computer reader to include textual and logical definition. Personally, I am more comfortable weakening definition to documentation, with instructions as to what is desirable. We also have the outstanding issue of how to aim different definitions to different audiences. A clinical audience reading chebi wants a different sort of definition documentation/definition from a chemistry trained audience, and similarly there is a need for a definition that is adequate for an ontologist to work with. PERSON:Daniel Schober GROUP:OBI:<http://purl.obolibrary.org/obo/obi> DEFINITION definition definition textual definition editor note An administrative note intended for its editor. It may not be included in the publication version of the ontology, so it should contain nothing necessary for end users to understand the ontology. PERSON:Daniel Schober GROUP:OBI:<http://purl.obfoundry.org/obo/obi> IAO:0000116 uberon editor_note 1 editor_note editor note editor note definition editor term editor Name of editor entering the definition in the file. The definition editor is a point of contact for information regarding the term. The definition editor may be, but is not always, the author of the definition, which may have been worked upon by several people Name of editor entering the term in the file. The term editor is a point of contact for information regarding the term. The term editor may be, but is not always, the author of the definition, which may have been worked upon by several people 20110707, MC: label update to term editor and definition modified accordingly. See http://code.google.com/p/information-artifact-ontology/issues/detail?id=115. 20110707, MC: label update to term editor and definition modified accordingly. See https://github.com/information-artifact-ontology/IAO/issues/115. PERSON:Daniel Schober GROUP:OBI:<http://purl.obolibrary.org/obo/obi> definition editor definition editor term editor term editor alternative term An alternative name for a class or property which means the same thing as the preferred name (semantically equivalent) PERSON:Daniel Schober GROUP:OBI:<http://purl.obolibrary.org/obo/obi> alternative term alternative term definition source formal citation, e.g. identifier in external database to indicate / attribute source(s) for the definition. Free text indicate / attribute source(s) for the definition. EXAMPLE: Author Name, URI, MeSH Term C04, PUBMED ID, Wiki uri on 31.01.2007 PERSON:Daniel Schober Discussion on obo-discuss mailing-list, see http://bit.ly/hgm99w GROUP:OBI:<http://purl.obolibrary.org/obo/obi> definition source definition source has obsolescence reason Relates an annotation property to an obsolescence reason. The values of obsolescence reasons come from a list of predefined terms, instances of the class obsolescence reason specification. PERSON:Alan Ruttenberg PERSON:Melanie Courtot has obsolescence reason curator note An administrative note of use for a curator but of no use for a user PERSON:Alan Ruttenberg IAO:0000232 uberon curator_notes 1 curator_notes curator note curator note curator notes imported from For external terms/classes, the ontology from which the term was imported PERSON:Alan Ruttenberg PERSON:Melanie Courtot GROUP:OBI:<http://purl.obolibrary.org/obo/obi> imported from imported from expand expression to expand expression to OBO foundry unique label An alternative name for a class or property which is unique across the OBO Foundry. The intended usage of that property is as follow: OBO foundry unique labels are automatically generated based on regular expressions provided by each ontology, so that SO could specify unique label = 'sequence ' + [label], etc. , MA could specify 'mouse + [label]' etc. Upon importing terms, ontology developers can choose to use the 'OBO foundry unique label' for an imported term or not. The same applies to tools . PERSON:Alan Ruttenberg PERSON:Bjoern Peters PERSON:Chris Mungall PERSON:Melanie Courtot GROUP:OBO Foundry <http://obofoundry.org/> OBO foundry unique label elucidation person:Alan Ruttenberg Person:Barry Smith Primitive terms in a highest-level ontology such as BFO are terms which are so basic to our understanding of reality that there is no way of defining them in a non-circular fashion. For these, therefore, we can provide only elucidations, supplemented by examples and by axioms elucidation elucidation has associated axiom(nl) Person:Alan Ruttenberg Person:Alan Ruttenberg An axiom associated with a term expressed using natural language has associated axiom(nl) has associated axiom(nl) has associated axiom(fol) Person:Alan Ruttenberg Person:Alan Ruttenberg An axiom expressed in first order logic using CLIF syntax has associated axiom(fol) has associated axiom(fol) has_MedDRA_id A subproperty of seeAlso that represents a NCIT identifier mapped to the specified term Oliver He term mapping to NCIT ID A subproperty of seeAlso that represents a UMLS CUI identifier mapped to the specified term Oliver He term mapping to UMLS CUI 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. temporal interpretation temporal interpretation https://code.google.com/p/obo-relations/wiki/ROAndTime https://github.com/oborel/obo-relations/wiki/ROAndTime 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 https://github.com/oborel/obo-relations/wiki/ShortcutRelations A logical macro assertion whose domain is an IRI for a property logical macro assertion on a property Used to annotate object properties to describe a logical meta-property or characteristic of the object property. logical macro assertion on an object property logical macro assertion on an annotation property relation p is the direct form of relation q iff p is a subPropertyOf q, p does not have the Transitive characteristic, q does have the Transitive characteristic, and for all x, y: x q y -> exists z1, z2, ..., zn such that x p z1 ... z2n y The general property hierarchy is: "directly P" SubPropertyOf "P" Transitive(P) Where we have an annotation assertion "directly P" "is direct form of" "P" If we have the annotation P is-direct-form-of Q, and we have inverses P' and Q', then it follows that P' is-direct-form-of Q' Chris Mungall is direct form of 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 Chris Mungall is indirect form of 'anterior end of organism' is-opposite-of 'posterior end of organism' 'increase in temperature' is-opposite-of 'decrease in temperature' x is the opposite of y if there exists some distance metric M, and there exists no z such as M(x,z) <= M(x,y) or M(y,z) <= M(y,x). RO:0002604 quality is_opposite_of true true is_opposite_of is opposite of is_opposite_of Used to annotate object properties representing a causal relationship where the value indicates a direction. Should be "+", "-" or "0" cjm 2018-03-13T23:59:29Z is directional form of cjm 2018-03-14T00:03:16Z is positive form of cjm 2018-03-14T00:03:24Z is negative form of part-of is homeomorphic for independent continuants. R is homemorphic for C iff (1) there exists some x,y such that x R y, and x and y instantiate C and (2) for all x, if x is an instance of C, and there exists some y some such that x R y, then it follows that y is an instance of C. cjm 2018-10-21T19:46:34Z R homeomorphic-for C expands to: C SubClassOf R only C. Additionally, for any class D that is disjoint with C, we can also expand to C DisjointWith R some D, D DisjointWith R some C. is homeomorphic for A cross-referenced annotation from the Transportation Research Thesaurus (TRT) YOH https://trt.trb.org/trt.asp? TRT cross-reference A metadata relation between a class and its taxonomic rank (eg species, family) ncbi_taxonomy has_rank 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. uberon dc-contributor 1 dc-contributor An entity responsible for making contributions to the content of the resource. Contributor Contributor contributor 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. An entity primarily responsible for making the content of the resource. Creator Creator 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. A date associated with an event in the life cycle of the resource. Date Date 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. An account of the content of the resource. Description 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). The physical or digital manifestation of the resource. Format Format 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. A reference to a resource from which the present resource is derived. Source Source 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. The topic of the content of the resource. Subject and Keywords Subject and Keywords Mark Miller 2018-05-11T13:47:29Z has_alternative_id has_broad_synonym database_cross_reference Fully qualified synonym, contains the string, term type, source, and an optional source code if appropriate. Each subfield is deliniated to facilitate interpretation by software. FULL_SYN Synonym with Source Data has exact synonym has_exact_synonym has_narrow_synonym has_obo_namespace has_related_synonym Used to associate the concept defining a particular terminology subset with concepts that belong to this subset. Concept_In_Subset in subset in_subset shorthand is defined by label label label is part of my brain is part of my body (continuant parthood, two material entities) my stomach cavity is part of my stomach (continuant parthood, immaterial entity is part of material entity) this day is part of this year (occurrent parthood) a core relation that holds between a part and its whole Everything is part of itself. Any part of any part of a thing is itself part of that thing. Two distinct things cannot be part of each other. Occurrents are not subject to change and so parthood between occurrents holds for all the times that the part exists. Many continuants are subject to change, so parthood between continuants will only hold at certain times, but this is difficult to specify in OWL. See https://code.google.com/p/obo-relations/wiki/ROAndTime Parthood requires the part and the whole to have compatible classes: only an occurrent can be part of an occurrent; only a process can be part of a process; only a continuant can be part of a continuant; only an independent continuant can be part of an independent continuant; only an immaterial entity can be part of an immaterial entity; only a specifically dependent continuant can be part of a specifically dependent continuant; only a generically dependent continuant can be part of a generically dependent continuant. (This list is not exhaustive.) A continuant cannot be part of an occurrent: use 'participates in'. An occurrent cannot be part of a continuant: use 'has participant'. A material entity cannot be part of an immaterial entity: use 'has location'. A specifically dependent continuant cannot be part of an independent continuant: use 'inheres in'. An independent continuant cannot be part of a specifically dependent continuant: use 'bearer of'. part_of BFO:0000050 uberon part_of part_of part of part of http://www.obofoundry.org/ro/#OBO_REL:part_of has part my body has part my brain (continuant parthood, two material entities) my stomach has part my stomach cavity (continuant parthood, material entity has part immaterial entity) this year has part this day (occurrent parthood) a core relation that holds between a whole and its part Everything has itself as a part. Any part of any part of a thing is itself part of that thing. Two distinct things cannot have each other as a part. Occurrents are not subject to change and so parthood between occurrents holds for all the times that the part exists. Many continuants are subject to change, so parthood between continuants will only hold at certain times, but this is difficult to specify in OWL. See https://code.google.com/p/obo-relations/wiki/ROAndTime Parthood requires the part and the whole to have compatible classes: only an occurrent have an occurrent as part; only a process can have a process as part; only a continuant can have a continuant as part; only an independent continuant can have an independent continuant as part; only a specifically dependent continuant can have a specifically dependent continuant as part; only a generically dependent continuant can have a generically dependent continuant as part. (This list is not exhaustive.) A continuant cannot have an occurrent as part: use 'participates in'. An occurrent cannot have a continuant as part: use 'has participant'. An immaterial entity cannot have a material entity as part: use 'location of'. An independent continuant cannot have a specifically dependent continuant as part: use 'bearer of'. A specifically dependent continuant cannot have an independent continuant as part: use 'inheres in'. has_part BFO:0000051 uberon has_part has_part has part has part realized in this disease is realized in this disease course this fragility is realized in this shattering this investigator role is realized in this investigation is realized by realized_in http://purl.obolibrary.org/obo/ro.owl [copied from inverse property 'realizes'] to say that b realizes c at t is to assert that there is some material entity d & b is a process which has participant d at t & c is a disposition or role of which d is bearer_of at t& the type instantiated by b is correlated with the type instantiated by c. (axiom label in BFO2 Reference: [059-003]) Paraphrase of elucidation: a relation between a realizable entity and a process, where there is some material entity that is bearer of the realizable entity and participates in the process, and the realizable entity comes to be realized in the course of the process realized in realizes this disease course realizes this disease this investigation realizes this investigator role this shattering realizes this fragility to say that b realizes c at t is to assert that there is some material entity d & b is a process which has participant d at t & c is a disposition or role of which d is bearer_of at t& the type instantiated by b is correlated with the type instantiated by c. (axiom label in BFO2 Reference: [059-003]) Paraphrase of elucidation: a relation between a process and a realizable entity, where there is some material entity that is bearer of the realizable entity and participates in the process, and the realizable entity comes to be realized in the course of the process realizes accidentally included in BFO 1.2 proposal - should have been BFO_0000062 obsolete preceded by true preceded by x is preceded by y if and only if the time point at which y ends is before or equivalent to the time point at which x starts. Formally: x preceded by y iff ω(y) <= α(x), where α is a function that maps a process to a start point, and ω is a function that maps a process to an end point. An example is: translation preceded_by transcription; aging preceded_by development (not however death preceded_by aging). Where derives_from links classes of continuants, preceded_by links classes of processes. Clearly, however, these two relations are not independent of each other. Thus if cells of type C1 derive_from cells of type C, then any cell division involving an instance of C1 in a given lineage is preceded_by cellular processes involving an instance of C. The assertion P preceded_by P1 tells us something about Ps in general: that is, it tells us something about what happened earlier, given what we know about what happened later. Thus it does not provide information pointing in the opposite direction, concerning instances of P1 in general; that is, that each is such as to be succeeded by some instance of P. Note that an assertion to the effect that P preceded_by P1 is rather weak; it tells us little about the relations between the underlying instances in virtue of which the preceded_by relation obtains. Typically we will be interested in stronger relations, for example in the relation immediately_preceded_by, or in relations which combine preceded_by with a condition to the effect that the corresponding instances of P and P1 share participants, or that their participants are connected by relations of derivation, or (as a first step along the road to a treatment of causality) that the one process in some way affects (for example, initiates or regulates) the other. is preceded by preceded_by http://www.obofoundry.org/ro/#OBO_REL:preceded_by preceded by precedes x precedes y if and only if the time point at which x ends is before or equivalent to the time point at which y starts. Formally: x precedes y iff ω(x) <= α(y), where α is a function that maps a process to a start point, and ω is a function that maps a process to an end point. BFO:0000063 uberon precedes precedes precedes precedes occurs in b occurs_in c =def b is a process and c is a material entity or immaterial entity& there exists a spatiotemporal region r and b occupies_spatiotemporal_region r.& forall(t) if b exists_at t then c exists_at t & there exist spatial regions s and s’ where & b spatially_projects_onto s at t& c is occupies_spatial_region s’ at t& s is a proper_continuant_part_of s’ at t occurs_in unfolds in unfolds_in Paraphrase of definition: a relation between a process and an independent continuant, in which the process takes place entirely within the independent continuant occurs in site of [copied from inverse property 'occurs in'] b occurs_in c =def b is a process and c is a material entity or immaterial entity& there exists a spatiotemporal region r and b occupies_spatiotemporal_region r.& forall(t) if b exists_at t then c exists_at t & there exist spatial regions s and s’ where & b spatially_projects_onto s at t& c is occupies_spatial_region s’ at t& s is a proper_continuant_part_of s’ at t Paraphrase of definition: a relation between an independent continuant and a process, in which the process takes place entirely within the independent continuant contains process This document is about information artifacts and their representations is_about is a (currently) primitive relation that relates an information artifact to an entity. 7/6/2009 Alan Ruttenberg. Following discussion with Jonathan Rees, and introduction of "mentions" relation. Weaken the is_about relationship to be primitive. We will try to build it back up by elaborating the various subproperties that are more precisely defined. Some currently missing phenomena that should be considered "about" are predications - "The only person who knows the answer is sitting beside me" , Allegory, Satire, and other literary forms that can be topical without explicitly mentioning the topic. person:Alan Ruttenberg Smith, Ceusters, Ruttenberg, 2000 years of philosophy is about has_specified_input has_specified_input see is_input_of example_of_usage A relation between a planned process and a continuant participating in that process that is not created during the process. The presence of the continuant during the process is explicitly specified in the plan specification which the process realizes the concretization of. 8/17/09: specified inputs of one process are not necessarily specified inputs of a larger process that it is part of. This is in contrast to how 'has participant' works. PERSON: Alan Ruttenberg PERSON: Bjoern Peters PERSON: Larry Hunter PERSON: Melanie Coutot has_specified_input is_specified_input_of some Autologous EBV(Epstein-Barr virus)-transformed B-LCL (B lymphocyte cell line) is_input_for instance of Chromum Release Assay described at https://wiki.cbil.upenn.edu/obiwiki/index.php/Chromium_Release_assay A relation between a planned process and a continuant participating in that process that is not created during the process. The presence of the continuant during the process is explicitly specified in the plan specification which the process realizes the concretization of. Alan Ruttenberg PERSON:Bjoern Peters is_specified_input_of has_specified_output has_specified_output A relation between a planned process and a continuant participating in that process. The presence of the continuant at the end of the process is explicitly specified in the objective specification which the process realizes the concretization of. PERSON: Alan Ruttenberg PERSON: Bjoern Peters PERSON: Larry Hunter PERSON: Melanie Courtot has_specified_output is_specified_output_of is_specified_output_of A relation between a planned process and a continuant participating in that process. The presence of the continuant at the end of the process is explicitly specified in the objective specification which the process realizes the concretization of. Alan Ruttenberg PERSON:Bjoern Peters is_specified_output_of is_specified_output_of has organization member BFO relation takes precedence. We anticipate BFO 2.0 including and defining this relation. When it does, we will obsolete this property and declare it equivalent to the BFO 2.0 relation. is-aggregate-of true inheres in this fragility inheres in this vase this red color inheres in this apple a relation between a specifically dependent continuant (the dependent) and an independent continuant (the bearer), in which the dependent specifically depends on the bearer for its existence A dependent inheres in its bearer at all times for which the dependent exists. 'inheres in at all times' inheres_in http://purl.obolibrary.org/obo/ro.owl inheres in bearer of this apple is bearer of this red color this vase is bearer of this fragility a relation between an independent continuant (the bearer) and a specifically dependent continuant (the dependent), in which the dependent specifically depends on the bearer for its existence A bearer can have many dependents, and its dependents can exist for different periods of time, but none of its dependents can exist when the bearer does not exist. bearer of bearer_of is bearer of bearer of bearer_of is bearer of participates in this blood clot participates in this blood coagulation this input material (or this output material) participates in this process this investigator participates in this investigation a relation between a continuant and a process, in which the continuant is somehow involved in the process participates_in participates in has participant this blood coagulation has participant this blood clot this investigation has participant this investigator this process has participant this input material (or this output material) a relation between a process and a continuant, in which the continuant is somehow involved in the process Has_participant is a primitive instance-level relation between a process, a continuant, and a time at which the continuant participates in some way in the process. The relation obtains, for example, when this particular process of oxygen exchange across this particular alveolar membrane has_participant this particular sample of hemoglobin at this particular time. has_participant http://purl.obolibrary.org/obo/ro.owl http://www.obofoundry.org/ro/#OBO_REL:has_participant has participant has_participant A journal article is an information artifact that inheres in some number of printed journals. For each copy of the printed journal there is some quality that carries the journal article, such as a pattern of ink. The journal article (a generically dependent continuant) is concretized as the quality (a specifically dependent continuant), and both depend on that copy of the printed journal (an independent continuant). An investigator reads a protocol and forms a plan to carry out an assay. The plan is a realizable entity (a specifically dependent continuant) that concretizes the protocol (a generically dependent continuant), and both depend on the investigator (an independent continuant). The plan is then realized by the assay (a process). A relationship between a generically dependent continuant and a specifically dependent continuant, in which the generically dependent continuant depends on some independent continuant in virtue of the fact that the specifically dependent continuant also depends on that same independent continuant. A generically dependent continuant may be concretized as multiple specifically dependent continuants. is concretized as concretizes A journal article is an information artifact that inheres in some number of printed journals. For each copy of the printed journal there is some quality that carries the journal article, such as a pattern of ink. The quality (a specifically dependent continuant) concretizes the journal article (a generically dependent continuant), and both depend on that copy of the printed journal (an independent continuant). An investigator reads a protocol and forms a plan to carry out an assay. The plan is a realizable entity (a specifically dependent continuant) that concretizes the protocol (a generically dependent continuant), and both depend on the investigator (an independent continuant). The plan is then realized by the assay (a process). A relationship between a specifically dependent continuant and a generically dependent continuant, in which the generically dependent continuant depends on some independent continuant in virtue of the fact that the specifically dependent continuant also depends on that same independent continuant. Multiple specifically dependent continuants can concretize the same generically dependent continuant. http://purl.obolibrary.org/obo/obi.owl It is recommended to not use this if possible in OMRSE. According to OntoBee this relation has been obsoleted and replaced with 'concretization of at all times'. As of Dec. 2, 2013 iao-main still uses this relation. concretizes this apple has quality this red color a relation between an independent continuant (the bearer) and a quality, in which the quality specifically depends on the bearer for its existence A bearer can have many qualities, and its qualities can exist for different periods of time, but none of its qualities can exist when the bearer does not exist. has_quality has quality this person has role this investigator role (more colloquially: this person has this role of investigator) a relation between an independent continuant (the bearer) and a role, in which the role specifically depends on the bearer for its existence A bearer can have many roles, and its roles can exist for different periods of time, but none of its roles can exist when the bearer does not exist. A role need not be realized at all the times that the role exists. has_role has role a relation between an independent continuant (the bearer) and a disposition, in which the disposition specifically depends on the bearer for its existence has disposition inverse of has disposition disposition of located in my brain is located in my head this rat is located in this cage a relation between two independent continuants, the target and the location, in which the target is entirely within the location Location as a relation between instances: The primitive instance-level relation c located_in r at t reflects the fact that each continuant is at any given time associated with exactly one spatial region, namely its exact location. Following we can use this relation to define a further instance-level location relation - not between a continuant and the region which it exactly occupies, but rather between one continuant and another. c is located in c1, in this sense, whenever the spatial region occupied by c is part_of the spatial region occupied by c1. Note that this relation comprehends both the relation of exact location between one continuant and another which obtains when r and r1 are identical (for example, when a portion of fluid exactly fills a cavity), as well as those sorts of inexact location relations which obtain, for example, between brain and head or between ovum and uterus Most location relations will only hold at certain times, but this is difficult to specify in OWL. See https://code.google.com/p/obo-relations/wiki/ROAndTime located_in http://www.obofoundry.org/ro/#OBO_REL:located_in located in dos 2017-05-24T09:44:33Z A 'has component activity' B if A is A and B are molecular functions (GO_0003674) and A has_component B. has component activity w 'has process component' p if p and w are processes, w 'has part' p and w is such that it can be directly disassembled into into n parts p, p2, p3, ..., pn, where these parts are of similar type. dos 2017-05-24T09:49:21Z has component process A 'has effector activity' B if A and B are GO molecular functions (GO_0003674), A 'has component activity' B and B is the effector (output function) of B. Each compound function has only one effector activity. dos 2017-09-22T14:14:36Z This relation is designed for constructing compound molecular functions, typically in combination with one or more regulatory component activity relations. has effector activity David Osumi-Sutherland <= Primitive instance level timing relation between events before or simultaneous with David Osumi-Sutherland t1 simultaneous_with t2 iff:= t1 before_or_simultaneous_with t2 and not (t1 before t2) simultaneous with David Osumi-Sutherland t1 before t2 iff:= t1 before_or_simulataneous_with t2 and not (t1 simultaeous_with t2) before David Osumi-Sutherland Previously had ID http://purl.obolibrary.org/obo/RO_0002122 in test files in sandpit - but this seems to have been dropped from ro-edit.owl at some point. No re-use under this ID AFAIK, but leaving note here in case we run in to clashes down the line. Official ID now chosen from DOS ID range. during which ends David Osumi-Sutherland di Previously had ID http://purl.obolibrary.org/obo/RO_0002124 in test files in sandpit - but this seems to have been dropped from ro-edit.owl at some point. No re-use under this ID AFAIK, but leaving note here in case we run in to clashes down the line. Official ID now chosen from DOS ID range. encompasses David Osumi-Sutherland X ends_after Y iff: end(Y) before_or_simultaneous_with end(X) ends after David Osumi-Sutherland starts_at_end_of X immediately_preceded_by Y iff: end(X) simultaneous_with start(Y) immediately preceded by David Osumi-Sutherland Previously had ID http://purl.obolibrary.org/obo/RO_0002123 in test files in sandpit - but this seems to have been dropped from ro-edit.owl at some point. No re-use under this ID AFAIK, but leaving note here in case we run in to clashes down the line. Official ID now chosen from DOS ID range. during which starts David Osumi-Sutherland starts before David Osumi-Sutherland ends_at_start_of meets X immediately_precedes_Y iff: end(X) simultaneous_with start(Y) immediately precedes David Osumi-Sutherland io X starts_during Y iff: (start(Y) before_or_simultaneous_with start(X)) AND (start(X) before_or_simultaneous_with end(Y)) starts during David Osumi-Sutherland d during X happens_during Y iff: (start(Y) before_or_simultaneous_with start(X)) AND (end(X) before_or_simultaneous_with end(Y)) happens during David Osumi-Sutherland o overlaps X ends_during Y iff: ((start(Y) before_or_simultaneous_with end(X)) AND end(X) before_or_simultaneous_with end(Y). ends during x overlaps y if and only if there exists some z such that x has part z and z part of y http://purl.obolibrary.org/obo/BFO_0000051 some (http://purl.obolibrary.org/obo/BFO_0000050 some ?Y) overlaps A is spatially_disjoint_from B if and only if they have no parts in common There are two ways to encode this as a shortcut relation. The other possibility to use an annotation assertion between two classes, and expand this to a disjointness axiom. Chris Mungall Note that it would be possible to use the relation to label the relationship between a near infinite number of structures - between the rings of saturn and my left earlobe. The intent is that this is used for parsiomoniously for disambiguation purposes - for example, between siblings in a jointly exhaustive pairwise disjointness hierarchy BFO_0000051 exactly 0 (BFO_0000050 some ?Y) spatially disjoint from https://github.com/obophenotype/uberon/wiki/Part-disjointness-Design-Pattern w 'has component' p if w 'has part' p and w is such that it can be directly disassembled into into n parts p, p2, p3, ..., pn, where these parts are of similar type. The definition of 'has component' is still under discussion. The challenge is in providing a definition that does not imply transitivity. For use in recording has_part with a cardinality constraint, because OWL does not permit cardinality constraints to be used in combination with transitive object properties. In situations where you would want to say something like 'has part exactly 5 digit, you would instead use has_component exactly 5 digit. has component RO:0002202 uberon develops_from develops_from develops_from RO:0002203 uberon develops_into develops_into develops_into process(P1) regulates process(P2) iff: P1 results in the initiation or termination of P2 OR affects the frequency of its initiation or termination OR affects the magnitude or rate of output of P2. We use 'regulates' here to specifically imply control. However, many colloquial usages of the term correctly correspond to the weaker relation of 'causally upstream of or within' (aka influences). Consider relabeling to make things more explicit Chris Mungall David Hill Tanya Berardini GO Regulation precludes parthood; the regulatory process may not be within the regulated process. regulates (processual) false regulates regulates (processual) Process(P1) negatively regulates process(P2) iff: P1 terminates P2, or P1 descreases the the frequency of initiation of P2 or the magnitude or rate of output of P2. Chris Mungall negatively regulates (process to process) negatively regulates Process(P1) postively regulates process(P2) iff: P1 initiates P2, or P1 increases the the frequency of initiation of P2 or the magnitude or rate of output of P2. Chris Mungall positively regulates (process to process) positively regulates 'human p53 protein' SubClassOf some ('has prototype' some ('participates in' some 'DNA repair')) heart SubClassOf 'has prototype' some ('participates in' some 'blood circulation') x has prototype y if and only if x is an instance of C and y is a prototypical instance of C. For example, every instance of heart, both normal and abnormal is related by the has prototype relation to some instance of a "canonical" heart, which participates in blood circulation. Experimental. In future there may be a formalization in which this relation is treated as a shortcut to some modal logic axiom. We may decide to obsolete this and adopt a more specific evolutionary relationship (e.g. evolved from) TODO: add homeomorphy axiom This property can be used to make weaker forms of certain relations by chaining an additional property. For example, we may say: retina SubClassOf has_prototype some 'detection of light'. i.e. every retina is related to a prototypical retina instance which is detecting some light. Note that this is very similar to 'capable of', but this relation affords a wider flexibility. E.g. we can make a relation between continuants. Chris Mungall has prototype mechanosensory neuron capable of detection of mechanical stimulus involved in sensory perception (GO:0050974) osteoclast SubClassOf 'capable of' some 'bone resorption' A relation between a material entity (such as a cell) and a process, in which the material entity has the ability to carry out the process. Chris Mungall has function realized in For compatibility with BFO, this relation has a shortcut definition in which the expression "capable of some P" expands to "bearer_of (some realized_by only P)". RO_0000053 some (RO_0000054 only ?Y) capable of c stands in this relationship to p if and only if there exists some p' such that c is capable_of p', and p' is part_of p. Chris Mungall has function in RO_0000053 some (RO_0000054 only (BFO_0000050 some ?Y)) capable of part of 'heart development' has active participant some Shh protein x has participant y if and only if x realizes some active role that inheres in y This may be obsoleted and replaced by the original 'has agent' relation Chris Mungall has agent has active participant x surrounded_by y if and only if (1) x is adjacent to y and for every region r that is adjacent to x, r overlaps y (2) the shared boundary between x and y occupies the majority of the outermost boundary of x x surrounded_by y iff: x is adjacent to y and for every region r adjacent to x, r overlaps y Chris Mungall RO:0002219 uberon surrounded_by surrounded_by surrounded by surrounded by surrounded_by A caterpillar walking on the surface of a leaf is adjacent_to the leaf, if one of the caterpillar appendages is touching the leaf. In contrast, a butterfly flying close to a flower is not considered adjacent, unless there are any touching parts. The epidermis layer of a vertebrate is adjacent to the dermis. The plasma membrane of a cell is adjacent to the cytoplasm, and also to the cell lumen which the cytoplasm occupies. The skin of the forelimb is adjacent to the skin of the torso if these are considered anatomical subdivisions with a defined border. Otherwise a relation such as continuous_with would be used. x adjacent to y if and only if x and y share a boundary. x adjacent_to y iff: x and y share a boundary This relation acts as a join point with BSPO Chris Mungall RO:0002220 uberon adjacent_to adjacent_to adjacent to adjacent_to inverse of surrounded by inverse of surrounded_by Chris Mungall RO:0002221 uberon surrounds surrounds surrounds surrounds Chris Mungall Do not use this relation directly. It is ended as a grouping for relations between occurrents involving the relative timing of their starts and ends. https://docs.google.com/document/d/1kBv1ep_9g3sTR-SD3jqzFqhuwo9TPNF-l-9fUDbO6rM/edit?pli=1 A relation that holds between two occurrents. This is a grouping relation that collects together all the Allen relations. temporally related to inverse of starts with Chris Mungall Allen starts Every insulin receptor signaling pathway starts with the binding of a ligand to the insulin receptor x starts with y if and only if x has part y and the time point at which x starts is equivalent to the time point at which y starts. Formally: α(y) = α(x) ∧ ω(y) < ω(x), where α is a function that maps a process to a start point, and ω is a function that maps a process to an end point. Chris Mungall started by RO:0002224 uberon starts_with starts_with starts with starts with inverse of ends with Chris Mungall ends x ends with y if and only if x has part y and the time point at which x ends is equivalent to the time point at which y ends. Formally: α(y) > α(x) ∧ ω(y) = ω(x), where α is a function that maps a process to a start point, and ω is a function that maps a process to an end point. Chris Mungall finished by RO:0002230 uberon ends_with ends_with ends with ends with 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. p has input c iff: p is a process, c is a material entity, c is a participant in p, c is present at the start of p, and the state of c is modified during p. Chris Mungall consumes has input p has output c iff c is a participant in p, c is present at the end of p, and c is not present at the beginning of p. Chris Mungall produces has output RO:0002254 uberon has_developmental_contribution_from has_developmental_contribution_from has developmental contribution from cjm holds between x and y if and only if x is causally upstream of y and the progression of x increases the frequency, rate or extent of y causally upstream of, positive effect cjm holds between x and y if and only if x is causally upstream of y and the progression of x decreases the frequency, rate or extent of y causally upstream of, negative effect q inheres in part of w if and only if there exists some p such that q inheres in p and p part of w. Because part_of is transitive, inheres in is a sub-relation of inheres in part of Chris Mungall inheres in part of A mereological relationship or a topological relationship Chris Mungall Do not use this relation directly. It is ended as a grouping for a diverse set of relations, all involving parthood or connectivity relationships mereotopologically related to a particular instances of akt-2 enables some instance of protein kinase activity Chris Mungall catalyzes executes has is catalyzing is executing This relation differs from the parent relation 'capable of' in that the parent is weaker and only expresses a capability that may not be actually realized, whereas this relation is always realized. This relation is currently used experimentally by the Gene Ontology Consortium. It may not be stable and may be obsoleted at some future time. enables A grouping relationship for any relationship directly involving a function, or that holds because of a function of one of the related entities. Chris Mungall This is a grouping relation that collects relations used for the purpose of connecting structure and function functionally related to inverse of enables Chris Mungall enabled by inverse of regulates Chris Mungall regulated by (processual) regulated by inverse of negatively regulates Chris Mungall negatively regulated by inverse of positively regulates Chris Mungall positively regulated by An organism that is a member of a population of organisms is member of is a mereological relation between a item and a collection. is member of member part of SIO member of has member is a mereological relation between a collection and an item. SIO RO:0002351 uberon has_member has_member has member has member inverse of has input Chris Mungall input of inverse of has output Chris Mungall output of Chris Mungall formed as result of x has the potential to develop into y iff x develops into y or if x is capable of developing into y RO:0002387 uberon has_potential_to_develop_into has_potential_to_develop_into has potential to develop into 'protein catabolic process' SubClassOf has_direct_input some protein 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. Chris Mungall directly consumes This is likely to be obsoleted. A candidate replacement would be a new relation 'has bound input' or 'has substrate' has direct input translation SubClassOf has_direct_output some protein 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. Chris Mungall directly produces obsolete has direct output true inverse of upstream of Chris Mungall causally downstream of Chris Mungall immediately causally downstream of 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 Chris Mungall directly positively regulates directly activates (process to process) directly activates 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 Chris Mungall indirectly positively regulates indirectly activates Chris Mungall directly negatively regulates directly inhibits (process to process) directly inhibits Chris Mungall indirectly negatively regulates indirectly inhibits This relation groups causal relations between material entities and causal relations between processes This branch of the ontology deals with causal relations between entities. It is divided into two branches: causal relations between occurrents/processes, and causal relations between material entities. We take an 'activity flow-centric approach', with the former as primary, and define causal relations between material entities in terms of causal relations between occurrents. To define causal relations in an activity-flow type network, we make use of 3 primitives: * Temporal: how do the intervals of the two occurrents relate? * Is the causal relation regulatory? * Is the influence positive or negative The first of these can be formalized in terms of the Allen Interval Algebra. Informally, the 3 bins we care about are 'direct', 'indirect' or overlapping. Note that all causal relations should be classified under a RO temporal relation (see the branch under 'temporally related to'). Note that all causal relations are temporal, but not all temporal relations are causal. Two occurrents can be related in time without being causally connected. We take causal influence to be primitive, elucidated as being such that has the upstream changed, some qualities of the donwstream would necessarily be modified. For the second, we consider a relationship to be regulatory if the system in which the activities occur is capable of altering the relationship to achieve some objective. This could include changing the rate of production of a molecule. For the third, we consider the effect of the upstream process on the output(s) of the downstream process. If the level of output is increased, or the rate of production of the output is increased, then the direction is increased. Direction can be positive, negative or neutral or capable of either direction. Two positives in succession yield a positive, two negatives in succession yield a positive, otherwise the default assumption is that the net effect is canceled and the influence is neutral. Each of these 3 primitives can be composed to yield a cross-product of different relation types. Chris Mungall Do not use this relation directly. It is intended as a grouping for a diverse set of relations, all involving cause and effect. causally related to p is causally upstream of q if and only if p precedes q and p and q are linked in a causal chain Chris Mungall causally upstream of p is immediately causally upstream of q iff both (a) p immediately precedes q and (b) p is causally upstream of q. In addition, the output of p must be an input of q. Chris Mungall immediately causally upstream of p1 directly provides input for p2 iff there exists some c such that p1 has_output c and p2 has_input c 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 Chris Mungall directly provides input for (process to process) directly provides input for transitive form of directly_provides_input_for Chris Mungall 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') transitively provides input for (process to process) transitively provides input for p 'causally upstream or within' q iff (1) the end of p is before the end of q and (2) the execution of p exerts some causal influence over the outputs of q; i.e. if p was abolished or the outputs of p were to be modified, this would necessarily affect q. We would like to make this disjoint with 'preceded by', but this is prohibited in OWL2 Chris Mungall influences (processual) affects causally upstream of or within inverse of causally upstream of or within Chris Mungall causally downstream of or within 'otolith organ' SubClassOf 'composed primarily of' some 'calcium carbonate' x composed_primarily_of y if and only if more than half of the mass of x is made from y or units of the same type as y. x composed_primarily_of y iff: more than half of the mass of x is made from parts of y Chris Mungall UBREL:0000002 RO:0002473 uberon composed_primarily_of composed_primarily_of composed primarily of A relationship between a material entity and a process where the material entity has some causal role that influences the process causal agent in p is causally related to q if and only if p or any part of p and q or any part of q are linked by a chain of events where each event pair is one of direct activation or direct inhibition. p may be upstream, downstream, part of or a container of q. Chris Mungall Do not use this relation directly. It is intended as a grouping for a diverse set of relations, all involving cause and effect. causal relation between processes Chris Mungall depends on The intent is that the process branch of the causal property hierarchy is primary (causal relations hold between occurrents/processes), and that the material branch is defined in terms of the process branch Chris Mungall Do not use this relation directly. It is intended as a grouping for a diverse set of relations, all involving cause and effect. causal relation between material entities A coral reef environment is determined by a particular coral reef s determined by f if and only if s is a type of system, and f is a material entity that is part of s, such that f exerts a strong causal influence on the functioning of s, and the removal of f would cause the collapse of s. The label for this relation is probably too general for its restricted use, where the domain is a system. It may be relabeled in future Chris Mungall determined by (system to material entity) Chris Mungall Pier Buttigieg RO:0002507 uberon has_material_contribution_from has_material_contribution_from determined by has material contribution from inverse of determined by Chris Mungall determines (material entity to system) determines s 'determined by part of' w if and only if there exists some f such that (1) s 'determined by' f and (2) f part_of w, or f=w. Chris Mungall determined by part of Chris Mungall causally influenced by (material entity to material entity) causally influenced by Holds between materal entities a and b if the activity of a is causally upstream of the activity of b, or causally upstream of a an activity that modifies b Chris Mungall causally influences (material entity to material entity) causally influences Process(P1) directly regulates process(P2) iff: P1 regulates P2 via direct physical interaction between an agent executing P1 (or some part of P1) and an agent executing P2 (or some part of P2). For example, if protein A has protein binding activity(P1) that targets protein B and this binding regulates the kinase activity (P2) of protein B then P1 directly regulates P2. Chris Mungall directly regulates (processual) directly regulates A relationship that holds between a material entity and a process in which causality is involved, with either the material entity or some part of the material entity exerting some influence over the process, or the process influencing some aspect of the material entity. Do not use this relation directly. It is intended as a grouping for a diverse set of relations, all involving cause and effect. Chris Mungall causal relation between material entity and a process Inverse of 'causal agent in' has causal agent 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. Do not use this relation directly. It is intended as a grouping for a diverse set of relations, all involving cause and effect. related via dependence to Process(P1) directly postively regulates process(P2) iff: P1 positively regulates P2 via direct physical interaction between an agent executing P1 (or some part of P1) and an agent executing P2 (or some part of P2). For example, if protein A has protein binding activity(P1) that targets protein B and this binding positively regulates the kinase activity (P2) of protein B then P1 directly positively regulates P2. directly positively regulates (process to process) directly positively regulates Process(P1) directly negatively regulates process(P2) iff: P1 negatively regulates P2 via direct physical interaction between an agent executing P1 (or some part of P1) and an agent executing P2 (or some part of P2). For example, if protein A has protein binding activity(P1) that targets protein B and this binding negatively regulates the kinase activity (P2) of protein B then P1 directly negatively regulates P2. directly negatively regulates (process to process) directly negatively regulates cjm 2018-03-13T23:55:05Z causally upstream of or within, negative effect cjm 2018-03-13T23:55:19Z causally upstream of or within, positive effect Relation between biological objects that resemble or are related to each other sufficiently to warrant a comparison. TODO: Add homeomorphy axiom ECO:0000041 SO:similar_to sameness similar to correspondence resemblance in similarity relationship with has start time has characteristics has start location has end location has end time uses vehicle has passenger entity Entity entity Julius Caesar Verdi’s Requiem the Second World War your body mass index BFO 2 Reference: In all areas of empirical inquiry we encounter general terms of two sorts. First are general terms which refer to universals or types:animaltuberculosissurgical procedurediseaseSecond, are general terms used to refer to groups of entities which instantiate a given universal but do not correspond to the extension of any subuniversal of that universal because there is nothing intrinsic to the entities in question by virtue of which they – and only they – are counted as belonging to the given group. Examples are: animal purchased by the Emperortuberculosis diagnosed on a Wednesdaysurgical procedure performed on a patient from Stockholmperson identified as candidate for clinical trial #2056-555person who is signatory of Form 656-PPVpainting by Leonardo da VinciSuch terms, which represent what are called ‘specializations’ in [81 Entity doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example Werner Ceusters 'portions of reality' include 4 sorts, entities (as BFO construes them), universals, configurations, and relations. It is an open question as to whether entities as construed in BFO will at some point also include these other portions of reality. See, for example, 'How to track absolutely everything' at http://www.referent-tracking.com/_RTU/papers/CeustersICbookRevised.pdf An entity is anything that exists or has existed or will exist. (axiom label in BFO2 Reference: [001-001]) entity continuant Continuant An entity that exists in full at any time in which it exists at all, persists through time while maintaining its identity and has no temporal parts. BFO 2 Reference: Continuant entities are entities which can be sliced to yield parts only along the spatial dimension, yielding for example the parts of your table which we call its legs, its top, its nails. ‘My desk stretches from the window to the door. It has spatial parts, and can be sliced (in space) in two. With respect to time, however, a thing is a continuant.’ [60, p. 240 Continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example, in an expansion involving bringing in some of Ceuster's other portions of reality, questions are raised as to whether universals are continuants A continuant is an entity that persists, endures, or continues to exist through time while maintaining its identity. (axiom label in BFO2 Reference: [008-002]) if b is a continuant and if, for some t, c has_continuant_part b at t, then c is a continuant. (axiom label in BFO2 Reference: [126-001]) if b is a continuant and if, for some t, cis continuant_part of b at t, then c is a continuant. (axiom label in BFO2 Reference: [009-002]) if b is a material entity, then there is some temporal interval (referred to below as a one-dimensional temporal region) during which b exists. (axiom label in BFO2 Reference: [011-002]) (forall (x y) (if (and (Continuant x) (exists (t) (continuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [009-002] (forall (x y) (if (and (Continuant x) (exists (t) (hasContinuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [126-001] (forall (x) (if (Continuant x) (Entity x))) // axiom label in BFO2 CLIF: [008-002] (forall (x) (if (Material Entity x) (exists (t) (and (TemporalRegion t) (existsAt x t))))) // axiom label in BFO2 CLIF: [011-002] continuant occurrent Occurrent occurrent An entity that has temporal parts and that happens, unfolds or develops through time. BFO 2 Reference: every occurrent that is not a temporal or spatiotemporal region is s-dependent on some independent continuant that is not a spatial region BFO 2 Reference: s-dependence obtains between every process and its participants in the sense that, as a matter of necessity, this process could not have existed unless these or those participants existed also. A process may have a succession of participants at different phases of its unfolding. Thus there may be different players on the field at different times during the course of a football game; but the process which is the entire game s-depends_on all of these players nonetheless. Some temporal parts of this process will s-depend_on on only some of the players. Occurrent doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. An example would be the sum of a process and the process boundary of another process. Simons uses different terminology for relations of occurrents to regions: Denote the spatio-temporal location of a given occurrent e by 'spn[e]' and call this region its span. We may say an occurrent is at its span, in any larger region, and covers any smaller region. Now suppose we have fixed a frame of reference so that we can speak not merely of spatio-temporal but also of spatial regions (places) and temporal regions (times). The spread of an occurrent, (relative to a frame of reference) is the space it exactly occupies, and its spell is likewise the time it exactly occupies. We write 'spr[e]' and `spl[e]' respectively for the spread and spell of e, omitting mention of the frame. An occurrent is an entity that unfolds itself in time or it is the instantaneous boundary of such an entity (for example a beginning or an ending) or it is a temporal or spatiotemporal region which such an entity occupies_temporal_region or occupies_spatiotemporal_region. (axiom label in BFO2 Reference: [077-002]) Every occurrent occupies_spatiotemporal_region some spatiotemporal region. (axiom label in BFO2 Reference: [108-001]) b is an occurrent entity iff b is an entity that has temporal parts. (axiom label in BFO2 Reference: [079-001]) (forall (x) (if (Occurrent x) (exists (r) (and (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion x r))))) // axiom label in BFO2 CLIF: [108-001] (forall (x) (iff (Occurrent x) (and (Entity x) (exists (y) (temporalPartOf y x))))) // axiom label in BFO2 CLIF: [079-001] occurrent ic IndependentContinuant a chair a heart a leg a molecule a spatial region an atom an orchestra. an organism the bottom right portion of a human torso the interior of your mouth A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything. b is an independent continuant = Def. b is a continuant which is such that there is no c and no t such that b s-depends_on c at t. (axiom label in BFO2 Reference: [017-002]) For any independent continuant b and any time t there is some spatial region r such that b is located_in r at t. (axiom label in BFO2 Reference: [134-001]) For every independent continuant b and time t during the region of time spanned by its life, there are entities which s-depends_on b during t. (axiom label in BFO2 Reference: [018-002]) (forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001] (forall (x t) (if (and (IndependentContinuant x) (existsAt x t)) (exists (y) (and (Entity y) (specificallyDependsOnAt y x t))))) // axiom label in BFO2 CLIF: [018-002] (iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002] independent continuant spatial region t-region TemporalRegion Temporal region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the mereological sum of a temporal instant and a temporal interval that doesn't overlap the instant. In this case the resultant temporal region is neither 0-dimensional nor 1-dimensional A temporal region is an occurrent entity that is part of time as defined relative to some reference frame. (axiom label in BFO2 Reference: [100-001]) All parts of temporal regions are temporal regions. (axiom label in BFO2 Reference: [101-001]) Every temporal region t is such that t occupies_temporal_region t. (axiom label in BFO2 Reference: [119-002]) (forall (r) (if (TemporalRegion r) (occupiesTemporalRegion r r))) // axiom label in BFO2 CLIF: [119-002] (forall (x y) (if (and (TemporalRegion x) (occurrentPartOf y x)) (TemporalRegion y))) // axiom label in BFO2 CLIF: [101-001] (forall (x) (if (TemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [100-001] temporal region process Process process a process of cell-division, \ a beating of the heart a process of meiosis a process of sleeping the course of a disease the flight of a bird the life of an organism your process of aging. An occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. p is a process = Def. p is an occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. (axiom label in BFO2 Reference: [083-003]) BFO 2 Reference: The realm of occurrents is less pervasively marked by the presence of natural units than is the case in the realm of independent continuants. Thus there is here no counterpart of ‘object’. In BFO 1.0 ‘process’ served as such a counterpart. In BFO 2.0 ‘process’ is, rather, the occurrent counterpart of ‘material entity’. Those natural – as contrasted with engineered, which here means: deliberately executed – units which do exist in the realm of occurrents are typically either parasitic on the existence of natural units on the continuant side, or they are fiat in nature. Thus we can count lives; we can count football games; we can count chemical reactions performed in experiments or in chemical manufacturing. We cannot count the processes taking place, for instance, in an episode of insect mating behavior.Even where natural units are identifiable, for example cycles in a cyclical process such as the beating of a heart or an organism’s sleep/wake cycle, the processes in question form a sequence with no discontinuities (temporal gaps) of the sort that we find for instance where billiard balls or zebrafish or planets are separated by clear spatial gaps. Lives of organisms are process units, but they too unfold in a continuous series from other, prior processes such as fertilization, and they unfold in turn in continuous series of post-life processes such as post-mortem decay. Clear examples of boundaries of processes are almost always of the fiat sort (midnight, a time of death as declared in an operating theater or on a death certificate, the initiation of a state of war) (iff (Process a) (and (Occurrent a) (exists (b) (properTemporalPartOf b a)) (exists (c t) (and (MaterialEntity c) (specificallyDependsOnAt a c t))))) // axiom label in BFO2 CLIF: [083-003] process disposition Disposition an atom of element X has the disposition to decay to an atom of element Y certain people have a predisposition to colon cancer children are innately disposed to categorize objects in certain ways. the cell wall is disposed to filter chemicals in endocytosis and exocytosis BFO 2 Reference: Dispositions exist along a strength continuum. Weaker forms of disposition are realized in only a fraction of triggering cases. These forms occur in a significant number of cases of a similar type. b is a disposition means: b is a realizable entity & b’s bearer is some material entity & b is such that if it ceases to exist, then its bearer is physically changed, & b’s realization occurs when and because this bearer is in some special physical circumstances, & this realization occurs in virtue of the bearer’s physical make-up. (axiom label in BFO2 Reference: [062-002]) If b is a realizable entity then for all t at which b exists, b s-depends_on some material entity at t. (axiom label in BFO2 Reference: [063-002]) (forall (x t) (if (and (RealizableEntity x) (existsAt x t)) (exists (y) (and (MaterialEntity y) (specificallyDepends x y t))))) // axiom label in BFO2 CLIF: [063-002] (forall (x) (if (Disposition x) (and (RealizableEntity x) (exists (y) (and (MaterialEntity y) (bearerOfAt x y t)))))) // axiom label in BFO2 CLIF: [062-002] disposition realizable RealizableEntity the disposition of this piece of metal to conduct electricity. the disposition of your blood to coagulate the function of your reproductive organs the role of being a doctor the role of this boundary to delineate where Utah and Colorado meet A specifically dependent continuant that inheres in continuant entities and are not exhibited in full at every time in which it inheres in an entity or group of entities. The exhibition or actualization of a realizable entity is a particular manifestation, functioning or process that occurs under certain circumstances. To say that b is a realizable entity is to say that b is a specifically dependent continuant that inheres in some independent continuant which is not a spatial region and is of a type instances of which are realized in processes of a correlated type. (axiom label in BFO2 Reference: [058-002]) All realizable dependent continuants have independent continuants that are not spatial regions as their bearers. (axiom label in BFO2 Reference: [060-002]) (forall (x t) (if (RealizableEntity x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (bearerOfAt y x t))))) // axiom label in BFO2 CLIF: [060-002] (forall (x) (if (RealizableEntity x) (and (SpecificallyDependentContinuant x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (inheresIn x y)))))) // axiom label in BFO2 CLIF: [058-002] realizable entity quality Quality the ambient temperature of this portion of air the color of a tomato the length of the circumference of your waist the mass of this piece of gold. the shape of your nose the shape of your nostril a quality is a specifically dependent continuant that, in contrast to roles and dispositions, does not require any further process in order to be realized. (axiom label in BFO2 Reference: [055-001]) If an entity is a quality at any time that it exists, then it is a quality at every time that it exists. (axiom label in BFO2 Reference: [105-001]) (forall (x) (if (Quality x) (SpecificallyDependentContinuant x))) // axiom label in BFO2 CLIF: [055-001] (forall (x) (if (exists (t) (and (existsAt x t) (Quality x))) (forall (t_1) (if (existsAt x t_1) (Quality x))))) // axiom label in BFO2 CLIF: [105-001] quality sdc SpecificallyDependentContinuant Reciprocal specifically dependent continuants: the function of this key to open this lock and the mutually dependent disposition of this lock: to be opened by this key of one-sided specifically dependent continuants: the mass of this tomato of relational dependent continuants (multiple bearers): John’s love for Mary, the ownership relation between John and this statue, the relation of authority between John and his subordinates. the disposition of this fish to decay the function of this heart: to pump blood the mutual dependence of proton donors and acceptors in chemical reactions [79 the mutual dependence of the role predator and the role prey as played by two organisms in a given interaction the pink color of a medium rare piece of grilled filet mignon at its center the role of being a doctor the shape of this hole. the smell of this portion of mozzarella A continuant that inheres in or is borne by other entities. Every instance of A requires some specific instance of B which must always be the same. b is a relational specifically dependent continuant = Def. b is a specifically dependent continuant and there are n &gt; 1 independent continuants c1, … cn which are not spatial regions are such that for all 1 i &lt; j n, ci and cj share no common parts, are such that for each 1 i n, b s-depends_on ci at every time t during the course of b’s existence (axiom label in BFO2 Reference: [131-004]) b is a specifically dependent continuant = Def. b is a continuant & there is some independent continuant c which is not a spatial region and which is such that b s-depends_on c at every time t during the course of b’s existence. (axiom label in BFO2 Reference: [050-003]) Specifically dependent continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. We're not sure what else will develop here, but for example there are questions such as what are promises, obligation, etc. (iff (RelationalSpecificallyDependentContinuant a) (and (SpecificallyDependentContinuant a) (forall (t) (exists (b c) (and (not (SpatialRegion b)) (not (SpatialRegion c)) (not (= b c)) (not (exists (d) (and (continuantPartOfAt d b t) (continuantPartOfAt d c t)))) (specificallyDependsOnAt a b t) (specificallyDependsOnAt a c t)))))) // axiom label in BFO2 CLIF: [131-004] (iff (SpecificallyDependentContinuant a) (and (Continuant a) (forall (t) (if (existsAt a t) (exists (b) (and (IndependentContinuant b) (not (SpatialRegion b)) (specificallyDependsOnAt a b t))))))) // axiom label in BFO2 CLIF: [050-003] specifically dependent continuant role Role John’s role of husband to Mary is dependent on Mary’s role of wife to John, and both are dependent on the object aggregate comprising John and Mary as member parts joined together through the relational quality of being married. the priest role the role of a boundary to demarcate two neighboring administrative territories the role of a building in serving as a military target the role of a stone in marking a property boundary the role of subject in a clinical trial the student role A realizable entity the manifestation of which brings about some result or end that is not essential to a continuant in virtue of the kind of thing that it is but that can be served or participated in by that kind of continuant in some kinds of natural, social or institutional contexts. BFO 2 Reference: One major family of examples of non-rigid universals involves roles, and ontologies developed for corresponding administrative purposes may consist entirely of representatives of entities of this sort. Thus ‘professor’, defined as follows,b instance_of professor at t =Def. there is some c, c instance_of professor role & c inheres_in b at t.denotes a non-rigid universal and so also do ‘nurse’, ‘student’, ‘colonel’, ‘taxpayer’, and so forth. (These terms are all, in the jargon of philosophy, phase sortals.) By using role terms in definitions, we can create a BFO conformant treatment of such entities drawing on the fact that, while an instance of professor may be simultaneously an instance of trade union member, no instance of the type professor role is also (at any time) an instance of the type trade union member role (any more than any instance of the type color is at any time an instance of the type length).If an ontology of employment positions should be defined in terms of roles following the above pattern, this enables the ontology to do justice to the fact that individuals instantiate the corresponding universals – professor, sergeant, nurse – only during certain phases in their lives. b is a role means: b is a realizable entity & b exists because there is some single bearer that is in some special physical, social, or institutional set of circumstances in which this bearer does not have to be& b is not such that, if it ceases to exist, then the physical make-up of the bearer is thereby changed. (axiom label in BFO2 Reference: [061-001]) (forall (x) (if (Role x) (RealizableEntity x))) // axiom label in BFO2 CLIF: [061-001] role fiat object fiat object part object-aggregate ObjectAggregate a collection of cells in a blood biobank. a swarm of bees is an aggregate of members who are linked together through natural bonds a symphony orchestra an organization is an aggregate whose member parts have roles of specific types (for example in a jazz band, a chess club, a football team) defined by fiat: the aggregate of members of an organization defined through physical attachment: the aggregate of atoms in a lump of granite defined through physical containment: the aggregate of molecules of carbon dioxide in a sealed container defined via attributive delimitations such as: the patients in this hospital the aggregate of bearings in a constant velocity axle joint the aggregate of blood cells in your body the nitrogen atoms in the atmosphere the restaurants in Palo Alto your collection of Meissen ceramic plates. An entity a is an object aggregate if and only if there is a mutually exhaustive and pairwise disjoint partition of a into objects BFO 2 Reference: object aggregates may gain and lose parts while remaining numerically identical (one and the same individual) over time. This holds both for aggregates whose membership is determined naturally (the aggregate of cells in your body) and aggregates determined by fiat (a baseball team, a congressional committee). ISBN:978-3-938793-98-5pp124-158#Thomas Bittner and Barry Smith, 'A Theory of Granular Partitions', in K. Munn and B. Smith (eds.), Applied Ontology: An Introduction, Frankfurt/Lancaster: ontos, 2008, 125-158. b is an object aggregate means: b is a material entity consisting exactly of a plurality of objects as member_parts at all times at which b exists. (axiom label in BFO2 Reference: [025-004]) (forall (x) (if (ObjectAggregate x) (and (MaterialEntity x) (forall (t) (if (existsAt x t) (exists (y z) (and (Object y) (Object z) (memberPartOfAt y x t) (memberPartOfAt z x t) (not (= y z)))))) (not (exists (w t_1) (and (memberPartOfAt w x t_1) (not (Object w)))))))) // axiom label in BFO2 CLIF: [025-004] object aggregate site Site Manhattan Canyon) a hole in the interior of a portion of cheese a rabbit hole an air traffic control region defined in the airspace above an airport the Grand Canyon the Piazza San Marco the cockpit of an aircraft the hold of a ship the interior of a kangaroo pouch the interior of the trunk of your car the interior of your bedroom the interior of your office the interior of your refrigerator the lumen of your gut your left nostril (a fiat part – the opening – of your left nasal cavity) 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]) (forall (x) (if (Site x) (ImmaterialEntity x))) // axiom label in BFO2 CLIF: [034-002] site object Object atom cell cells and organisms engineered artifacts grain of sand molecule organelle organism planet solid portions of matter star 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. 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). 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 BFO 2 Reference: an object is a maximal causally unified material entity BFO 2 Reference: ‘objects’ are sometimes referred to as ‘grains’ [74 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]) object gdc GenericallyDependentContinuant The entries in your database are patterns instantiated as quality instances in your hard drive. The database itself is an aggregate of such patterns. When you create the database you create a particular instance of the generically dependent continuant type database. Each entry in the database is an instance of the generically dependent continuant type IAO: information content entity. the pdf file on your laptop, the pdf file that is a copy thereof on my laptop the sequence of this protein molecule; the sequence that is a copy thereof in that protein molecule. A continuant that is dependent on one or other independent continuant bearers. For every instance of A requires some instance of (an independent continuant type) B but which instance of B serves can change from time to time. b is a generically dependent continuant = Def. b is a continuant that g-depends_on one or more other entities. (axiom label in BFO2 Reference: [074-001]) (iff (GenericallyDependentContinuant a) (and (Continuant a) (exists (b t) (genericallyDependsOnAt a b t)))) // axiom label in BFO2 CLIF: [074-001] generically dependent continuant function Function the function of a hammer to drive in nails the function of a heart pacemaker to regulate the beating of a heart through electricity the function of amylase in saliva to break down starch into sugar BFO 2 Reference: In the past, we have distinguished two varieties of function, artifactual function and biological function. These are not asserted subtypes of BFO:function however, since the same function – for example: to pump, to transport – can exist both in artifacts and in biological entities. The asserted subtypes of function that would be needed in order to yield a separate monoheirarchy are not artifactual function, biological function, etc., but rather transporting function, pumping function, etc. A function is a disposition that exists in virtue of the bearer’s physical make-up and this physical make-up is something the bearer possesses because it came into being, either through evolution (in the case of natural biological entities) or through intentional design (in the case of artifacts), in order to realize processes of a certain sort. (axiom label in BFO2 Reference: [064-001]) (forall (x) (if (Function x) (Disposition x))) // axiom label in BFO2 CLIF: [064-001] function 1d-t-region OneDimensionalTemporalRegion the temporal region during which a process occurs. BFO 2 Reference: A temporal interval is a special kind of one-dimensional temporal region, namely one that is self-connected (is without gaps or breaks). A one-dimensional temporal region is a temporal region that is extended. (axiom label in BFO2 Reference: [103-001]) (forall (x) (if (OneDimensionalTemporalRegion x) (TemporalRegion x))) // axiom label in BFO2 CLIF: [103-001] one-dimensional temporal region material MaterialEntity a flame a forest fire a human being a hurricane a photon a puff of smoke a sea wave a tornado an aggregate of human beings. an energy wave an epidemic the undetached arm of a human being An independent continuant that is spatially extended whose identity is independent of that of other entities and can be maintained through time. BFO 2 Reference: Material entities (continuants) can preserve their identity even while gaining and losing material parts. Continuants are contrasted with occurrents, which unfold themselves in successive temporal parts or phases [60 BFO 2 Reference: Object, Fiat Object Part and Object Aggregate are not intended to be exhaustive of Material Entity. Users are invited to propose new subcategories of Material Entity. BFO 2 Reference: ‘Matter’ is intended to encompass both mass and energy (we will address the ontological treatment of portions of energy in a later version of BFO). A portion of matter is anything that includes elementary particles among its proper or improper parts: quarks and leptons, including electrons, as the smallest particles thus far discovered; baryons (including protons and neutrons) at a higher level of granularity; atoms and molecules at still higher levels, forming the cells, organs, organisms and other material entities studied by biologists, the portions of rock studied by geologists, the fossils studied by paleontologists, and so on.Material entities are three-dimensional entities (entities extended in three spatial dimensions), as contrasted with the processes in which they participate, which are four-dimensional entities (entities extended also along the dimension of time).According to the FMA, material entities may have immaterial entities as parts – including the entities identified below as sites; for example the interior (or ‘lumen’) of your small intestine is a part of your body. BFO 2.0 embodies a decision to follow the FMA here. A material entity is an independent continuant that has some portion of matter as proper or improper continuant part. (axiom label in BFO2 Reference: [019-002]) Every entity which has a material entity as continuant part is a material entity. (axiom label in BFO2 Reference: [020-002]) every entity of which a material entity is continuant part is also a material entity. (axiom label in BFO2 Reference: [021-002]) (forall (x) (if (MaterialEntity x) (IndependentContinuant x))) // axiom label in BFO2 CLIF: [019-002] (forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt x y t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [021-002] (forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt y x t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [020-002] material entity immaterial ImmaterialEntity BFO 2 Reference: Immaterial entities are divided into two subgroups:boundaries and sites, which bound, or are demarcated in relation, to material entities, and which can thus change location, shape and size and as their material hosts move or change shape or size (for example: your nasal passage; the hold of a ship; the boundary of Wales (which moves with the rotation of the Earth) [38, 7, 10 immaterial entity 0d-t-region ZeroDimensionalTemporalRegion a temporal region that is occupied by a process boundary right now the moment at which a child is born the moment at which a finger is detached in an industrial accident the moment of death. temporal instant. A zero-dimensional temporal region is a temporal region that is without extent. (axiom label in BFO2 Reference: [102-001]) (forall (x) (if (ZeroDimensionalTemporalRegion x) (TemporalRegion x))) // axiom label in BFO2 CLIF: [102-001] zero-dimensional temporal region Material anatomical entity that is a member of an individual species or is a viral or viroid particle. organism or virus or viroid https://en.wikipedia.org/wiki/Geographic_feature macroscopic spatial feature envoPolar May appear on a map. geographic feature An anthropogenic geographic feature is a geographic feature resulting from the influence of human beings on nature. An anthropogenic geographic feature is a geographic feature resulting from the influence of human beings on nature. FTT:78 TGN:50001 man-made feature manmade feature anthropogenic geographic feature Place or area with clustered or scattered buildings and a permanent human population. place FTT:1097 FTT:33 Geonames:P.PPL Geonames:P.PPLS TGN:22201 TGN:83002 https://en.wikipedia.org/wiki/Populated_place inhabited place populated place populated places settlement ENVO inhabited region populated locality ENVO:00000062 populated place A feature that has been constructed by deliberate human effort. "constructed" should probably be made something like a quality and this class obsoleted or filled only by inference constructed feature construction A permanent walled and roofed construction. FTT:42 Geonames:S.BLDG LTER:76 TGN:51011 https://en.wikipedia.org/wiki/Building BUILDING building building Incorporated populated place. urban area EcoLexicon:city FTT:430 FTT:483 FTT:484 FTT:485 SWEETRealm:City TGN:83020 TGN:83040 TGN:83043 https://en.wikipedia.org/wiki/City ENVO ENVO:00000856 city An environmental feature that is, or can be, contained and is predominantly composed of one or a few types of stuff. An object which is large enough to be visible to humans, but small enough that humans can handle the object (i.e. transport it, examine it, etc) in its entirety with little to no technological assistance. mesoscopic physical object This is a legacy class from ENVO's early versions. It will be depopulated and filled in by inference using a PATO quality. Not to be confused with "mesoscopic" as defined in physics, which deals with objects typically between 10e-6 and 10-8 meters in diameter. mesoscopic physical object physical object of mesoscopic geological size A material entity which determines an environmental system. ENVO ENVO:00002297 A material entity determines an environmental system when its removal would cause the collapse of that system. For example, a seamount determines a seamount environment, acting as its 'hub'. This class is currently being aligned to the Basic Formal Ontology. Following this alignment, its definition and the definitions of its subclasses will be revised. environmental feature A material entity that has been processed by humans or their technology in any way, including intermediate products as well as final products. manufactured good manufactured product ENVO ENVO:00003075 anthropogenic abiotic mesoscopic feature A portion of environmental material is a fiat object part which forms the medium or part of the medium of an environmental system. A portion of environmental material is a fiat object which forms the medium or part of the medium of an environmental system. portion of environmental material Everything under this parent must be a mass noun. All subclasses are to be understood as being composed primarily of the named entity, rather than restricted to that entity. For example, "ENVO:water" is to be understood as "environmental material composed primarly of some CHEBI:water". This class is currently being aligned to the Basic Formal Ontology. Following this alignment, its definition and the definitions of its subclasses will be revised. environmental material ENVO ENVO:01000010 abiotic mesoscopic physical object A system which has the disposition to environ one or more material entities. 2013-09-23T16:04:08Z EcoLexicon:environment environment In ENVO's alignment with the Basic Formal Ontology, this class is being considered as a subclass of a proposed BFO class "system". The relation "environed_by" is also under development. Roughly, a system which includes a material entity (at least partially) within its site and causally influences that entity may be considered to environ it. Following the completion of this alignment, this class' definition and the definitions of its subclasses will be revised. environmental system An anthropogenic environment is an environmental system which is the product of human activity. Unsatisfactory definition here. Must consider the threshold that makes an environmental system anthropogenic. anthropogenic environment A site which has its extent determined by the presence or influence of one or more components of an environmental system or the processes occurring therein. environmental area envoPolar Formerly, this class was an experimental class and a subclass of "environmental feature". It is now aligned to BFO. The class was not obsoleted as the core semantics maintained their stability through its transition. environmental zone A building part is a construction which is part of a building. Not recommended for annotation. This class is likely to be made into an inferred class as its subclasses are distributed among more meaningful superclasses (i.e. ceiling is_a surface layer). See for example, "building floor". The boundaries between building parts may be bona fide or fiat. building part Outer space is a hard vacuum containing a low density of particles, predominantly a plasma of hydrogen and helium as well as electromagnetic radiation, magnetic fields, neutrinos, dust and cosmic rays that exists between celestial bodies. space envoAstro outer space A settlement with a high density of buildings and inhabitants. See also: http://www.ecotope.org/anthromes/v1/guide/urban/12_dense_settlements/default.aspx The thresholds for what makes a settlment "dense" can be determined as needed. If there is a specific threshold that should be added to ENVO, please make a new class request. dense settlement A self-contained constructed feature used by one or more households as a home, such as a house, apartment, mobile home, houseboat or other 'substantial' structure. A dwelling typically includes nearby outbuildings, sheds etc. within the curtilage of the property, excluding any 'open fields beyond'. It has significance in relation to search and seizure, conveyancing of real property, burglary, trespass, and land use planning. See https://github.com/EnvironmentOntology/envo/issues/264 for discussion. This definition needs a lot of clean up and links to household and related classes must be made to form logical definitions for inference to work. Subclasses will be added by inference. human dwelling An area which is outside of a town, city, or urban area. Rural areas are primarily used for agriculture or pastoralism and may contain rural settlements. A class created fro SDGIO. The definition of rural is highly varied, dealing with areas, settlements, and populations interchangeably. The 'rural' classes in ENVO aim to clarify these differing definitions. See issue #272. rural area An object which is naturally occuring, bound together by gravitational or electromagnetic forces, and surrounded by space. celestial body envoAstro Astronomical bodies are usually cohesive, thus the use of the term 'object' sensu BFO 'object'. astronomical body 1 An object which is composed of one or more gravitationally bound structures that are associated with a position in space. celestial object envoAstro If there is only one astronomical body involved, this class is equivalent to ENVO:01000799. This may be problematic with reasoning, but it seems to be true to the rather fuzzy definitions found thus far. astronomical object A material part of an astronomical body. envoAstro envoPolar astronomical body part A biosphere is a part of an astronomical body which includes, as parts, all the living entities within the gravitational sphere of influence of that body, as well as the non-living and dead entities with which they interact. A biosphere is an environmental system which includes, as parts, all the living entities within the gravitational sphere of influence of an astronomical body, and the non-living and dead entities which they interact with. Whether this class should be grouped with classes such as "hydrosphere" and "cryosphere" requires some discussion. envoAstro envoPolar The gravitational sphere of influence referenced in this class' definition is the Hill sphere: a region in which an object dominates the attraction of satellites despite gravitational perturbations. biosphere An environmental system in which minimal to no anthropisation has occurred and non-human agents are the primary determinants of the system's dynamics and composition. non-anthropised environment non-anthropized environment In most contexts, 'natural' is defined by the lack of intervention or influence by humans and their activities. On Earth, most environments fall on a scale between completely natural and anthropised. natural environment A process during which a natural environmental system is altered by human action. anthropization An area may be classified as anthropized even though it looks natural, such as grasslands that have been deforested by humans. It can be difficult to determine how much a site has been anthropized in the case of urbanization because one must be able to estimate the state of the landscape before significant human action. anthropisation A part of an astronomical body which includes, as parts, all the entities which have been constructed or manufactured by humans or their technology and which are within the gravitational sphere of influence of that body. An environmental system which includes, as parts, all the entities which have been constructed or manufactured by humans or their technology within the gravitational sphere of influence of an astronomical body. envoAstro The gravitational sphere of influence referenced in this class' definition is the Hill sphere: a region in which an object dominates the attraction of satellites despite gravitational perturbations. technosphere A planned process during which raw or recycled materials are transformed into products for use or sale using labour and machines, tools, chemical and biological processing, or formulation. The term may refer to a range of human activity, from handicraft to high tech, but is most commonly applied to industrial production, in which raw materials are transformed into finished goods on a large scale. manufacturing process An process during which natural or manufactured materials and products are processed and arranged by humans or their technology into structures. The nature of "structures" must be further specified. construction process An environmental system which includes both living and non-living components. LTER:173 This class will be primarily filled by inference, any environmental system which necessarily includes living parts should be autoclassified here. ecosystem A quality which inheres in a astronomical body or astronomical body part by virtue of the variation in its material composition, participation in geological processes, and the variation in is land- and hydroforms. Materials which are usually assessed when appraising geodiversity include minerals, rocks, sediments, fossils, soils and water. Landforms factored into geodiversity metrics typically include folds, faults, and other expressions of morphology or relations between units of earth material. Natural processes that are included in measures of geodiversity are those which either maintain or change materials or geoforms, including tectonics, sediment transport, and pedogenesis. Geodiversity does not usually factor in anthropogenic entities. geodiversity A process during which an ecosystem, its parts, or the processes it participates in are modified by human intervention to accomplish an objective. ecosystem management Umweltmaßnahme environmental management active ecosystem management process An environmental zone which is bounded by material parts of a land mass or the atmosphere or space adjacent to it. terrestrial environmental zone A terrestrial zone which is bounded by constructed, manufactured, or other anthropogenic material entities. anthropised terrestrial environmental zone A process during which an ecosystem - natural or anthropised - is changed by the actions of humans. http://orcid.org/0000-0002-4366-3088 anthropogenic ecosystem conversion process A planned process during which humans access and obtain resources, benefits, or services from a natural or anthropised ecosystem. http://orcid.org/0000-0002-4366-3088 planned environmental usage process A planned environmental usage process during which an environment supports the settlement and dwelling of a community of humans. http://orcid.org/0000-0002-4366-3088 residential This class does not include environments which are primarily used for commerce or industry. usage of an environment for residential activity A building which is primarily used for the long-term habitation of humans. http://orcid.org/0000-0002-4366-3088 2018-10-04T14:04:49Z domestic building A planned process that is the movement of people, animals and goods from one location to another. cjm transportation A process in which includes the components of an environmental system as participants. This is a convenience class for organisation and should not be used for annotation. environmental system process A process during which humans apply technology to alter the magnitude, duration, rate, or impact of an environmental process. Relabel the obo foundry unique label to be generic process anthropogenic modulatory intervention process An environmental process which is driven by the action of humans. anthropogenic environmental process A process during which material is displaced from its original location and transported either to a new location or back to the original location. http://orcid.org/0000-0002-3410-4655 http://orcid.org/0000-0002-4366-3088 envoPolar Experimental class for structural purposes not recommended for annotation. material transport process A process during which a portion of some environmental material is converted into a different material or a collection of materials. A different material transformation process class (or similarly named class) pertaining to the conversion of a specific chemical into another belongs in CHEBI and or REX ontologies. http://orcid.org/0000-0002-3410-4655 http://orcid.org/0000-0002-4366-3088 envoPolar Experimental class for structural purposes not recommended for annotation. A material transformation process only refers to ENVO:environmental material classes (e.g. bulk and typically impure substances), rather than transformations converting a specific chemical into another. material transformation process objective specification In the protocol of a ChIP assay the objective specification says to identify protein and DNA interaction. a directive information entity that describes an intended process endpoint. When part of a plan specification the concretization is realized in a planned process in which the bearer tries to effect the world so that the process endpoint is achieved. 2009-03-16: original definition when imported from OBI read: "objective is an non realizable information entity which can serve as that proper part of a plan towards which the realization of the plan is directed." 2014-03-31: In the example of usage ("In the protocol of a ChIP assay the objective specification says to identify protein and DNA interaction") there is a protocol which is the ChIP assay protocol. In addition to being concretized on paper, the protocol can be concretized as a realizable entity, such as a plan that inheres in a person. The objective specification is the part that says that some protein and DNA interactions are identified. This is a specification of a process endpoint: the boundary in the process before which they are not identified and after which they are. During the realization of the plan, the goal is to get to the point of having the interactions, and participants in the realization of the plan try to do that. Answers the question, why did you do this experiment? PERSON: Alan Ruttenberg PERSON: Barry Smith PERSON: Bjoern Peters PERSON: Jennifer Fostel goal specification OBI Plan and Planned Process/Roles Branch OBI_0000217 objective specification Pour the contents of flask 1 into flask 2 a directive information entity that describes an action the bearer will take Alan Ruttenberg OBI Plan and Planned Process branch action specification software Software is a plan specification composed of a series of instructions that can be interpreted by or directly executed by a processing unit. see sourceforge tracker discussion at http://sourceforge.net/tracker/index.php?func=detail&aid=1958818&group_id=177891&atid=886178 PERSON: Alan Ruttenberg PERSON: Bjoern Peters PERSON: Chris Stoeckert PERSON: Melanie Courtot GROUP: OBI software data item Data items include counts of things, analyte concentrations, and statistical summaries. 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. 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. 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. 2009-03-16: removed datum as alternative term as datum specifically refers to singular form, and is thus not an exact synonym. 2014-03-31: See discussion at http://odontomachus.wordpress.com/2014/03/30/aboutness-objects-propositions/ 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 PERSON: Alan Ruttenberg PERSON: Chris Stoeckert PERSON: Jonathan Rees data data item information content entity Examples of information content entites include journal articles, data, graphical layouts, and graphs. A generically dependent continuant that is about some thing. An information content entity is an entity that is generically dependent on some artifact and stands in relation of aboutness to some entity 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). 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. PERSON: Chris Stoeckert OBI_0000142 information content entity information content entity An information content entity whose concretizations indicate to their bearer how to realize them in a process. 2009-03-16: provenance: a term realizable information entity was proposed for OBI (OBI_0000337) , edited by the PlanAndPlannedProcess branch. Original definition was "is the specification of a process that can be concretized and realized by an actor" with alternative term "instruction".It has been subsequently moved to IAO where the objective for which the original term was defined was satisfied with the definitionof this, different, term. 2013-05-30 Alan Ruttenberg: What differentiates a directive information entity from an information concretization is that it can have concretizations that are either qualities or realizable entities. The concretizations that are realizable entities are created when an individual chooses to take up the direction, i.e. has the intention to (try to) realize it. 8/6/2009 Alan Ruttenberg: Changed label from "information entity about a realizable" after discussions at ICBO Werner pushed back on calling it realizable information entity as it isn't realizable. However this name isn't right either. An example would be a recipe. The realizable entity would be a plan, but the information entity isn't about the plan, it, once concretized, *is* the plan. -Alan PERSON: Alan Ruttenberg PERSON: Bjoern Peters directive information entity algorithm PMID: 18378114.Genomics. 2008 Mar 28. LINKGEN: A new algorithm to process data in genetic linkage studies. A plan specification which describes the inputs and output of mathematical functions as well as workflow of execution for achieving an predefined objective. Algorithms are realized usually by means of implementation as computer programs for execution by automata. Philippe Rocca-Serra PlanAndPlannedProcess Branch OBI_0000270 adapted from discussion on OBI list (Matthew Pocock, Christian Cocos, Alan Ruttenberg) algorithm curation status specification The curation status of the term. The allowed values come from an enumerated list of predefined terms. See the specification of these instances for more detailed definitions of each enumerated value. Better to represent curation as a process with parts and then relate labels to that process (in IAO meeting) PERSON:Bill Bug GROUP:OBI:<http://purl.obolibrary.org/obo/obi> OBI_0000266 curation status specification data about an ontology part is a data item about a part of an ontology, for example a term Person:Alan Ruttenberg data about an ontology part plan specification PMID: 18323827.Nat Med. 2008 Mar;14(3):226.New plan proposed to help resolve conflicting medical advice. A directive information entity with action specifications and objective specifications as parts that, when concretized, is realized in a process in which the bearer tries to achieve the objectives by taking the actions specified. 2009-03-16: provenance: a term a plan was proposed for OBI (OBI_0000344) , edited by the PlanAndPlannedProcess branch. Original definition was " a plan is a specification of a process that is realized by an actor to achieve the objective specified as part of the plan". It has been subsequently moved to IAO where the objective for which the original term was defined was satisfied with the definitionof this, different, term. 2014-03-31: A plan specification can have other parts, such as conditional specifications. Alternative previous definition: a plan is a set of instructions that specify how an objective should be achieved Alan Ruttenberg OBI Plan and Planned Process branch OBI_0000344 2/3/2009 Comment from OBI review. Action specification not well enough specified. Conditional specification not well enough specified. Question whether all plan specifications have objective specifications. Request that IAO either clarify these or change definitions not to use them plan specification document A journal article, patent application, laboratory notebook, or a book A collection of information content entities intended to be understood together as a whole PERSON: Lawrence Hunter document Recording the current temperature in a laboratory notebook. Writing a journal article. Updating a patient record in a database. a planned process in which a document is created or added to by including the specified input in it. 6/11/9: Edited at OBI workshop. We need to be able identify a child form of information artifact which corresponds to something enduring (not brain like). This used to be restricted to physical document or digital entity as the output, but that excludes e.g. an audio cassette tape Bjoern Peters wikipedia http://en.wikipedia.org/wiki/Documenting documenting Colonel Klink giving Sergeant Schultz an order, Jake promising Jill to take her to the junior prom A planned process that is carried out by a conscious being or an organization, and is self-generated, directed towards another conscious being or an aggregate of conscious beings, an organization or an aggregate of organizations, and that needs to be perceived. A process that is carried out by a conscious being or an aggregate of conscious beings and is spontaneous, directed towards other conscious beings and aggregates thereof and needs to be perceived. Mathias Brochhausen MB: Regarding the use of the term 'sponteneous' in the definition: The term is used in the following meaning of being self generated. It does not stand in contrast to being planned. social act the claim of a piece of land, the obligation to pay rent to the owner of a rental property Socio-legal generically dependent continuants are generically dependent continuants that come into existence through declarations and are concretized as roles. They differ from information content entities in that they are not about something, but exist as quasi-abstract social entities. Socio-legal generically dependent continuants are not concretized as qualities inhering in independent continuants, but only as realizable entities borne by an organism or an aggregate of organisms. Mathias Brochhausen socio-legal generically dependent continuant my consenting verbally to buy a used TV set for $ 500, Jane Doe's signing of the divorce papers, John Robie's taking of Mrs. Steven's jewels A social act that brings about, transfers or revokes a socio-legal generically dependent continuant or brings about or revokes a role. Declarations do not depend on words spoken or written, but sometimes are merely actions, for instance the signing of a document. Mathias Brochhausen declaration a judge's role of signing a court order, a hospital committee's to sanction conformance to a specific guideline for hospital employees. A role inhering in a human being or an organization or an aggregate of any of the aforementioned that is realized by the bearer being the agent in a declaration. Mathias Brochhausen declaration performer role GC_ID:1 ncbi_taxonomy all NCBITaxon:1 root Viruses Vira Viridae viruses Viruses Teleostomi Euteleostomi bony vertebrates bony vertebrates Euteleostomi GC_ID:1 ncbi_taxonomy biota NCBITaxon:131567 cellular organisms Dipnotetrapodomorpha Boreotheria Boreoeutheria Bacteria eubacteria eubacteria Monera Procaryotae Prokaryota Prokaryotae bacteria not Bacteria Haeckel 1894 prokaryote prokaryotes Bacteria Homo/Pan/Gorilla group Homininae Archaea Archaebacteria Mendosicutes Metabacteria Monera Procaryotae Prokaryota Prokaryotae archaea prokaryote prokaryotes Archaea Eukaryota eucaryotes eukaryotes GC_ID:1 PMID:23020233 eucaryotes eukaryotes ncbi_taxonomy Eucarya Eucaryotae Eukarya Eukaryotae eukaryotes NCBITaxon:2759 Eukaryota Euarchontoglires Euarchontoglires Anthropoidea Simiiformes ape apes Hominoidea Tetrapoda tetrapods tetrapods Tetrapoda Amniota amniotes amniotes Amniota Theria Theria <Mammalia> Opisthokonta GC_ID:1 ncbi_taxonomy Fungi/Metazoa group opisthokonts NCBITaxon:33154 Opisthokonta metazoans multicellular animals Animalia animals Metazoa Bilateria Bilateria deuterostomes Deuterostomia Haplorrhini Mammalia mammals mammals mammals Mammalia Eumetazoa chordates chordates Chordata Vertebrata <Metazoa> Vertebrata vertebrates Vertebrata vertebrates vertebrates Vertebrata <Metazoa> Gnathostomata jawed vertebrates Gnathostomata <vertebrate> Sarcopterygii Craniata Craniata <chordata> eutherian mammals placental mammals placentals Placentalia placentals Eutheria primate Primata primates Primates Catarrhini great apes Pongidae Hominidae humans Homo Homo sapiens Homo sapiens human human being man person GC_ID:1 human man ncbi_taxonomy humans Homo sapiens Homo sapiens medical intervention is a planned process that has the goal of diagnosing, preventing or relieving illness or injury. The act of intervening, interfering or interceding with the intent of modifying the outcome. In medicine, an intervention is usually undertaken to help treat or cure a condition. For example, "Acupuncture as a therapeutic intervention is widely practiced in the United States," Reference: http://www.medterms.com/script/main/art.asp?articlekey=34214 . Some interventions can be used for diagnosis. YH WEB: http://wiki.answers.com/Q/What_is_medical_intervention medical intervention Surgery is a medical procedure that uses operative manual and instrumental techniques on a patient to investigate and/or treat a pathological condition such as disease or injury, to help improve bodily function or appearance. The key difference between a surgery and a general procedure is the need for an incision. Making an incision, or cutting into the skin to gain access to the body’s deeper tissues or organs, is a defining characteristic of surgery. YH, SS surgical procedure WEB: http://en.wikipedia.org/wiki/Surgery WEB: http://www.wisegeekhealth.com/what-is-the-difference-between-a-surgery-and-a-procedure.htm 10042609 surgery a medical intervention that refers to any series of pre-defined steps that should be followed to achieve a desired result. YH, SS WEB: http://www.wisegeekhealth.com/what-is-the-difference-between-a-surgery-and-a-procedure.htm medical procedure planned process planned process Injecting mice with a vaccine in order to test its efficacy A processual entity that realizes a plan which is the concretization of a plan specification. 'Plan' includes a future direction sense. That can be problematic if plans are changed during their execution. There are however implicit contingencies for protocols that an agent has in his mind that can be considered part of the plan, even if the agent didn't have them in mind before. Therefore, a planned process can diverge from what the agent would have said the plan was before executing it, by adjusting to problems encountered during execution (e.g. choosing another reagent with equivalent properties, if the originally planned one has run out.) We are only considering successfully completed planned processes. A plan may be modified, and details added during execution. For a given planned process, the associated realized plan specification is the one encompassing all changes made during execution. This means that all processes in which an agent acts towards achieving some objectives is a planned process. Bjoern Peters branch derived 6/11/9: Edited at workshop. Used to include: is initiated by an agent This class merges the previously separated objective driven process and planned process, as they the separation proved hard to maintain. (1/22/09, branch call) http://purl.obolibrary.org/obo/obi.owl planned process planned process population PMID12564891. Environ Sci Technol. 2003 Jan 15;37(2):223-8. Effects of historic PCB exposures on the reproductive success of the Hudson River striped bass population. a population is a collection of individuals from the same taxonomic class living, counted or sampled at a particular site or in a particular area 1/28/2013, BP, on the call it was raised that we may want to switch to an external ontology for all populatin terms: http://code.google.com/p/popcomm-ontology/ PERSON: Philippe Rocca-Serra adapted from Oxford English Dictionnary rem1: collection somehow always involve a selection process population organization PMID: 16353909.AAPS J. 2005 Sep 22;7(2):E274-80. Review. The joint food and agriculture organization of the United Nations/World Health Organization Expert Committee on Food Additives and its role in the evaluation of the safety of veterinary drug residues in foods. An organization is a continuant entity which can play roles, has members, and has a set of organization rules. Members of organizations are either organizations themselves or individual people. Members can bear specific organization member roles that are determined in the organization rules. The organization rules also determine how decisions are made on behalf of the organization by the organization members. BP: The definition summarizes long email discussions on the OBI developer, roles, biomaterial and denrie branches. It leaves open if an organization is a material entity or a dependent continuant, as no consensus was reached on that. The current placement as material is therefore temporary, in order to move forward with development. Here is the entire email summary, on which the definition is based: 1) there are organization_member_roles (president, treasurer, branch editor), with individual persons as bearers 2) there are organization_roles (employer, owner, vendor, patent holder) 3) an organization has a charter / rules / bylaws, which specify what roles there are, how they should be realized, and how to modify the charter/rules/bylaws themselves. It is debatable what the organization itself is (some kind of dependent continuant or an aggregate of people). This also determines who/what the bearer of organization_roles' are. My personal favorite is still to define organization as a kind of 'legal entity', but thinking it through leads to all kinds of questions that are clearly outside the scope of OBI. Interestingly enough, it does not seem to matter much where we place organization itself, as long as we can subclass it (University, Corporation, Government Agency, Hospital), instantiate it (Affymetrix, NCBI, NIH, ISO, W3C, University of Oklahoma), and have it play roles. This leads to my proposal: We define organization through the statements 1 - 3 above, but without an 'is a' statement for now. We can leave it in its current place in the is_a hierarchy (material entity) or move it up to 'continuant'. We leave further clarifications to BFO, and close this issue for now. PERSON: Alan Ruttenberg PERSON: Bjoern Peters PERSON: Philippe Rocca-Serra PERSON: Susanna Sansone GROUP: OBI organization organism animal fungus plant virus A material entity that is an individual living system, such as animal, plant, bacteria or virus, that is capable of replicating or reproducing, growth and maintenance in the right environment. An organism may be unicellular or made up, like humans, of many billions of cells divided into specialized tissues and organs. 10/21/09: This is a placeholder term, that should ideally be imported from the NCBI taxonomy, but the high level hierarchy there does not suit our needs (includes plasmids and 'other organisms') 13-02-2009: OBI doesn't take position as to when an organism starts or ends being an organism - e.g. sperm, foetus. This issue is outside the scope of OBI. GROUP: OBI Biomaterial Branch WEB: http://en.wikipedia.org/wiki/Organism http://purl.obolibrary.org/obo/obi.owl organism A temporally-connected health care process that has as participants an organization or person realizing the health care provider role and a person realizing the patient role. The health care provider role and patient are realized during the health care encounter Albert Goldfain http://groups.google.com/group/ogms-discuss/browse_thread/thread/a2dbc2ed1dff99d6 creation date: 2011-02-21T09:57:44Z health care encounter A part of an organism that has undergone a change in structural integrity and has a higher chance of dysfunction or causing dysfunction in another structure. At the scale of organism (as opposed to the cellular scale or the population scale), an injury is typically the result of a catastrophic event. Consider the implications of making 'injury' a subtype of 'disorder'. Albert Goldfain http://groups.google.com/group/ogms-discuss/browse_thread/thread/ca0ad373f27774c5 creation date: 2011-09-20T09:57:44Z http://purl.obolibrary.org/obo/ogms.owl injury A social role inhering in a human being. Mathias Brochhausen William R. Hogan human social role party to a legal entity party to a legal proceeding party to a legal agreement party to a marriage contract party to a power of attorney A human social role borne by a human being being realized in behaviour which is considered socially appropriate for individuals of a specific sex in the context of a specific culture. Mathias Brochhausen http://en.wikipedia.org/wiki/Gender_role gender role A gender role borne by a human being that is realized in behaviour which is considered socially appropriate for individuals of the male sex in the context of the culture in question. Mathias Brochhausen male gender male gender role A gender role borne by a human being that is realized in behaviour which is considered socially appropriate for individuals of the female sex in the context of the culture in question. Mathias Brochhausen female gender female gender role A role in human social processes that is realized by health care processes such as seeking or providing treatment for disease and injury, diagnosing disease and injury, or undergoing diagnosis. William R. Hogan health care role Mathias Brochhausen human health care role A role borne by an organism and that is realized by presenting to a health care provider in a clinical encounter. Amanda Hicks Mathias Brochhausen patient CAFE domain expert working group. In order to avoid the presumption of the formal structures and institutions of Western civilization, bearing a patient role does not entail that the organism presents at an official place of business, with an organization formally and legally registered with various gov't entities, with a person endowed by the gov't with certain certifications. patient role A human health care role inhering in an organization or human being that is realized by a process of providing health care services to an organism. Mathias Brochhausen William R. Hogan health care provider role A health care role borne by a human being and realized by promoting, maintaining or restoring human health through the study, diagnosis, and treatment of disease, injury and other physical and mental impairments. Mathias Brochhausen physician http://en.wikipedia.org/wiki/Physician physician role A health care role borne by a human being and realized by the care of individuals, families, and communities so they may attain, maintain, or recover optimal health and quality of life. Mathias Brochhausen nurse based on: http://en.wikipedia.org/wiki/Nursing nurse role Definition needed, but the idea is that we want to differentiate between provider and payer organizations. Some organizaitons have both roles (e.g., UPMC has a Hospital Division, a Physician Divison, and an Insurance Division). health care provider organization role person health care provider role 2 A health care provider organization role that inheres in an organization consisting of two or more physicians. Amanda Hicks physician practice A health care provider organization role that inheres in an organization that is comprised of other organizations. Amanda Hicks integrated delivery network An object aggregate of organisms. Any arbitrary collection of organisms. They need not be of the same taxonomic class. collection of organisms An object aggregate all of whose components are human beings. collection of humans A role inhering in an entity realized by social interactions in human society. Mathias Brochhausen Previous definition: A role played by an entity in human social processes. role in human social processes A role in human social processes that inheres in an organization. William R. Hogan Defined class that we will ultimately move to an application ontology. We are leaving here for now until we determine which application ontology: it is likely going to be an ontology that does not currently (2012-06-05) exist. Ditto for its current descendants. organization social role A role in human social processes that inheres in an organism. William R. Hogan Mathias Brochhausen Defined class that we will ultimately move to an application ontology. We are leaving here for now until we determine which application ontology: it is likely going to be an ontology that does not currently (2012-06-05) exist. Ditto for its current descendants. Includes animals as well as humans. For example, pet, assistance animal, animal grown for food, work animal, domesticated animal, K-9, etc. Human roles include gender role, party to legal entities, health care provider roles like doctor, nurse, etc. Previous definition: A role in human social processes played by an organism. organism social role An organization social role that is realized by a health care process. Previous definition: An organization social role played by an organization in health care processes. organization health care role A patient role that inheres in a human being. human patient role 2 An object aggregate that is not itself an organization and whose members are only organizations that have some feature in common William R. Hogan Amanda Hicks It is often convenient to group organizations together that otherwise might not even interact with one another. aggregate of organizations A role borne by a human individual or by a collection of humans regarded as possessing rights and duties enforeable at law. Mathias Brochhausen Malcolm N. Shaw: International Law. Cambridge University Press, Cambridge, 2008. We are aware of the fact that Wikipedia's definition differs from ours by saying that "Legal personality (...) is the characteristic of a non-living entity regarded by law to have the status of personhood" (http://en.wikipedia.org/wiki/Legal_personality) However, Shaw explicates: "In any legal system, certain entities, whether they be individuals or companies, will be regarded as possessing rights and duties enforceable at law. Thus an individual may prosecute or be prosecuted for assault and a company can sue for breach of contract. They are able to do this because the law recognises them as 'legal persons' possessing the capacity to have and to maintain certain rights, and being subject to perform specific duties. (...) In municipal law individuals, limited companies and public corporations are recognized as each possessing a distinct legal personality, the terms of which are circumscribed by the relevant legislation" (Shaw MN: International Law. Sixth Edition. Cambridge University Press, Cambridge, 2008). We hold that Shaw's position is ontological more prolific since it not only allows to explain how groups of individuals become recognized as unities at law, but also how different individuals can hold different legal personality roles (always against the context of one legal system). The latter will proof useful when dealing with the representing comatous patients or minorsat law in ontologies. legal person role A healthcare provider role that inheres in an organization and is realized by providing inpatient and outpatient care. Mathias Brochhausen hospital role An organization social role that inheres in an organization and is realized by providing formal education to students. Mathias Brochhausen school role An organization that is the bearer of a school role. Mathias Brochhausen school organization A human social role that is realized by the process of formal education that the bearer undergoes. Mathias Brochhausen student role Mathias Brochhausen nursery school role Mathias Brochhausen primary school role Mathias Brochhausen secondary school role A trauma patient role that inheres in a homo sapiens who is under the age of 15 years. Amanda Hicks pediatric trauma patient The following definition for 'pediatric trauma patient' was approved by the CAFE team of domain experts (experts in trauma care) May 29, 2015. "A trauma patient who is under the age of 15 years." pediatric trauma patient role A patient role that inheres an organism suffering one or more injuries. Amanda Hicks injured patient The following definition for 'injured patient' was approved by the CAFE team of domain experts (experts in trauma care) May 29, 2015. A patient suffering one or more injuries. injured patient role A patient role that inheres in an organism suffering a thermal, electrical, chemical or radiation burn. Amanda Hicks The following definition for 'burn patient' was approved by the CAFE team of domain experts (experts in trauma care) May 29, 2015. A patient suffering a thermal, electrical, chemical or radiation burn. burn patient burn patient role A physician role that is created by training and certification in rehabilitation/physical medicine and that is realized by the provision of or supervising of the provision of rehabilitation or physical therapy to a patient. Amanda Hicks physiatrist The following definition for 'physiatrist' was approved by the CAFE team of domain experts (experts in trauma care) May 29, 2015. A physician with training and certification in rehabilitation/physical medicine. Definition updated May 5, 2016. Original definitions was, a health care role borne by a human being and realized by training and certification in rehabilitation medicine. physiatrist role A patient role that inheres in an organism with some non-superficial traumatic injury. The role is realized by admision to a hospital, transfer from one hospital to another for the purpose of trauma care, or has death as a result of the traumatic injury. Amanda Hicks trauma patient The following definition for 'trauma patient' was approved by the CAFE team of domain experts (experts in trauma care) May 29, 2015. A patient sustaining an injury who has been admitted to the hospital, transferred from one hospital to another for the purpose of trauma care, or has died as a result of the traumatic injury. trauma patient role A function that inheres in a material entity and, if realized, is realized by protecting persons and their possessions from weather and by some person or group of persons habitually sleeping in at least one site that is contained by that material entity. Amanda Hicks residence function A human or collection of humans that occupies a housing unit by storing their possessions there and habitually sleeping there thereby participating in the realization of its residence function. Amanda Hicks household Amanda hicks employee employee role A US cenus reference person role is a human social role that inheres in a Homo sapiens who is a member of a household and is realized by other persons in the household being recorded in the US census in relation to that person. Amanda Hicks http://www.census.gov/cps/about/cpsdef.html last accessed June 30, 2015 US Census reference person role A role that concretizes a socio-lega generically dependent continuant Amanda Hicks socio-legal human social role A socio-legal human social role that concretizes a socio-legally generically dependent continuat that was created by a declaration performed by an organization. Amanda Hicks human role within an organization employer role payer role party to an insurance policy Amanda Hicks A US Census unemployed role is a human social role that inheres in a human who is legally eligible to work, is conferred by the U.S. Census Bureau, and is realized by the bearer not working and either making active efforts to find employment in the four weeks prior to the reference week or waiting to be recalled from temporary layoff. US Census unemployed role A human health care provider role that inheres in a human being that is created by state licensing and that is realized by taking patient histories, performing physical exams, diagnosing illnesses, developing treatment plans, ordering lab tests, prescribing medications, counselling and educating patients, suturing wounds, and assisting in surgery under the supervision of a physician or a surgeon. US physician assistant role A physician role that inheres a human being and, if it is realized, is realized either by administering medication for the temporary general or local suppression of sensory or motor nerve function during some health care encounter or by making decisions independently of a supervising physician regarding the adminstration of such medication. anesthesiologist role surgeon role A surgeon role realized by its bearer using performing neurosurgery. neurosurgereon role individual plan insurance (paid by the member) group plan insurance through employee union USA government health plan insurance no insurance status month of year The first month of the year in the Gregorian calendar https://en.wikipedia.org/wiki/Gregorian_calendar January The second month of the year in the Gregorian calendar. https://en.wikipedia.org/wiki/Gregorian_calendar February The third month of the year in the Gregorian calendar. https://en.wikipedia.org/wiki/Gregorian_calendar March The4th month of the year in the Gregorian calendar https://en.wikipedia.org/wiki/Gregorian_calendar April The 5th month of the year in the Gregorian calendar https://en.wikipedia.org/wiki/Gregorian_calendar May The 6th month of the year in the Gregorian calendar https://en.wikipedia.org/wiki/Gregorian_calendar June The 7th month of the year in the Gregorian calendar https://en.wikipedia.org/wiki/Gregorian_calendar July The 8th month of the year in the Gregorian calendar https://en.wikipedia.org/wiki/Gregorian_calendar August The 9th month of the year in the Gregorian calendar https://en.wikipedia.org/wiki/Gregorian_calendar September The 10th month of the year in the Gregorian calendar https://en.wikipedia.org/wiki/Gregorian_calendar October The 11th month of the year in the Gregorian calendar https://en.wikipedia.org/wiki/Gregorian_calendar November The 12th month of the year in the Gregorian calendar https://en.wikipedia.org/wiki/Gregorian_calendar December A day of a calendar week that includes covers 24 hours each day. https://en.wikipedia.org/wiki/Week day of week The first day of the week. https://en.wikipedia.org/wiki/Week Monday The second day of the week. https://en.wikipedia.org/wiki/Week Tuesday The third day of the week. https://en.wikipedia.org/wiki/Week Wednesday The fourth day of the week. https://en.wikipedia.org/wiki/Week Thursday The fifth day of the week. https://en.wikipedia.org/wiki/Week Friday The 6th day of the week. https://en.wikipedia.org/wiki/Week Saturday The 7th day of the week. https://en.wikipedia.org/wiki/Week Sunday A day when an organism (e.g., a human) is born. Oliver He birth date day of birth the anniversary of the birth of a person Oliver He https://en.wikipedia.org/wiki/Birthday There is a difference between birthday and birthdate: The former, such as February 29, occurs each year, while the latter is the exact date a person was born (e.g., January 15, 2001). birthday information associated with an individual Oliver He https://www.oic.qld.gov.au/guidelines/for-government/access-and-amendment/introduction-to-the-acts/what-is-personal-information personal information NCIT_C16745 C0021672 health insurance plan A joint federal and state program that helps with medical costs for some people with limited income and resources. https://en.wikipedia.org/wiki/Medicaid Medicaid Medicare is a national health insurance program in the United States, begun in 1966 under the Social Security Administration and now administered by the Centers for Medicare and Medicaid Services (CMS). https://en.wikipedia.org/wiki/Medicare_(United_States) Medicare private health insurance plan worker compensation insurance plan the date on which a visit occurs Oliver He NCIT_C83031 C1320303 visit date year A role of a person (e.g., a study participant, participant's family member, or participant's physician) who provides the medical history information. Edison Ong, Oliver He medical history information provider role A role of a person who is a family member of a participant in an investigation study. Edison Ong, Oliver He study participant's family member role a role of a physician who takes care of a study participant Edison Ong, Oliver He study participant's physician role A dependent entity that inheres in a bearer by virtue of how the bearer is related to other entities quality (PATO) PATO:0000072 trait quality PATO:0000001 quality A time quality inhering in a bearer by virtue of how long the bearer has existed. quality PATO:0000011 age A physical quality which inheres in a bearer by virtue of the number of the bearer's repetitive actions in a particular time. quality PATO:0000044 frequency An organismal quality inhering in a bearer by virtue of the bearer's ability to undergo sexual reproduction in order to differentiate the individuals or types involved. quality PATO:0000047 biological sex quality PATO:0000068 TODO: define this or obsolete it and move children somewhere else. qualitative A quality inhering in a bearer by virtue of the whether the bearer differs from normal or average. quality PATO:0000069 deviation (from_normal) A spatial quality inhering in a bearer by virtue of the bearer's spatial location relative to other objects in the vicinity. location placement relational spatial quality position A quality of a single process inhering in a bearer by virtue of the bearer's occurrence per unit time. quality PATO:0000161 rate A quality in which events occur in sequence. quality PATO:0000165 time A frequency which is relatively high. high frequency quality frequent PATO:0000380 increased frequency A frequency which is relatively low. low frequency quality infrequent PATO:0000381 decreased frequency A rate which is relatively low. slow rate quality PATO:0000911 decreased rate A rate which is relatively high. fast rate high rate quality PATO:0000912 increased rate A quality of a physical entity that exists through action of continuants at the physical level of organisation in relation to other entities. PATO:0002079 Wikipedia:Physical_property relational physical quality quality PATO:0001018 physical quality A quality which inheres in an process. PATO:0001239 PATO:0001240 quality of a process quality of occurrent quality of process relational quality of occurrent quality PATO:0001236 See comments of relational quality of a physical entity. process quality A quality which inheres in a continuant. PATO:0001237 PATO:0001238 snap:Quality monadic quality of a continuant multiply inhering quality of a physical entity multiply inhering quality of a physical entity quality of a continuant quality of a single physical entity quality of an object quality of continuant monadic quality of an object monadic quality of continuant quality PATO:0001241 Relational qualities are qualities that hold between multiple entities. Normal (monadic) qualities such as the shape of a eyeball exist purely as a quality of that eyeball. A relational quality such as sensitivity to light is a quality of that eyeball (and connecting nervous system) as it relates to incoming light waves/particles. physical object quality A quality that inheres in an entire organism or part of an organism. quality PATO:0001995 organismal quality george 2009-06-05T09:16:46Z quality PATO:0002062 physical quality of a process A positional quality inhering in a bearer by virtue the bearer's being changed in position. displaced A quality that has a value that is increased compared to normal or average. George Gkoutos 2011-06-16T06:39:43Z quality PATO:0002300 increased quality A quality that has a value that is decreased compared to normal or average. George Gkoutos 2011-06-16T06:40:15Z quality PATO:0002301 decreased quality A quality of a process that has a value that is decreased compared to normal or average. George Gkoutos 2011-06-16T06:50:59Z quality PATO:0002302 decreased process quality A quality of a process that has a value that is increased compared to normal or average. George Gkoutos 2011-06-16T06:53:08Z quality PATO:0002304 increased process quality A rate which is relatively normal. quality PATO:0045000 normal rate A quality of aprocess that has a value that is normal or average. Luke Slater 2017-12-21T14:11:01Z quality PATO:0045073 normal process quality A frequency which is relatively normal. quality PATO:0045087 normal frequency The number of repeated events per unit time, occurring in a repeating series. (e.g. the number of heart beats occurring over 1 minute) quality PATO:0050000 rate of occurence A material entity that consists of two or more organisms, viruses, or viroids. A material entity that consists of two or more organisms, viruses, or viroids. collection of organisms collection of organisms A community of at least two different species, living in a particular area. Must have at least two populations of different species as members. envoPolar ecological community A collection of organisms of the same species whose members are all either genealogically related to each other or have mated with each other. community A collection of organisms that consists of two or more organisms from at least two species. multi-species collection of organisms A material entity that is one or more organisms, viruses or viroids. organismal entity An anatomical entity that is or was part of a plant. entidad anat&#243mica vegetal (Spanish, exact) 植物 解剖学（形態）的実体 (Japanese, exact) plant anatomical entity A material entity consisting of multiple components that are causally integrated. May be replaced by a BFO class, as discussed in http://www.jbiomedsem.com/content/4/1/43 Chris Mungall http://www.jbiomedsem.com/content/4/1/43 system A system used for transportation transportation system Guided or unguided devices for carrying persons or freight on land, at sea or in the air. (Source: TRT SN) YOH https://en.wikipedia.org/wiki/Vehicle https://trt.trb.org/trt.asp?NN=Qb vehicle car the movement of human from one location to another. Oliver He, Andong Chen, Aditi Misra https://en.wikipedia.org/wiki/Transport human transportation passenger passenger role transportion simulation YOH https://trt.trb.org/trt.asp?NN=Qbf railroad train YOH https://trt.trb.org/trt.asp?NN=Qbd ground vehicle YOH https://trt.trb.org/trt.asp?NN=Qbh ship YOH https://trt.trb.org/trt.asp?NN=Qbk aircraft YOH https://trt.trb.org/trt.asp?NN=Qbn spacecraft Flat-bottomed motor vehicle that can travel on land or water. (Source: wordnet.princeton.edu) https://en.wikipedia.org/wiki/Amphibious_vehicle https://trt.trb.org/trt.asp?NN=Qbq amphibious vehicle used car a self-propelled vehicle, commonly wheeled, that does not operate on rails (such as trains or trams or 4-wheelers) and is used for the transportation of people or cargo. YOH automotive vehicle motorized vehicle https://en.wikipedia.org/wiki/Motor_vehicle motor vehicle YOH https://en.wikipedia.org/wiki/Human-powered_transport https://trt.trb.org/trt.asp?NN=Qbdh human powered vehicle https://trt.trb.org/trt.asp?NN=Qbdhb bicycle https://trt.trb.org/trt.asp?NN=Qbdhc tricycle roadway transportation system road the distribution of impacts (benefits and costs) and whether that distribution is considered fair and appropriate. https://www.vtpi.org/equity.pdf equity https://www.vtpi.org/equity.pdf transportation equity https://www.vtpi.org/equity.pdf evaluation of transportation equity https://www.vtpi.org/equity.pdf horizontal equity of transportation motorized https://www.vtpi.org/equity.pdf vertical equity of transportation https://www.vtpi.org/equity.pdf latency in terms of equity https://trt.trb.org/trt.asp?NN=Qbdf horse drawn vehicle fair allocation of resources fair opportunity of accessibility to resources fair opportunity of accessibility reduction of adverse effect of transportation transportation safety reduction of environmental pollution participation of all stakeholders fair allocation of infrastructure fair allocation of service fair allocation of expenditure fair allocation of roadway fair allocation of facilities fair allocation of bus stop fair allocation of transit station fair opportunity of mobility fair opportunity of proximity fair opportunity of connectivity A transit desert is an area with limited transportation supply. Transit deserts are generally characterized by poor public transportation options and possibly poor bike, sidewalk, or road infrastructure.[3] The lack of transportation options present in transit deserts may have negative effects of people’s health, job prospects, and economic mobility. Aditi Misra, Andong Chen, Edison Ong, Oliver He https://en.wikipedia.org/wiki/Transit_desert transit desert high accessibility of transit contains bus, subway, ... transit transportation data transportation supply data transportation demand data number of bus stops transportation frequency transportation coverage number of household who needs to drive sidewalk and bike route number of transit dependents A transportation data that represent the accessbility of a transit to the neighboring passages accessibility of transit low accessibility of transit number of people who need transportation no of drivers - no of young adult below 16 no of transit-dependent population reason for traveling home based work moderate accessibility of transit a road vehicle designed to carry many passengers. https://en.wikipedia.org/wiki/Bus bus transportation purpose transit stop transit start stop transit end stop bus stop public transportation A timestamp is a sequence of characters or encoded information identifying when a certain event occurred, usually giving date and time of day, sometimes accurate to a small fraction of a second. Andong Chen, Aditi Misra, Oliver He timestamp Biological entity that is either an individual member of a biological species or constitutes the structural organization of an individual member of a biological species. AAO:0010841 AEO:0000000 BILA:0000000 CARO:0000000 EHDAA2:0002229 FBbt:10000000 FBbt_root:00000000 FMA:62955 HAO:0000000 MA:0000001 TAO:0100000 TGMA:0001822 UMLS:C1515976 XAO:0000000 ZFA:0100000 uberon UBERON:0001062 anatomical entity example to be eventually removed Class has all its metadata, but is either not guaranteed to be in its final location in the asserted IS_A hierarchy or refers to another class that is not complete. metadata complete term created to ease viewing/sort terms for development purpose, and will not be included in a release PERSON:Alan Ruttenberg organizational term Class has undergone final review, is ready for use, and will be included in the next release. Any class lacking "ready_for_release" should be considered likely to change place in hierarchy, have its definition refined, or be obsoleted in the next release. Those classes deemed "ready_for_release" will also derived from a chain of ancestor classes that are also "ready_for_release." ready for release Class is being worked on; however, the metadata (including definition) are not complete or sufficiently clear to the branch editors. metadata incomplete Nothing done yet beyond assigning a unique class ID and proposing a preferred term. uncurated All definitions, placement in the asserted IS_A hierarchy and required minimal metadata are complete. The class is awaiting a final review by someone other than the term editor. pending final vetting Terms with this status should eventually replaced with a term from another ontology. Alan Ruttenberg group:OBI to be replaced with external ontology term A term that is metadata complete, has been reviewed, and problems have been identified that require discussion before release. Such a term requires editor note(s) to identify the outstanding issues. Alan Ruttenberg group:OBI requires discussion ## Elucidation This is used when the statement/axiom is assumed to hold true 'eternally' ## How to interpret (informal) First the "atemporal" FOL is derived from the OWL using the standard interpretation. This axiom is temporalized by embedding the axiom within a for-all-times quantified sentence. The t argument is added to all instantiation predicates and predicates that use this relation. ## Example Class: nucleus SubClassOf: part_of some cell forall t : forall n : instance_of(n,Nucleus,t) implies exists c : instance_of(c,Cell,t) part_of(n,c,t) ## Notes This interpretation is *not* the same as an at-all-times relation axiom holds for all times en Adam Goldstein Alan Ruttenberg Albert Goldfain Barry Smith Bjoern Peters Carlo Torniai Chris Mungall Chris Stoeckert Christian A. Boelling Darren Natale David Osumi-Sutherland Gwen Frishkoff Holger Stenzhorn James A. Overton James Malone Jennifer Fostel Jie Zheng Jonathan Rees Larisa Soldatova Lawrence Hunter Mathias Brochhausen Matt Brush Melanie Courtot Michel Dumontier Paolo Ciccarese Pat Hayes Philippe Rocca-Serra Randy Dipert Ron Rudnicki Satya Sahoo Sivaram Arabandi Werner Ceusters William Duncan William Hogan Yongqun (Oliver) He http://creativecommons.org/licenses/by/4.0/ An information artifact is, loosely, a dependent continuant or its bearer that is created as the result of one or more intentional processes. Examples: uniprot, the english language, the contents of this document or a printout of it, the temperature measurements from a weather balloon. For more information, see the project home page at https://github.com/information-artifact-ontology/IAO IDs allocated to related efforts: PNO: IAO_0020000-IAO_0020999, D_ACTS: IAO_0021000-IAO_0021999 IDs allocated to subdomains of IAO. pno.owl: IAO_0020000-IAO_0020999, d-acts.owl: IAO_0021000-IAO_0021999 The Information Artifact Ontology (IAO) is licensed under the Creative Commons Attribution License (CC-BY) version 4.0. You are free to share (copy and redistribute the material in any medium or format) and adapt (remix, transform, and build upon the material) for any purpose, even commercially. for any purpose, even commercially. The licensor cannot revoke these freedoms as long as you follow the license terms. You must give appropriate credit (by using the original ontology IRI for the whole ontology and original term IRIs for individual terms), provide a link to the license, and indicate if any changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use. For more information see http://www.obofoundry.org/docs/Citation.html This version of the ontology is the merge of all its imports and has added axioms inferred by an OWL reasoner en Ontology for Biomedical Investigations Advisors for this project come from the IFOMIS group, Saarbruecken and from the Co-ODE group in Manchester Alan Ruttenberg Allyson Lister Barry Smith Bill Bug Bjoern Peters Carlo Torniai Chris Mungall Chris Stoeckert Chris Taylor Christian Bolling Cristian Cocos Daniel Rubin Daniel Schober Dawn Field Dirk Derom Elisabetta Manduchi Eric Deutsch Frank Gibson Gilberto Fragoso Helen C. Causton Helen Parkinson Holger Stenzhorn James A. Overton James Malone Jay Greenbaum Jeffrey Grethe Jennifer Fostel Jessica Turner Jie Zheng Joe White John Westbrook Kevin Clancy Larisa Soldatova Lawrence Hunter Liju Fan Luisa Montecchi Matthew Brush Matthew Pocock Melanie Courtot Melissa Haendel Mervi Heiskanen Monnie McGee Norman Morrison Philip Lord Philippe Rocca-Serra Pierre Grenon Richard Bruskiewich Richard Scheuermann Robert Stevens Ryan R. Brinkman Stefan Wiemann Susanna-Assunta Sansone Tanya Gray Tina Hernandez-Boussard Trish Whetzel Yongqun He 2009-07-31 The Ontology for Biomedical Investigations (OBI) is build in a collaborative, international effort and will serve as a resource for annotating biomedical investigations, including the study design, protocols and instrumentation used, the data generated and the types of analysis performed on the data. This ontology arose from the Functional Genomics Investigation Ontology (FuGO) and will contain both terms that are common to all biomedical investigations, including functional genomics investigations and those that are more domain specific. OWL-DL An ontology for the annotation of biomedical and functional genomics experiments. http://creativecommons.org/licenses/by/4.0/ Please cite the OBI consortium http://purl.obolibrary.org/obo/obi where traditional citation is called for. However it is adequate that individual terms be attributed simply by use of the identifying PURL for the term, in projects that refer to them. 2019-11-12 An ontology of drugs. Josh Hanna William Hogan DrOn contains content developed by the National Library of Medicine in RxNorm. In creating DrOn, we have used RxNorm content only with SAB = RXNORM. https://creativecommons.org/licenses/by/3.0/ Eric Joseph Mathias Brochhausen When citing DrOn, use the permanent URL of the ontology: http://purl.obolibrary.org/obo/dron.owl. When referencing a specific component of the DrOn, such as a class, object property, annotation property, or individual, use the Uniform Resource Identifier (URI) of that component. http://orcid.org/0000-0002-8343-612X Includes Ontology(OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/envo/modules/entity_attribute.owl>) VersionIRI(<null>))) [Axioms: 114 Logical Axioms: 19] Includes Ontology(OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/envo/modules/process_attribute.owl>) VersionIRI(<null>))) [Axioms: 21 Logical Axioms: 2] Includes Ontology(OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/envo/modules/chemical_concentration.owl>) VersionIRI(<null>))) [Axioms: 186 Logical Axioms: 30] Includes Ontology(OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/envo/modules/entity_quality_location.owl>) VersionIRI(<null>))) [Axioms: 40 Logical Axioms: 6] http://orcid.org/0000-0002-4366-3088 http://orcid.org/0000-0003-1604-1512 http://orcid.org/0000-0002-6601-2165 Includes Ontology(OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/envo/modules/entity_attribute_location.owl>) VersionIRI(<null>))) [Axioms: 132 Logical Axioms: 23] ENVO is an ontology which represents knowledge about environments,environmental processes, ecosystems, habitats, and related entities. It interoperates with other ontologies in the OBO Foundry and Library. New terms or revisions can be requested at https://github.com/EnvironmentOntology/envo/issues/ Please see www.environmentontology.org for more information and citations. https://orcid.org/0000-0002-6962-2807 Desikan Jagannathan An ontology for the annotation of the adverse event domain. Vision Release; 1.2.19 Elizabeth Blair "Asiyah" Yu Lin Abra Guo Sydni Joubran OWL-DL Product version Darrell R. Abernethy Sirarat Sarntivijai Ling Wan Rebecca Racz Shelley Zhang Liwei Wang Meiu Wong The Ontology of Adverse Eventsy (OAE) is a biomedical ontology in the domain of adverse events. OAE aims to standardize adverse event annotation, integrate various adverse event data, and support computer-assisted reasoning. OAE is a community-based ontology. Its development follows the OBO Foundry principles. Vaccine adverse events have been used as an initial testing use case. OAE also studies adverse events associated with the administration of drug and nutritional products, the operation of surgeries, and the usage of medical devices, etc. Kevin Mo OAE: Ontology of Adverse Events Yongqun "Oliver" He (YH) Luca Toldo Noemi Garg Keith Burkhart Edison Ong Mathias Brochhausen Izabela Birsanescu Zuoshuang "Allen" Xiang Barry Smith Bingjian Yang Qingping Liu Jiangan Xie 2019-2-21 Sydni Joubran Kelly Yang David Ameriguian Daniel Merico Werner Ceusters Bill Hogan Albert Goldfain This ontology is in early development. Expect it to change. 2011-09-20 Alan Ruttenberg Sivaram Arabandi Lindsay Cowell 2009-08-07 Cornelius Rosse Richard Scheuermann Anand Kumar Barry Smith The Ontology for General Medical Science (OGMS) is based on the papers Toward an Ontological Treatment of Disease and Diagnosis and On Carcinomas and Other Pathological Entities. The ontology attempts to address some of the issues raised at the Workshop on Ontology of Diseases (Dallas, TX). OGMS was formerly called the clinical phenotype ontology. Terms from OGMS hang from the Basic Formal Ontology. The latest version of OGMS is always available at http://purl.obolibrary.org/obo/ogms.owl This is version 2011-09-20 aka '0.9' http://purl.obolibrary.org/obo/ogms/2011-09-20/ogms.owl The OGMS developer site is http://code.google.com/p/ogms/ The discussion group is http://groups.google.com/group/ogms-discuss If you are interested in participating in the development of OGMS, please send email to albertgoldfain@gmail.com. Be sure to include a google-account username with your request (this will be the username associated with a gmail address). This ontology grew out of efforts to represent the reality underlying the demographic information required by the US federal government's "meaningful use" criteria for electronic medical records and a presentation by Dr. William Hogan at the Electronic Health Record of the Future conference in Buffalo, NY http://ontology.buffalo.edu/EHR/Demographics_Hogan_Buffalo_2010_09_22.ppt William Hogan Amanda Hicks 2017-06-08 Mathias Brochhausen Swetha Garimalla Daniel Welch The Ontology of Medically Related Social Entities Shariq Tariq Asiyah Yu Lin Yongqun "Oliver" He (YH) Jie Zheng Jennifer Schaub Vision Release: 1.0.97 OPMI subject: Precision medicine and related investigations http://creativecommons.org/licenses/by/4.0/ OPMI: Ontology of Precision Medicine and Investigation OWL-DL Matthias Kretzler Sean Mooney Fred Dowd Qingliang Leon Li OPMI is a biomedical ontology in the area of precision medicine and its related investigations. It is community-driven and developed by following the OBO Foundry ontology development principles. Christopher Park John F. O’Toole 1-31-2020 Becky Steck Hong Yu OBO Relations Ontology The OBO Relations Ontology (RO) is a collection of OWL relations (ObjectProperties) intended for use across a wide variety of biological ontologies. Includes Ontology(OntologyID(Anonymous-21)) [Axioms: 32 Logical Axioms: 0] https://github.com/oborel/obo-relations/ Includes Ontology(OntologyID(Anonymous-21)) [Axioms: 26 Logical Axioms: 0]