Alexander Diehl Jie Zheng Albert Goldfain Alan Ruttenberg Bjoern Peters The core Infectious Disease Ontology is an ontology of entities generally relevant to both the biomedical and clinical aspects of infectious diseases, including terms such as 'pathogen', 'host', 'vector', and 'vaccine'. The structure of IDO adheres to the Basic Formal Ontology. Terms in IDO that are within the scope of other OBO Foundry ontologies, such as the Gene Ontology, are derived from those ontologies. Other terms are defined as cross-products of terms from Foundry ontologies to the extent possible. For more information, see http://www.infectiousdiseaseontology.org/Home.html. 2017-11-03 http://www.infectiousdiseaseontology.org en Lindsay Cowell Barry Smith 2017-11-03T15:13:52 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 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 editor preferred term The concise, meaningful, and human-friendly name for a class or property preferred by the ontology developers. (US-English) PERSON:Daniel Schober GROUP:OBI:<http://purl.obolibrary.org/obo/obi> editor preferred term example 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 in branch An annotation property indicating which module the terms belong to. This is currently experimental and not implemented yet. GROUP:OBI OBI_0000277 in branch has curation status PERSON:Alan Ruttenberg PERSON:Bill Bug PERSON:Melanie Courtot OBI_0000281 has curation status definition The official OBI definition, explaining the meaning of a class or property. Shall be Aristotelian, formalized and normalized. Can be augmented with colloquial definitions. 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 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> editor note term editor Name of editor entering the term in the file. The term editor is a point of contact for information regarding the term. The term editor may be, but is not always, the author of the definition, which may have been worked upon by several people 20110707, MC: label update to term editor and definition modified accordingly. See https://github.com/information-artifact-ontology/IAO/issues/115. PERSON:Daniel Schober GROUP:OBI:<http://purl.obolibrary.org/obo/obi> 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 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 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 curator note term tracker item the URI for an OBI Terms ticket at sourceforge, such as https://sourceforge.net/p/obi/obi-terms/772/ An IRI or similar locator for a request or discussion of an ontology term. Person: Jie Zheng, Chris Stoeckert, Alan Ruttenberg Person: Jie Zheng, Chris Stoeckert, Alan Ruttenberg The 'tracker item' can associate a tracker with a specific ontology term. term tracker item The name of the person, project, or organization that motivated inclusion of an ontology term by requesting its addition. Person: Jie Zheng, Chris Stoeckert, Alan Ruttenberg Person: Jie Zheng, Chris Stoeckert, Alan Ruttenberg The 'term requester' can credit the person, organization or project who request the ontology term. ontology term requester is denotator type relates an class defined in an ontology, to the type of it's denotator In OWL 2 add AnnotationPropertyRange('is denotator type' 'denotator type') Alan Ruttenberg is denotator type 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 expand expression to ObjectProperty: RO_0002104 Label: has plasma membrane part Annotations: IAO_0000424 "http://purl.obolibrary.org/obo/BFO_0000051 some (http://purl.org/obo/owl/GO#GO_0005886 and http://purl.obolibrary.org/obo/BFO_0000051 some ?Y)" A macro expansion tag applied to an object property (or possibly a data property) which can be used by a macro-expansion engine to generate more complex expressions from simpler ones Chris Mungall expand expression to expand assertion to ObjectProperty: RO??? Label: spatially disjoint from Annotations: expand_assertion_to "DisjointClasses: (http://purl.obolibrary.org/obo/BFO_0000051 some ?X) (http://purl.obolibrary.org/obo/BFO_0000051 some ?Y)" A macro expansion tag applied to an annotation property which can be expanded into a more detailed axiom. Chris Mungall expand assertion to first order logic expression PERSON:Alan Ruttenberg first order logic expression antisymmetric property part_of antisymmetric property xsd:true use boolean value xsd:true to indicate that the property is an antisymmetric property Alan Ruttenberg antisymmetric property OBO foundry unique label An alternative name for a class or property which is unique across the OBO Foundry. The intended usage of that property is as follow: OBO foundry unique labels are automatically generated based on regular expressions provided by each ontology, so that SO could specify unique label = 'sequence ' + [label], etc. , MA could specify 'mouse + [label]' etc. Upon importing terms, ontology developers can choose to use the 'OBO foundry unique label' for an imported term or not. The same applies to tools . PERSON:Alan Ruttenberg PERSON:Bjoern Peters PERSON:Chris Mungall PERSON:Melanie Courtot GROUP:OBO Foundry <http://obofoundry.org/> OBO foundry unique label Ontology: <http://purl.obolibrary.org/obo/ro/idrange/> Annotations: 'has ID prefix': "http://purl.obolibrary.org/obo/RO_" 'has ID digit count' : 7, rdfs:label "RO id policy" 'has ID policy for': "RO" Relates an ontology used to record id policy to the number of digits in the URI. The URI is: the 'has ID prefix" annotation property value concatenated with an integer in the id range (left padded with "0"s to make this many digits) Person:Alan Ruttenberg has ID digit count Datatype: idrange:1 Annotations: 'has ID range allocated to': "Chris Mungall" EquivalentTo: xsd:integer[> 2151 , <= 2300] Relates a datatype that encodes a range of integers to the name of the person or organization who can use those ids constructed in that range to define new terms Person:Alan Ruttenberg has ID range allocated to Ontology: <http://purl.obolibrary.org/obo/ro/idrange/> Annotations: 'has ID prefix': "http://purl.obolibrary.org/obo/RO_" 'has ID digit count' : 7, rdfs:label "RO id policy" 'has ID policy for': "RO" Relating an ontology used to record id policy to the ontology namespace whose policy it manages Person:Alan Ruttenberg has ID policy for Ontology: <http://purl.obolibrary.org/obo/ro/idrange/> Annotations: 'has ID prefix': "http://purl.obolibrary.org/obo/RO_" 'has ID digit count' : 7, rdfs:label "RO id policy" 'has ID policy for': "RO" Relates an ontology used to record id policy to a prefix concatenated with an integer in the id range (left padded with "0"s to make this many digits) to construct an ID for a term being created. Person:Alan Ruttenberg has ID prefix 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 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(fol) Person:Alan Ruttenberg Person:Alan Ruttenberg An axiom expressed in first order logic using CLIF syntax has associated axiom(fol) is allocated id range Add as annotation triples in the granting ontology Relates an ontology IRI to an (inclusive) range of IRIs in an OBO name space. The range is give as, e.g. "IAO_0020000-IAO_0020999" PERSON:Alan Ruttenberg is allocated id range has axiom id Person:Alan Ruttenberg Person:Alan Ruttenberg A URI that is intended to be unique label for an axiom used for tracking change to the ontology. For an axiom expressed in different languages, each expression is given the same URI has axiom label term replaced by Add as annotation triples in the granting ontology Use on obsolete terms, relating the term to another term that can be used as a substitute Person:Alan Ruttenberg Person:Alan Ruttenberg term replaced by temporal interpretation https://github.com/oborel/obo-relations/wiki/ROAndTime shorthand 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 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 has part realized in this disease is realized in this disease course this fragility is realized in this shattering this investigator role is realized in this investigation is realized by realized_in [copied from inverse property 'realizes'] to say that b realizes c at t is to assert that there is some material entity d & b is a process which has participant d at t & c is a disposition or role of which d is bearer_of at t& the type instantiated by b is correlated with the type instantiated by c. (axiom label in BFO2 Reference: [059-003]) Paraphrase of elucidation: a relation between a realizable entity and a process, where there is some material entity that is bearer of the realizable entity and participates in the process, and the realizable entity comes to be realized in the course of the process realized in realizes this disease course realizes this disease this investigation realizes this investigator role this shattering realizes this fragility to say that b realizes c at t is to assert that there is some material entity d & b is a process which has participant d at t & c is a disposition or role of which d is bearer_of at t& the type instantiated by b is correlated with the type instantiated by c. (axiom label in BFO2 Reference: [059-003]) Paraphrase of elucidation: a relation between a process and a realizable entity, where there is some material entity that is bearer of the realizable entity and participates in the process, and the realizable entity comes to be realized in the course of the process realizes preceded by 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 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 results_in has_material_basis_in 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 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 is bearer of 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://www.obofoundry.org/ro/#OBO_REL: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 A journal article is an information artifact that inheres in some number of printed journals. For each copy of the printed journal there is some quality that carries the journal article, such as a pattern of ink. The quality (a specifically dependent continuant) concretizes the journal article (a generically dependent continuant), and both depend on that copy of the printed journal (an independent continuant). An investigator reads a protocol and forms a plan to carry out an assay. The plan is a realizable entity (a specifically dependent continuant) that concretizes the protocol (a generically dependent continuant), and both depend on the investigator (an independent continuant). The plan is then realized by the assay (a process). A relationship between a specifically dependent continuant and a generically dependent continuant, in which the generically dependent continuant depends on some independent continuant in virtue of the fact that the specifically dependent continuant also depends on that same independent continuant. Multiple specifically dependent continuants can concretize the same generically dependent continuant. concretizes this catalysis function is a function of this enzyme a relation between a function and an independent continuant (the bearer), in which the function specifically depends on the bearer for its existence A function inheres in its bearer at all times for which the function exists, however the function need not be realized at all the times that the function exists. function_of is function of function of this red color is a quality of this apple a relation between a quality and an independent continuant (the bearer), in which the quality specifically depends on the bearer for its existence A quality inheres in its bearer at all times for which the quality exists. is quality of quality_of quality of this investigator role is a role of this person a relation between a role and an independent continuant (the bearer), in which the role specifically depends on the bearer for its existence A role inheres in its bearer at all times for which the role exists, however the role need not be realized at all the times that the role exists. is role of role_of role of this enzyme has function this catalysis function (more colloquially: this enzyme has this catalysis function) a relation between an independent continuant (the bearer) and a function, in which the function specifically depends on the bearer for its existence A bearer can have many functions, and its functions can exist for different periods of time, but none of its functions can exist when the bearer does not exist. A function need not be realized at all the times that the function exists. has_function has function this apple has quality this red color a relation between an independent continuant (the bearer) and a quality, in which the quality specifically depends on the bearer for its existence A bearer can have many qualities, and its qualities can exist for different periods of time, but none of its qualities can exist when the bearer does not exist. has_quality has quality this person has role this investigator role (more colloquially: this person has this role of investigator) a relation between an independent continuant (the bearer) and a role, in which the role specifically depends on the bearer for its existence A bearer can have many roles, and its roles can exist for different periods of time, but none of its roles can exist when the bearer does not exist. A role need not be realized at all the times that the role exists. has_role has role a relation between an independent continuant (the bearer) and a disposition, in which the disposition specifically depends on the bearer for its existence has disposition disposition of this cell derives from this parent cell (cell division) this nucleus derives from this parent nucleus (nuclear division) a relation between two distinct material entities, the new entity and the old entity, in which the new entity begins to exist when the old entity ceases to exist, and the new entity inherits the significant portion of the matter of the old entity This is a very general relation. More specific relations are preferred when applicable, such as 'directly develops from'. derives_from derives from this parent cell derives into this cell (cell division) this parent nucleus derives into this nucleus (nuclear division) a relation between two distinct material entities, the old entity and the new entity, in which the new entity begins to exist when the old entity ceases to exist, and the new entity inherits the significant portion of the matter of the old entity This is a very general relation. More specific relations are preferred when applicable, such as 'directly develops into'. To avoid making statements about a future that may not come to pass, it is often better to use the backward-looking 'derives from' rather than the forward-looking 'derives into'. derives_into derives into is location of my head is the location of my brain this cage is the location of this rat a relation between two independent continuants, the location and the target, in which the target is entirely within the location Most location relations will only hold at certain times, but this is difficult to specify in OWL. See https://code.google.com/p/obo-relations/wiki/ROAndTime location_of location 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 the surface of my skin is a 2D boundary of my body a relation between a 2D immaterial entity (the boundary) and a material entity, in which the boundary delimits the material entity A 2D boundary may have holes and gaps, but it must be a single connected entity, not an aggregate of several disconnected parts. Although the boundary is two-dimensional, it exists in three-dimensional space and thus has a 3D shape. 2D_boundary_of boundary of is 2D boundary of is boundary of 2D boundary of my body has 2D boundary the surface of my skin a relation between a material entity and a 2D immaterial entity (the boundary), in which the boundary delimits the material entity A 2D boundary may have holes and gaps, but it must be a single connected entity, not an aggregate of several disconnected parts. Although the boundary is two-dimensional, it exists in three-dimensional space and thus has a 3D shape. has boundary has_2D_boundary has 2D boundary x regulates y if and only if the x is the realization of a function to exert an effect on the frequency, rate or extent of y 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 x negatively regulates y if and only if the progression of x reduces the frequency, rate or extent of y Chris Mungall negatively regulates (process to process) negatively regulates x positively regulates y if and only if the progression of x increases the frequency, rate or extent of y Chris Mungall positively regulates (process to process) positively regulates mechanosensory neuron capable of detection of mechanical stimulus involved in sensory perception (GO:0050974) osteoclast SubClassOf 'capable of' some 'bone resorption' A relation between a material entity (such as a cell) and a process, in which the material entity has the ability to carry out the process. 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 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 an annotation of gene X to anatomical structure formation with results_in_formation_of UBERON:0000007 (pituitary gland) means that at the beginning of the process a pituitary gland does not exist and at the end of the process a pituitary gland exists. every "endocardial cushion formation" (GO:0003272) results_in_formation_of some "endocardial cushion" (UBERON:0002062) Chris Mungall GOC:mtg_berkeley_2013 results_in_formation_of results in formation of An organism that is a member of a population of organisms is member of is a mereological relation between a item and a collection. is member of member part of SIO member of has member is a mereological relation between a collection and an item. SIO has member entity Entity Julius Caesar Verdi’s Requiem the Second World War your body mass index BFO 2 Reference: In all areas of empirical inquiry we encounter general terms of two sorts. First are general terms which refer to universals or types:animaltuberculosissurgical procedurediseaseSecond, are general terms used to refer to groups of entities which instantiate a given universal but do not correspond to the extension of any subuniversal of that universal because there is nothing intrinsic to the entities in question by virtue of which they – and only they – are counted as belonging to the given group. Examples are: animal purchased by the Emperortuberculosis diagnosed on a Wednesdaysurgical procedure performed on a patient from Stockholmperson identified as candidate for clinical trial #2056-555person who is signatory of Form 656-PPVpainting by Leonardo da VinciSuch terms, which represent what are called ‘specializations’ in [81 Entity doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example Werner Ceusters 'portions of reality' include 4 sorts, entities (as BFO construes them), universals, configurations, and relations. It is an open question as to whether entities as construed in BFO will at some point also include these other portions of reality. See, for example, 'How to track absolutely everything' at http://www.referent-tracking.com/_RTU/papers/CeustersICbookRevised.pdf An entity is anything that exists or has existed or will exist. (axiom label in BFO2 Reference: [001-001]) entity Entity doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example Werner Ceusters 'portions of reality' include 4 sorts, entities (as BFO construes them), universals, configurations, and relations. It is an open question as to whether entities as construed in BFO will at some point also include these other portions of reality. See, for example, 'How to track absolutely everything' at http://www.referent-tracking.com/_RTU/papers/CeustersICbookRevised.pdf per discussion with Barry Smith An entity is anything that exists or has existed or will exist. (axiom label in BFO2 Reference: [001-001]) continuant Continuant 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 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 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]) 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 Occurrent doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. An example would be the sum of a process and the process boundary of another process. per discussion with Barry Smith Simons uses different terminology for relations of occurrents to regions: Denote the spatio-temporal location of a given occurrent e by 'spn[e]' and call this region its span. We may say an occurrent is at its span, in any larger region, and covers any smaller region. Now suppose we have fixed a frame of reference so that we can speak not merely of spatio-temporal but also of spatial regions (places) and temporal regions (times). The spread of an occurrent, (relative to a frame of reference) is the space it exactly occupies, and its spell is likewise the time it exactly occupies. We write 'spr[e]' and `spl[e]' respectively for the spread and spell of e, omitting mention of the frame. An occurrent is an entity that unfolds itself in time or it is the instantaneous boundary of such an entity (for example a beginning or an ending) or it is a temporal or spatiotemporal region which such an entity occupies_temporal_region or occupies_spatiotemporal_region. (axiom label in BFO2 Reference: [077-002]) Every occurrent occupies_spatiotemporal_region some spatiotemporal region. (axiom label in BFO2 Reference: [108-001]) b is an occurrent entity iff b is an entity that has temporal parts. (axiom label in BFO2 Reference: [079-001]) (forall (x) (if (Occurrent x) (exists (r) (and (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion x r))))) // axiom label in BFO2 CLIF: [108-001] (forall (x) (iff (Occurrent x) (and (Entity x) (exists (y) (temporalPartOf y x))))) // axiom label in BFO2 CLIF: [079-001] ic IndependentContinuant 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 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] A continuant that is either dependent on one or other independent continuant bearers or inheres in or is borne by other entities. obsolete dependent continuant true s-region SpatialRegion BFO 2 Reference: Spatial regions do not participate in processes. Spatial region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the union of a spatial point and a spatial line that doesn't overlap the point, or two spatial lines that intersect at a single point. In both cases the resultant spatial region is neither 0-dimensional, 1-dimensional, 2-dimensional, or 3-dimensional. A spatial region is a continuant entity that is a continuant_part_of spaceR as defined relative to some frame R. (axiom label in BFO2 Reference: [035-001]) All continuant parts of spatial regions are spatial regions. (axiom label in BFO2 Reference: [036-001]) (forall (x y t) (if (and (SpatialRegion x) (continuantPartOfAt y x t)) (SpatialRegion y))) // axiom label in BFO2 CLIF: [036-001] (forall (x) (if (SpatialRegion x) (Continuant x))) // axiom label in BFO2 CLIF: [035-001] spatial region Spatial region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the union of a spatial point and a spatial line that doesn't overlap the point, or two spatial lines that intersect at a single point. In both cases the resultant spatial region is neither 0-dimensional, 1-dimensional, 2-dimensional, or 3-dimensional. per discussion with Barry Smith A spatial region is a continuant entity that is a continuant_part_of spaceR as defined relative to some frame R. (axiom label in BFO2 Reference: [035-001]) All continuant parts of spatial regions are spatial regions. (axiom label in BFO2 Reference: [036-001]) (forall (x y t) (if (and (SpatialRegion x) (continuantPartOfAt y x t)) (SpatialRegion y))) // axiom label in BFO2 CLIF: [036-001] (forall (x) (if (SpatialRegion x) (Continuant x))) // axiom label in BFO2 CLIF: [035-001] t-region TemporalRegion Temporal region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the mereological sum of a temporal instant and a temporal interval that doesn't overlap the instant. In this case the resultant temporal region is neither 0-dimensional nor 1-dimensional A temporal region is an occurrent entity that is part of time as defined relative to some reference frame. (axiom label in BFO2 Reference: [100-001]) All parts of temporal regions are temporal regions. (axiom label in BFO2 Reference: [101-001]) Every temporal region t is such that t occupies_temporal_region t. (axiom label in BFO2 Reference: [119-002]) (forall (r) (if (TemporalRegion r) (occupiesTemporalRegion r r))) // axiom label in BFO2 CLIF: [119-002] (forall (x y) (if (and (TemporalRegion x) (occurrentPartOf y x)) (TemporalRegion y))) // axiom label in BFO2 CLIF: [101-001] (forall (x) (if (TemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [100-001] temporal region Temporal region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the mereological sum of a temporal instant and a temporal interval that doesn't overlap the instant. In this case the resultant temporal region is neither 0-dimensional nor 1-dimensional per discussion with Barry Smith A temporal region is an occurrent entity that is part of time as defined relative to some reference frame. (axiom label in BFO2 Reference: [100-001]) All parts of temporal regions are temporal regions. (axiom label in BFO2 Reference: [101-001]) Every temporal region t is such that t occupies_temporal_region t. (axiom label in BFO2 Reference: [119-002]) (forall (r) (if (TemporalRegion r) (occupiesTemporalRegion r r))) // axiom label in BFO2 CLIF: [119-002] (forall (x y) (if (and (TemporalRegion x) (occurrentPartOf y x)) (TemporalRegion y))) // axiom label in BFO2 CLIF: [101-001] (forall (x) (if (TemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [100-001] 2d-s-region TwoDimensionalSpatialRegion an infinitely thin plane in space. the surface of a sphere-shaped part of space A two-dimensional spatial region is a spatial region that is of two dimensions. (axiom label in BFO2 Reference: [039-001]) (forall (x) (if (TwoDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [039-001] two-dimensional spatial region A two-dimensional spatial region is a spatial region that is of two dimensions. (axiom label in BFO2 Reference: [039-001]) (forall (x) (if (TwoDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [039-001] st-region SpatiotemporalRegion the spatiotemporal region occupied by a human life the spatiotemporal region occupied by a process of cellular meiosis. the spatiotemporal region occupied by the development of a cancer tumor A spatiotemporal region is an occurrent entity that is part of spacetime. (axiom label in BFO2 Reference: [095-001]) All parts of spatiotemporal regions are spatiotemporal regions. (axiom label in BFO2 Reference: [096-001]) Each spatiotemporal region at any time t projects_onto some spatial region at t. (axiom label in BFO2 Reference: [099-001]) Each spatiotemporal region projects_onto some temporal region. (axiom label in BFO2 Reference: [098-001]) Every spatiotemporal region occupies_spatiotemporal_region itself. Every spatiotemporal region s is such that s occupies_spatiotemporal_region s. (axiom label in BFO2 Reference: [107-002]) (forall (r) (if (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion r r))) // axiom label in BFO2 CLIF: [107-002] (forall (x t) (if (SpatioTemporalRegion x) (exists (y) (and (SpatialRegion y) (spatiallyProjectsOntoAt x y t))))) // axiom label in BFO2 CLIF: [099-001] (forall (x y) (if (and (SpatioTemporalRegion x) (occurrentPartOf y x)) (SpatioTemporalRegion y))) // axiom label in BFO2 CLIF: [096-001] (forall (x) (if (SpatioTemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [095-001] (forall (x) (if (SpatioTemporalRegion x) (exists (y) (and (TemporalRegion y) (temporallyProjectsOnto x y))))) // axiom label in BFO2 CLIF: [098-001] spatiotemporal region A spatiotemporal region is an occurrent entity that is part of spacetime. (axiom label in BFO2 Reference: [095-001]) All parts of spatiotemporal regions are spatiotemporal regions. (axiom label in BFO2 Reference: [096-001]) Each spatiotemporal region at any time t projects_onto some spatial region at t. (axiom label in BFO2 Reference: [099-001]) Each spatiotemporal region projects_onto some temporal region. (axiom label in BFO2 Reference: [098-001]) Every spatiotemporal region s is such that s occupies_spatiotemporal_region s. (axiom label in BFO2 Reference: [107-002]) (forall (r) (if (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion r r))) // axiom label in BFO2 CLIF: [107-002] (forall (x t) (if (SpatioTemporalRegion x) (exists (y) (and (SpatialRegion y) (spatiallyProjectsOntoAt x y t))))) // axiom label in BFO2 CLIF: [099-001] (forall (x y) (if (and (SpatioTemporalRegion x) (occurrentPartOf y x)) (SpatioTemporalRegion y))) // axiom label in BFO2 CLIF: [096-001] (forall (x) (if (SpatioTemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [095-001] (forall (x) (if (SpatioTemporalRegion x) (exists (y) (and (TemporalRegion y) (temporallyProjectsOnto x y))))) // axiom label in BFO2 CLIF: [098-001] 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 p is a process = Def. p is an occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. (axiom label in BFO2 Reference: [083-003]) (iff (Process a) (and (Occurrent a) (exists (b) (properTemporalPartOf b a)) (exists (c t) (and (MaterialEntity c) (specificallyDependsOnAt a c t))))) // axiom label in BFO2 CLIF: [083-003] disposition Disposition an atom of element X has the disposition to decay to an atom of element Y certain people have a predisposition to colon cancer children are innately disposed to categorize objects in certain ways. the cell wall is disposed to filter chemicals in endocytosis and exocytosis BFO 2 Reference: Dispositions exist along a strength continuum. Weaker forms of disposition are realized in only a fraction of triggering cases. These forms occur in a significant number of cases of a similar type. b is a disposition means: b is a realizable entity & b’s bearer is some material entity & b is such that if it ceases to exist, then its bearer is physically changed, & b’s realization occurs when and because this bearer is in some special physical circumstances, & this realization occurs in virtue of the bearer’s physical make-up. (axiom label in BFO2 Reference: [062-002]) If b is a realizable entity then for all t at which b exists, b s-depends_on some material entity at t. (axiom label in BFO2 Reference: [063-002]) (forall (x t) (if (and (RealizableEntity x) (existsAt x t)) (exists (y) (and (MaterialEntity y) (specificallyDepends x y t))))) // axiom label in BFO2 CLIF: [063-002] (forall (x) (if (Disposition x) (and (RealizableEntity x) (exists (y) (and (MaterialEntity y) (bearerOfAt x y t)))))) // axiom label in BFO2 CLIF: [062-002] disposition b is a disposition means: b is a realizable entity & b’s bearer is some material entity & b is such that if it ceases to exist, then its bearer is physically changed, & b’s realization occurs when and because this bearer is in some special physical circumstances, & this realization occurs in virtue of the bearer’s physical make-up. (axiom label in BFO2 Reference: [062-002]) If b is a realizable entity then for all t at which b exists, b s-depends_on some material entity at t. (axiom label in BFO2 Reference: [063-002]) (forall (x t) (if (and (RealizableEntity x) (existsAt x t)) (exists (y) (and (MaterialEntity y) (specificallyDepends x y t))))) // axiom label in BFO2 CLIF: [063-002] (forall (x) (if (Disposition x) (and (RealizableEntity x) (exists (y) (and (MaterialEntity y) (bearerOfAt x y t)))))) // axiom label in BFO2 CLIF: [062-002] realizable RealizableEntity the disposition of this piece of metal to conduct electricity. the disposition of your blood to coagulate the function of your reproductive organs the role of being a doctor the role of this boundary to delineate where Utah and Colorado meet A specifically dependent continuant that inheres in continuant entities and are not exhibited in full at every time in which it inheres in an entity or group of entities. The exhibition or actualization of a realizable entity is a particular manifestation, functioning or process that occurs under certain circumstances. To say that b is a realizable entity is to say that b is a specifically dependent continuant that inheres in some independent continuant which is not a spatial region and is of a type instances of which are realized in processes of a correlated type. (axiom label in BFO2 Reference: [058-002]) All realizable dependent continuants have independent continuants that are not spatial regions as their bearers. (axiom label in BFO2 Reference: [060-002]) (forall (x t) (if (RealizableEntity x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (bearerOfAt y x t))))) // axiom label in BFO2 CLIF: [060-002] (forall (x) (if (RealizableEntity x) (and (SpecificallyDependentContinuant x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (inheresIn x y)))))) // axiom label in BFO2 CLIF: [058-002] realizable entity To say that b is a realizable entity is to say that b is a specifically dependent continuant that inheres in some independent continuant which is not a spatial region and is of a type instances of which are realized in processes of a correlated type. (axiom label in BFO2 Reference: [058-002]) All realizable dependent continuants have independent continuants that are not spatial regions as their bearers. (axiom label in BFO2 Reference: [060-002]) (forall (x t) (if (RealizableEntity x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (bearerOfAt y x t))))) // axiom label in BFO2 CLIF: [060-002] (forall (x) (if (RealizableEntity x) (and (SpecificallyDependentContinuant x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (inheresIn x y)))))) // axiom label in BFO2 CLIF: [058-002] 0d-s-region ZeroDimensionalSpatialRegion A zero-dimensional spatial region is a point in space. (axiom label in BFO2 Reference: [037-001]) (forall (x) (if (ZeroDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [037-001] zero-dimensional spatial region A zero-dimensional spatial region is a point in space. (axiom label in BFO2 Reference: [037-001]) (forall (x) (if (ZeroDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [037-001] 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 a quality is a specifically dependent continuant that, in contrast to roles and dispositions, does not require any further process in order to be realized. (axiom label in BFO2 Reference: [055-001]) If an entity is a quality at any time that it exists, then it is a quality at every time that it exists. (axiom label in BFO2 Reference: [105-001]) (forall (x) (if (Quality x) (SpecificallyDependentContinuant x))) // axiom label in BFO2 CLIF: [055-001] (forall (x) (if (exists (t) (and (existsAt x t) (Quality x))) (forall (t_1) (if (existsAt x t_1) (Quality x))))) // axiom label in BFO2 CLIF: [105-001] sdc SpecificallyDependentContinuant Reciprocal specifically dependent continuants: the function of this key to open this lock and the mutually dependent disposition of this lock: to be opened by this key of one-sided specifically dependent continuants: the mass of this tomato of relational dependent continuants (multiple bearers): John’s love for Mary, the ownership relation between John and this statue, the relation of authority between John and his subordinates. the disposition of this fish to decay the function of this heart: to pump blood the mutual dependence of proton donors and acceptors in chemical reactions [79 the mutual dependence of the role predator and the role prey as played by two organisms in a given interaction the pink color of a medium rare piece of grilled filet mignon at its center the role of being a doctor the shape of this hole. the smell of this portion of mozzarella A continuant that inheres in or is borne by other entities. Every instance of A requires some specific instance of B which must always be the same. b is a relational specifically dependent continuant = Def. b is a specifically dependent continuant and there are n &gt; 1 independent continuants c1, … cn which are not spatial regions are such that for all 1 i &lt; j n, ci and cj share no common parts, are such that for each 1 i n, b s-depends_on ci at every time t during the course of b’s existence (axiom label in BFO2 Reference: [131-004]) b is a specifically dependent continuant = Def. b is a continuant & there is some independent continuant c which is not a spatial region and which is such that b s-depends_on c at every time t during the course of b’s existence. (axiom label in BFO2 Reference: [050-003]) Specifically dependent continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. We're not sure what else will develop here, but for example there are questions such as what are promises, obligation, etc. (iff (RelationalSpecificallyDependentContinuant a) (and (SpecificallyDependentContinuant a) (forall (t) (exists (b c) (and (not (SpatialRegion b)) (not (SpatialRegion c)) (not (= b c)) (not (exists (d) (and (continuantPartOfAt d b t) (continuantPartOfAt d c t)))) (specificallyDependsOnAt a b t) (specificallyDependsOnAt a c t)))))) // axiom label in BFO2 CLIF: [131-004] (iff (SpecificallyDependentContinuant a) (and (Continuant a) (forall (t) (if (existsAt a t) (exists (b) (and (IndependentContinuant b) (not (SpatialRegion b)) (specificallyDependsOnAt a b t))))))) // axiom label in BFO2 CLIF: [050-003] specifically dependent continuant b is a relational specifically dependent continuant = Def. b is a specifically dependent continuant and there are n &gt; 1 independent continuants c1, … cn which are not spatial regions are such that for all 1 i &lt; j n, ci and cj share no common parts, are such that for each 1 i n, b s-depends_on ci at every time t during the course of b’s existence (axiom label in BFO2 Reference: [131-004]) b is a specifically dependent continuant = Def. b is a continuant & there is some independent continuant c which is not a spatial region and which is such that b s-depends_on c at every time t during the course of b’s existence. (axiom label in BFO2 Reference: [050-003]) Specifically dependent continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. We're not sure what else will develop here, but for example there are questions such as what are promises, obligation, etc. per discussion with Barry Smith (iff (RelationalSpecificallyDependentContinuant a) (and (SpecificallyDependentContinuant a) (forall (t) (exists (b c) (and (not (SpatialRegion b)) (not (SpatialRegion c)) (not (= b c)) (not (exists (d) (and (continuantPartOfAt d b t) (continuantPartOfAt d c t)))) (specificallyDependsOnAt a b t) (specificallyDependsOnAt a c t)))))) // axiom label in BFO2 CLIF: [131-004] (iff (SpecificallyDependentContinuant a) (and (Continuant a) (forall (t) (if (existsAt a t) (exists (b) (and (IndependentContinuant b) (not (SpatialRegion b)) (specificallyDependsOnAt a b t))))))) // axiom label in BFO2 CLIF: [050-003] role Role John’s role of husband to Mary is dependent on Mary’s role of wife to John, and both are dependent on the object aggregate comprising John and Mary as member parts joined together through the relational quality of being married. the priest role the role of a boundary to demarcate two neighboring administrative territories the role of a building in serving as a military target the role of a stone in marking a property boundary the role of subject in a clinical trial the student role A realizable entity the manifestation of which brings about some result or end that is not essential to a continuant in virtue of the kind of thing that it is but that can be served or participated in by that kind of continuant in some kinds of natural, social or institutional contexts. BFO 2 Reference: One major family of examples of non-rigid universals involves roles, and ontologies developed for corresponding administrative purposes may consist entirely of representatives of entities of this sort. Thus ‘professor’, defined as follows,b instance_of professor at t =Def. there is some c, c instance_of professor role & c inheres_in b at t.denotes a non-rigid universal and so also do ‘nurse’, ‘student’, ‘colonel’, ‘taxpayer’, and so forth. (These terms are all, in the jargon of philosophy, phase sortals.) By using role terms in definitions, we can create a BFO conformant treatment of such entities drawing on the fact that, while an instance of professor may be simultaneously an instance of trade union member, no instance of the type professor role is also (at any time) an instance of the type trade union member role (any more than any instance of the type color is at any time an instance of the type length).If an ontology of employment positions should be defined in terms of roles following the above pattern, this enables the ontology to do justice to the fact that individuals instantiate the corresponding universals – professor, sergeant, nurse – only during certain phases in their lives. b is a role means: b is a realizable entity & b exists because there is some single bearer that is in some special physical, social, or institutional set of circumstances in which this bearer does not have to be& b is not such that, if it ceases to exist, then the physical make-up of the bearer is thereby changed. (axiom label in BFO2 Reference: [061-001]) (forall (x) (if (Role x) (RealizableEntity x))) // axiom label in BFO2 CLIF: [061-001] role b is a role means: b is a realizable entity & b exists because there is some single bearer that is in some special physical, social, or institutional set of circumstances in which this bearer does not have to be& b is not such that, if it ceases to exist, then the physical make-up of the bearer is thereby changed. (axiom label in BFO2 Reference: [061-001]) (forall (x) (if (Role x) (RealizableEntity x))) // axiom label in BFO2 CLIF: [061-001] fiat-object FiatObjectPart or with divisions drawn by cognitive subjects for practical reasons, such as the division of a cake (before slicing) into (what will become) slices (and thus member parts of an object aggregate). However, this does not mean that fiat object parts are dependent for their existence on divisions or delineations effected by cognitive subjects. If, for example, it is correct to conceive geological layers of the Earth as fiat object parts of the Earth, then even though these layers were first delineated in recent times, still existed long before such delineation and what holds of these layers (for example that the oldest layers are also the lowest layers) did not begin to hold because of our acts of delineation.Treatment of material entity in BFOExamples viewed by some as problematic cases for the trichotomy of fiat object part, object, and object aggregate include: a mussel on (and attached to) a rock, a slime mold, a pizza, a cloud, a galaxy, a railway train with engine and multiple carriages, a clonal stand of quaking aspen, a bacterial community (biofilm), a broken femur. Note that, as Aristotle already clearly recognized, such problematic cases – which lie at or near the penumbra of instances defined by the categories in question – need not invalidate these categories. The existence of grey objects does not prove that there are not objects which are black and objects which are white; the existence of mules does not prove that there are not objects which are donkeys and objects which are horses. It does, however, show that the examples in question need to be addressed carefully in order to show how they can be fitted into the proposed scheme, for example by recognizing additional subdivisions [29 the FMA:regional parts of an intact human body. the Western hemisphere of the Earth the division of the brain into regions the division of the planet into hemispheres the dorsal and ventral surfaces of the body the upper and lower lobes of the left lung BFO 2 Reference: Most examples of fiat object parts are associated with theoretically drawn divisions b is a fiat object part = Def. b is a material entity which is such that for all times t, if b exists at t then there is some object c such that b proper continuant_part of c at t and c is demarcated from the remainder of c by a two-dimensional continuant fiat boundary. (axiom label in BFO2 Reference: [027-004]) (forall (x) (if (FiatObjectPart x) (and (MaterialEntity x) (forall (t) (if (existsAt x t) (exists (y) (and (Object y) (properContinuantPartOfAt x y t)))))))) // axiom label in BFO2 CLIF: [027-004] fiat object b is a fiat object part = Def. b is a material entity which is such that for all times t, if b exists at t then there is some object c such that b proper continuant_part of c at t and c is demarcated from the remainder of c by a two-dimensional continuant fiat boundary. (axiom label in BFO2 Reference: [027-004]) (forall (x) (if (FiatObjectPart x) (and (MaterialEntity x) (forall (t) (if (existsAt x t) (exists (y) (and (Object y) (properContinuantPartOfAt x y t)))))))) // axiom label in BFO2 CLIF: [027-004] 1d-s-region OneDimensionalSpatialRegion an edge of a cube-shaped portion of space. A one-dimensional spatial region is a line or aggregate of lines stretching from one point in space to another. (axiom label in BFO2 Reference: [038-001]) (forall (x) (if (OneDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [038-001] one-dimensional spatial region A one-dimensional spatial region is a line or aggregate of lines stretching from one point in space to another. (axiom label in BFO2 Reference: [038-001]) (forall (x) (if (OneDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [038-001] 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 An entity a is an object aggregate if and only if there is a mutually exhaustive and pairwise disjoint partition of a into objects An entity a is an object aggregate if and only if there is a mutually exhaustive and pairwise disjoint partition of a into objects 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] 3d-s-region ThreeDimensionalSpatialRegion a cube-shaped region of space a sphere-shaped region of space, A three-dimensional spatial region is a spatial region that is of three dimensions. (axiom label in BFO2 Reference: [040-001]) (forall (x) (if (ThreeDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [040-001] three-dimensional spatial region A three-dimensional spatial region is a spatial region that is of three dimensions. (axiom label in BFO2 Reference: [040-001]) (forall (x) (if (ThreeDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [040-001] 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 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] 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 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]) 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 b is a generically dependent continuant = Def. b is a continuant that g-depends_on one or more other entities. (axiom label in BFO2 Reference: [074-001]) (iff (GenericallyDependentContinuant a) (and (Continuant a) (exists (b t) (genericallyDependsOnAt a b t)))) // axiom label in BFO2 CLIF: [074-001] function Function the function of a hammer to drive in nails the function of a heart pacemaker to regulate the beating of a heart through electricity the function of amylase in saliva to break down starch into sugar BFO 2 Reference: In the past, we have distinguished two varieties of function, artifactual function and biological function. These are not asserted subtypes of BFO:function however, since the same function – for example: to pump, to transport – can exist both in artifacts and in biological entities. The asserted subtypes of function that would be needed in order to yield a separate monoheirarchy are not artifactual function, biological function, etc., but rather transporting function, pumping function, etc. A function is a disposition that exists in virtue of the bearer’s physical make-up and this physical make-up is something the bearer possesses because it came into being, either through evolution (in the case of natural biological entities) or through intentional design (in the case of artifacts), in order to realize processes of a certain sort. (axiom label in BFO2 Reference: [064-001]) (forall (x) (if (Function x) (Disposition x))) // axiom label in BFO2 CLIF: [064-001] function A function is a disposition that exists in virtue of the bearer’s physical make-up and this physical make-up is something the bearer possesses because it came into being, either through evolution (in the case of natural biological entities) or through intentional design (in the case of artifacts), in order to realize processes of a certain sort. (axiom label in BFO2 Reference: [064-001]) (forall (x) (if (Function x) (Disposition x))) // axiom label in BFO2 CLIF: [064-001] p-boundary ProcessBoundary the boundary between the 2nd and 3rd year of your life. p is a process boundary =Def. p is a temporal part of a process & p has no proper temporal parts. (axiom label in BFO2 Reference: [084-001]) Every process boundary occupies_temporal_region a zero-dimensional temporal region. (axiom label in BFO2 Reference: [085-002]) (forall (x) (if (ProcessBoundary x) (exists (y) (and (ZeroDimensionalTemporalRegion y) (occupiesTemporalRegion x y))))) // axiom label in BFO2 CLIF: [085-002] (iff (ProcessBoundary a) (exists (p) (and (Process p) (temporalPartOf a p) (not (exists (b) (properTemporalPartOf b a)))))) // axiom label in BFO2 CLIF: [084-001] process boundary p is a process boundary =Def. p is a temporal part of a process & p has no proper temporal parts. (axiom label in BFO2 Reference: [084-001]) Every process boundary occupies_temporal_region a zero-dimensional temporal region. (axiom label in BFO2 Reference: [085-002]) (forall (x) (if (ProcessBoundary x) (exists (y) (and (ZeroDimensionalTemporalRegion y) (occupiesTemporalRegion x y))))) // axiom label in BFO2 CLIF: [085-002] (iff (ProcessBoundary a) (exists (p) (and (Process p) (temporalPartOf a p) (not (exists (b) (properTemporalPartOf b a)))))) // axiom label in BFO2 CLIF: [084-001] 1d-t-region OneDimensionalTemporalRegion the temporal region during which a process occurs. BFO 2 Reference: A temporal interval is a special kind of one-dimensional temporal region, namely one that is self-connected (is without gaps or breaks). A one-dimensional temporal region is a temporal region that is extended. (axiom label in BFO2 Reference: [103-001]) (forall (x) (if (OneDimensionalTemporalRegion x) (TemporalRegion x))) // axiom label in BFO2 CLIF: [103-001] one-dimensional temporal region A one-dimensional temporal region is a temporal region that is extended. (axiom label in BFO2 Reference: [103-001]) (forall (x) (if (OneDimensionalTemporalRegion x) (TemporalRegion x))) // axiom label in BFO2 CLIF: [103-001] material MaterialEntity 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 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] cf-boundary ContinuantFiatBoundary b is a continuant fiat boundary = Def. b is an immaterial entity that is of zero, one or two dimensions and does not include a spatial region as part. (axiom label in BFO2 Reference: [029-001]) BFO 2 Reference: In BFO 1.1 the assumption was made that the external surface of a material entity such as a cell could be treated as if it were a boundary in the mathematical sense. The new document propounds the view that when we talk about external surfaces of material objects in this way then we are talking about something fiat. To be dealt with in a future version: fiat boundaries at different levels of granularity.More generally, the focus in discussion of boundaries in BFO 2.0 is now on fiat boundaries, which means: boundaries for which there is no assumption that they coincide with physical discontinuities. The ontology of boundaries becomes more closely allied with the ontology of regions. BFO 2 Reference: a continuant fiat boundary is a boundary of some material entity (for example: the plane separating the Northern and Southern hemispheres; the North Pole), or it is a boundary of some immaterial entity (for example of some portion of airspace). Three basic kinds of continuant fiat boundary can be distinguished (together with various combination kinds [29 Continuant fiat boundary doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. An example would be the mereological sum of two-dimensional continuant fiat boundary and a one dimensional continuant fiat boundary that doesn't overlap it. The situation is analogous to temporal and spatial regions. Every continuant fiat boundary is located at some spatial region at every time at which it exists (iff (ContinuantFiatBoundary a) (and (ImmaterialEntity a) (exists (b) (and (or (ZeroDimensionalSpatialRegion b) (OneDimensionalSpatialRegion b) (TwoDimensionalSpatialRegion b)) (forall (t) (locatedInAt a b t)))) (not (exists (c t) (and (SpatialRegion c) (continuantPartOfAt c a t)))))) // axiom label in BFO2 CLIF: [029-001] continuant fiat boundary b is a continuant fiat boundary = Def. b is an immaterial entity that is of zero, one or two dimensions and does not include a spatial region as part. (axiom label in BFO2 Reference: [029-001]) Continuant fiat boundary doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. An example would be the mereological sum of two-dimensional continuant fiat boundary and a one dimensional continuant fiat boundary that doesn't overlap it. The situation is analogous to temporal and spatial regions. (iff (ContinuantFiatBoundary a) (and (ImmaterialEntity a) (exists (b) (and (or (ZeroDimensionalSpatialRegion b) (OneDimensionalSpatialRegion b) (TwoDimensionalSpatialRegion b)) (forall (t) (locatedInAt a b t)))) (not (exists (c t) (and (SpatialRegion c) (continuantPartOfAt c a t)))))) // axiom label in BFO2 CLIF: [029-001] 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 1d-cf-boundary OneDimensionalContinuantFiatBoundary The Equator all geopolitical boundaries all lines of latitude and longitude the line separating the outer surface of the mucosa of the lower lip from the outer surface of the skin of the chin. the median sulcus of your tongue a one-dimensional continuant fiat boundary is a continuous fiat line whose location is defined in relation to some material entity. (axiom label in BFO2 Reference: [032-001]) (iff (OneDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (OneDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [032-001] one-dimensional continuant fiat boundary a one-dimensional continuant fiat boundary is a continuous fiat line whose location is defined in relation to some material entity. (axiom label in BFO2 Reference: [032-001]) (iff (OneDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (OneDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [032-001] process-profile ProcessProfile On a somewhat higher level of complexity are what we shall call rate process profiles, which are the targets of selective abstraction focused not on determinate quality magnitudes plotted over time, but rather on certain ratios between these magnitudes and elapsed times. A speed process profile, for example, is represented by a graph plotting against time the ratio of distance covered per unit of time. Since rates may change, and since such changes, too, may have rates of change, we have to deal here with a hierarchy of process profile universals at successive levels One important sub-family of rate process profiles is illustrated by the beat or frequency profiles of cyclical processes, illustrated by the 60 beats per minute beating process of John’s heart, or the 120 beats per minute drumming process involved in one of John’s performances in a rock band, and so on. Each such process includes what we shall call a beat process profile instance as part, a subtype of rate process profile in which the salient ratio is not distance covered but rather number of beat cycles per unit of time. Each beat process profile instance instantiates the determinable universal beat process profile. But it also instantiates multiple more specialized universals at lower levels of generality, selected from rate process profilebeat process profileregular beat process profile3 bpm beat process profile4 bpm beat process profileirregular beat process profileincreasing beat process profileand so on.In the case of a regular beat process profile, a rate can be assigned in the simplest possible fashion by dividing the number of cycles by the length of the temporal region occupied by the beating process profile as a whole. Irregular process profiles of this sort, for example as identified in the clinic, or in the readings on an aircraft instrument panel, are often of diagnostic significance. The simplest type of process profiles are what we shall call ‘quality process profiles’, which are the process profiles which serve as the foci of the sort of selective abstraction that is involved when measurements are made of changes in single qualities, as illustrated, for example, by process profiles of mass, temperature, aortic pressure, and so on. b is a process_profile =Def. there is some process c such that b process_profile_of c (axiom label in BFO2 Reference: [093-002]) b process_profile_of c holds when b proper_occurrent_part_of c& there is some proper_occurrent_part d of c which has no parts in common with b & is mutually dependent on b& is such that b, c and d occupy the same temporal region (axiom label in BFO2 Reference: [094-005]) (forall (x y) (if (processProfileOf x y) (and (properContinuantPartOf x y) (exists (z t) (and (properOccurrentPartOf z y) (TemporalRegion t) (occupiesSpatioTemporalRegion x t) (occupiesSpatioTemporalRegion y t) (occupiesSpatioTemporalRegion z t) (not (exists (w) (and (occurrentPartOf w x) (occurrentPartOf w z))))))))) // axiom label in BFO2 CLIF: [094-005] (iff (ProcessProfile a) (exists (b) (and (Process b) (processProfileOf a b)))) // axiom label in BFO2 CLIF: [093-002] process profile b is a process_profile =Def. there is some process c such that b process_profile_of c (axiom label in BFO2 Reference: [093-002]) b process_profile_of c holds when b proper_occurrent_part_of c& there is some proper_occurrent_part d of c which has no parts in common with b & is mutually dependent on b& is such that b, c and d occupy the same temporal region (axiom label in BFO2 Reference: [094-005]) (forall (x y) (if (processProfileOf x y) (and (properContinuantPartOf x y) (exists (z t) (and (properOccurrentPartOf z y) (TemporalRegion t) (occupiesSpatioTemporalRegion x t) (occupiesSpatioTemporalRegion y t) (occupiesSpatioTemporalRegion z t) (not (exists (w) (and (occurrentPartOf w x) (occurrentPartOf w z))))))))) // axiom label in BFO2 CLIF: [094-005] (iff (ProcessProfile a) (exists (b) (and (Process b) (processProfileOf a b)))) // axiom label in BFO2 CLIF: [093-002] r-quality RelationalQuality 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. a marriage bond, an instance of love, an obligation between one person and another. b is a relational quality = Def. for some independent continuants c, d and for some time t: b quality_of c at t & b quality_of d at t. (axiom label in BFO2 Reference: [057-001]) (iff (RelationalQuality a) (exists (b c t) (and (IndependentContinuant b) (IndependentContinuant c) (qualityOfAt a b t) (qualityOfAt a c t)))) // axiom label in BFO2 CLIF: [057-001] relational quality b is a relational quality = Def. for some independent continuants c, d and for some time t: b quality_of c at t & b quality_of d at t. (axiom label in BFO2 Reference: [057-001]) (iff (RelationalQuality a) (exists (b c t) (and (IndependentContinuant b) (IndependentContinuant c) (qualityOfAt a b t) (qualityOfAt a c t)))) // axiom label in BFO2 CLIF: [057-001] 2d-cf-boundary TwoDimensionalContinuantFiatBoundary a two-dimensional continuant fiat boundary (surface) is a self-connected fiat surface whose location is defined in relation to some material entity. (axiom label in BFO2 Reference: [033-001]) (iff (TwoDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (TwoDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [033-001] two-dimensional continuant fiat boundary a two-dimensional continuant fiat boundary (surface) is a self-connected fiat surface whose location is defined in relation to some material entity. (axiom label in BFO2 Reference: [033-001]) (iff (TwoDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (TwoDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [033-001] 0d-cf-boundary ZeroDimensionalContinuantFiatBoundary the geographic North Pole the point of origin of some spatial coordinate system. the quadripoint where the boundaries of Colorado, Utah, New Mexico, and Arizona meet zero dimension continuant fiat boundaries are not spatial points. Considering the example 'the quadripoint where the boundaries of Colorado, Utah, New Mexico, and Arizona meet' : There are many frames in which that point is zooming through many points in space. Whereas, no matter what the frame, the quadripoint is always in the same relation to the boundaries of Colorado, Utah, New Mexico, and Arizona. a zero-dimensional continuant fiat boundary is a fiat point whose location is defined in relation to some material entity. (axiom label in BFO2 Reference: [031-001]) (iff (ZeroDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (ZeroDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [031-001] zero-dimensional continuant fiat boundary zero dimension continuant fiat boundaries are not spatial points. Considering the example 'the quadripoint where the boundaries of Colorado, Utah, New Mexico, and Arizona meet' : There are many frames in which that point is zooming through many points in space. Whereas, no matter what the frame, the quadripoint is always in the same relation to the boundaries of Colorado, Utah, New Mexico, and Arizona. requested by Melanie Courtot a zero-dimensional continuant fiat boundary is a fiat point whose location is defined in relation to some material entity. (axiom label in BFO2 Reference: [031-001]) (iff (ZeroDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (ZeroDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [031-001] 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 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] history History A history is a process that is the sum of the totality of processes taking place in the spatiotemporal region occupied by a material entity or site, including processes on the surface of the entity or within the cavities to which it serves as host. (axiom label in BFO2 Reference: [138-001]) history A history is a process that is the sum of the totality of processes taking place in the spatiotemporal region occupied by a material entity or site, including processes on the surface of the entity or within the cavities to which it serves as host. (axiom label in BFO2 Reference: [138-001]) A part of a multicellular organism that is either an immaterial entity or a material entity with granularity above the level of a protein complex. Or, a substance produced by a multicellular organism with granularity above the level of a protein complex. anatomical entity Any constitutionally or isotopically distinct atom, molecule, ion, ion pair, radical, radical ion, complex, conformer etc., identifiable as a separately distinguishable entity. molecular entity A material entity of anatomical origin (part of or deriving from an organism) that has as its parts a maximally connected cell compartment surrounded by a plasma membrane. cell cell An achromatic cell of the myeloid or lymphoid lineages capable of ameboid movement, found in blood or other tissue. leukocyte The production of new individuals that contain some portion of genetic material inherited from one or more parent organisms. reproduction An immune response mediated by cells expressing specific receptors for antigen produced through a somatic diversification process, and allowing for an enhanced secondary response to subsequent exposures to the same antigen (immunological memory). adaptive immune response Any process involved in the carrying out of an immune response by a leukocyte. leukocyte mediated immunity Any immune system process that functions in the calibrated response of an organism to a potential internal or invasive threat. immune response An immune response mediated through a body fluid. humoral immune response Any process specifically pertinent to the functioning of integrated living units: cells, tissues, organs, and organisms. A process is a collection of molecular events with a defined beginning and end. biological_process A protein complex that in its canonical form is composed of two identical immunoglobulin heavy chains and two identical immunoglobulin light chains, held together by disulfide bonds and sometimes complexed with additional proteins. An immunoglobulin complex may be embedded in the plasma membrane or present in the extracellular space, in mucosal areas or other tissues, or circulating in the blood or lymph. immunoglobulin complex An immunoglobulin complex that is present in the plasma membrane of B cells and that in its canonical form is composed of two identical immunoglobulin heavy chains and two identical immunoglobulin light chains and a signaling subunit, a heterodimer of the Ig-alpha and Ig-beta proteins. B cell receptor complex A biological process whose specific outcome is the progression of an integrated living unit: an anatomical structure (which may be a subcellular structure, cell, tissue, or organ), or organism over time from an initial condition to a later condition. developmental process A stable assembly of two or more macromolecules, i.e. proteins, nucleic acids, carbohydrates or lipids, in which at least one component is a protein and the constituent parts function together. macromolecular complex The increase in size or mass of an entire organism, a part of an organism or a cell. growth A protein complex that contains a disulfide-linked heterodimer of T cell receptor (TCR) chains, which are members of the immunoglobulin superfamily, and mediates antigen recognition, ultimately resulting in T cell activation. The TCR heterodimer is associated with the CD3 complex, which consists of the nonpolymorphic polypeptides gamma, delta, epsilon, zeta, and, in some cases, eta (an RNA splice variant of zeta) or Fc epsilon chains. T cell receptor complex A cytokinesis process that involves a set of conserved proteins including FtsZ, and results in the formation of two similarly sized and shaped cells. FtsZ-dependent cytokinesis An interaction between two organisms living together in more or less intimate association. Microscopic symbionts are often referred to as endosymbionts. The various forms of symbiosis include parasitism, in which the association is disadvantageous or destructive to one of the organisms; mutualism, in which the association is advantageous, or often necessary to one or both and not harmful to either; and commensalism, in which one member of the association benefits while the other is not affected. However, mutualism, parasitism, and commensalism are often not discrete categories of interactions and should rather be perceived as a continuum of interaction ranging from parasitism to mutualism. In fact, the direction of a symbiotic interaction can change during the lifetime of the symbionts due to developmental changes as well as changes in the biotic/abiotic environment in which the interaction occurs. symbiosis, encompassing mutualism through parasitism The attachment of a symbiont to its host via adhesion molecules, general stickiness etc., either directly or indirectly. The host is defined as the larger of the organisms involved in a symbiotic interaction. adhesion of symbiont to host Penetration by an organism into the body, tissues, or cells of the host organism. The host is defined as the larger of the organisms involved in a symbiotic interaction. entry into host Penetration by an organism into its host organism via active breaching of the physical barriers of the host organism. The host is defined as the larger of the organisms involved in a symbiotic interaction. entry into host through host barriers Innate immune responses are defense responses mediated by germline encoded components that directly recognize components of potential pathogens. innate immune response Any process that stops, prevents, or reduces the frequency, rate or extent of a multi-organism process in which a virus is a participant. negative regulation of viral process Any process that stops, prevents, or reduces the frequency, rate or extent of the immune response, the immunological reaction of an organism to an immunogenic stimulus. negative regulation of immune response Any process that stops, prevents or reduces the rate or extent of development, the biological process whose specific outcome is the progression of an organism over time from an initial condition (e.g. a zygote, or a young adult) to a later condition (e.g. a multicellular animal or an aged adult). negative regulation of developmental process Any process that localizes a substance or cellular component. This may occur via movement, tethering or selective degradation. Gene Ontology: http://purl.obolibrary.org/obo/go.owl establishment of localization establishment of localization A biological process which involves another organism of the same or different species. multi-organism process Any process that modulates a measurable attribute of any biological process, quality or function. biological regulation An interaction between two organisms living together in more or less intimate association in a relationship in which both organisms benefit from each other. mutualism An interaction between two organisms living together in more or less intimate association in a relationship in which one benefits and the other is unaffected. commensalism data item information content entity curation status specification The curation status of the term. The allowed values come from an enumerated list of predefined terms. See the specification of these instances for more detailed definitions of each enumerated value. Better to represent curation as a process with parts and then relate labels to that process (in IAO meeting) PERSON:Bill Bug 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 obsolescence reason specification The reason for which a term has been deprecated. The allowed values come from an enumerated list of predefined terms. See the specification of these instances for more detailed definitions of each enumerated value. The creation of this class has been inspired in part by Werner Ceusters' paper, Applying evolutionary terminology auditing to the Gene Ontology. PERSON: Alan Ruttenberg PERSON: Melanie Courtot obsolescence reason specification The Basic Formal Ontology ontology makes a distinction between Universals and defined classes, where the formal are "natural kinds" and the latter arbitrary collections of entities. A denotator type indicates how a term should be interpreted from an ontological perspective. Alan Ruttenberg Barry Smith, Werner Ceusters denotator type _obsolete_process true _obsolete_role true _obsolete_quality true _obsolete_object true 'the degree of pathogenicitynnpathogenicity and virulence are used in some communities as synonyms.'-ID[O]:0000004: the degree of pathogenicitynnpathogenicity and virulence are used in some communities as synonyms. id 'virulence'-ID[O]:0000004 from IDO 2007. May have replacement - TBD _obsolete_virulence true _obsolete_swollen true _obsolete_toxicity true _obsolete_active true _obsolete_contagious true 'infection has occurred, but it might not have manifested itselfnquality of being in a non replicative statentime to manifest itself na pathogen when it is in a non replicative state'-ID[O]:0000009: infection has occurred, but it might not have manifested itselfnquality of being in a non replicative statentime to manifest itself na pathogen when it is in a non replicative state id 'latency'-ID[O]:0000009 from IDO 2007. May have replacement - TBD _obsolete_latency true _obsolete_immunosuppressed true _obsolete_exogenous true _obsolete_immunity true _obsolete_protective true _obsolete_temperature true _obsolete_inactivated true _obsolete_mortality true _obsolete_pandemic true 'total number of cases of a particular disease at a given time in a particular population divided by the number of individuals in that particular populationnnthe burden of a disease in a population'-ID[O]:0000019: total number of cases of a particular disease at a given time in a particular population divided by the number of individuals in that particular populationnnthe burden of a disease in a population id 'prevalence'-ID[O]:0000019 from IDO 2007. May have replacement - TBD _obsolete_prevalence true _obsolete_epidemic true _obsolete_infected true _obsolete_live true _obsolete_zoonotic true _obsolete_immunocompromised true 'the ability of the biotic entity to cause disease in a host of a given typenndo we need to say damage instead of disease?nnpathogenicity and virulence are used as synonyms in some communities'-ID[O]:0000025: the ability of the biotic entity to cause disease in a host of a given typenndo we need to say damage instead of disease?nnpathogenicity and virulence are used as synonyms in some communities id 'pathogenicity'-ID[O]:0000025 from IDO 2007. May have replacement - TBD _obsolete_pathogenicity true _obsolete_tropism true _obsolete_drug resistance true _obsolete_antibiotic resistance true 'number of new cases in a given period of time'-ID[O]:0000029: number of new cases in a given period of time id 'incidence'-ID[O]:0000029 from IDO 2007. May have replacement - TBD _obsolete_incidence true _obsolete_invasive true _obsolete_endogenous true _obsolete_attenuated true _obsolete_morbidity true _obsolete_endemic true _obsolete_fusion protein true _obsolete_colonizer true _obsolete_commensal true _obsolete_parasite true _obsolete_symbiant true 'role played by a portion of substance to promote virulencennmagnitudendegree of pathogenesis'-ID[O]:0000040: role played by a portion of substance to promote virulencennmagnitudendegree of pathogenesis id 'virulence factor'-ID[O]:0000040 from IDO 2007. May have replacement - TBD _obsolete_virulence factor true _obsolete_route of entry true _obsolete_invasin true _obsolete_toxin true _obsolete_endotoxin true _obsolete_exotoxin true _obsolete_sign true _obsolete_treatment true 'look at mathias's ontology of cancer to get all the subterms...its under quality there'-ID[O]:0000048: look at mathias's ontology of cancer to get all the subterms...its under quality there id 'symptom'-ID[O]:0000048 from IDO 2007. May have replacement - TBD _obsolete_symptom true _obsolete_antimicrobial true _obsolete_medicine true _obsolete_therapeutic true _obsolete_vaccine true _obsolete_antibiotic true 'role played by portion of physical substance which promotes colonization'-ID[O]:0000054: role played by portion of physical substance which promotes colonization id 'colonization factor'-ID[O]:0000054 from IDO 2007. May have replacement - TBD _obsolete_colonization factor true 'role played by portion of physical substance utilized by an organism in order to establish adherence to a surface in a host'-ID[O]:0000055: role played by portion of physical substance utilized by an organism in order to establish adherence to a surface in a host id 'adhesion factor'-ID[O]:0000055 from IDO 2007. May have replacement - TBD _obsolete_adhesion factor true _obsolete_host true _obsolete_carrier true _obsolete_chronic carrier true 'holding place for a potential pathogen...animate or inanimate'-ID[O]:0000059: holding place for a potential pathogen...animate or inanimate id 'reservoir'-ID[O]:0000059 from IDO 2007. May have replacement - TBD _obsolete_reservoir true 'inanimate holder, is water a fomite or only a reservoir?'-ID[O]:0000060: inanimate holder, is water a fomite or only a reservoir? id 'fomite'-ID[O]:0000060 from IDO 2007. May have replacement - TBD _obsolete_fomite true _obsolete_mobile genetic element true _obsolete_pathogenicity island true 'holder and a carrier (actively transmits) and living: potentially make a cross product. every vector comes into contact with the target. (from one host to another?)'-ID[O]:0000063: holder and a carrier (actively transmits) and living: potentially make a cross product. every vector comes into contact with the target. (from one host to another?) id 'vector'-ID[O]:0000063 from IDO 2007. May have replacement - TBD _obsolete_vector true _obsolete_pathogen true _obsolete_dependovirus true _obsolete_infectious agent true _obsolete_opportunistic pathogen true _obsolete_emerging pathogen true _obsolete_primary pathogen true _obsolete_prion true _obsolete_initiation of infection true _obsolete_disruption of body surface true _obsolete_disruption of normal microbioflora true 'create cross products for "host" and "pathogen" that will be part of this process.'-ID[O]:0000074: create cross products for "host" and "pathogen" that will be part of this process. id 'pathogen adherence to host cell'-ID[O]:0000074 from IDO 2007. May have replacement - TBD _obsolete_pathogen adherence to host cell true _obsolete_nonspecific adherence true _obsolete_specific adherence true _obsolete_afimbrial specific adherence true _obsolete_fimbrial specific adherence true _obsolete_penetration of epithelial barrier true _obsolete_penetration via injury of epithelial barrier true _obsolete_transcytosis true _obsolete_utilization of membranous cell gateway true 'the process by which an infectious agent passes from one organism to another organism'-ID[O]:0000083: the process by which an infectious agent passes from one organism to another organism id 'transmission'-ID[O]:0000083 from IDO 2007. May have replacement - TBD _obsolete_transmission true 'GO:nthe specific processes that generate the ability of an organism to cause disease in anothernnnThis is defined in GO so import.'-ID[O]:0000084: GO:nthe specific processes that generate the ability of an organism to cause disease in anothernnnThis is defined in GO so import. id 'pathogenesis'-ID[O]:0000084 from IDO 2007. May have replacement - TBD _obsolete_pathogenesis true _obsolete_penetration of host cell true _obsolete_engulfment true _obsolete_fusion with host cell membrane true _obsolete_membrane invagination true _obsolete_passage through cell membrane true _obsolete_engulfment by nonphagocyte true _obsolete_engulfment by phagocyte true _obsolete_damaging host cells and tissues in subepithelial space true _obsolete_induction of damaging host immune response true _obsolete_pathogen-induced apoptosis true _obsolete_pathogen-induced necrosis true _obsolete_virus-induced cytopathogenesis true _obsolete_pathogen spread through host true 'comment about the instances:nncollections of etiologically connected cases of infectious disease in a given population'-ID[O]:0000098: comment about the instances:nncollections of etiologically connected cases of infectious disease in a given population id 'infectious disease'-ID[O]:0000098 from IDO 2007. May have replacement - TBD _obsolete_infectious disease true _obsolete_pathogen evasion of host immune response true 'the process by which an infectious disease establishes itself in a new population (or at a sufficiently higher rate? higher prevalence and/or higher incidence)'-ID[O]:0000101: the process by which an infectious disease establishes itself in a new population (or at a sufficiently higher rate? higher prevalence and/or higher incidence) id 'emergence'-ID[O]:0000101 from IDO 2007. May have replacement - TBD _obsolete_emergence true _obsolete_epidemiological spread of disease true _obsolete_outbreak true _obsolete_infection true _obsolete_infection treatment process true _obsolete_immunization true _obsolete_prevention of infection true _obsolete_transport by blood true _obsolete_transport by lymph true _obsolete_modulation of inflammatory response true _obsolete_antigenic variation true _obsolete_resist phagocytosis in subepithelial space true _obsolete_serum resistance true _obsolete_phase variation true _obsolete_genetic diversification true _obsolete_complement resistance true _obsolete_epidemic spread of disease true _obsolete_pandemic spread of disease true _obsolete_vaccination true _obsolete_mode of transmission true _obsolete_end reservoir true 'Role played by portion of physical substance in a biological process'-ID[O]:0000204: Role played by portion of physical substance in a biological process id 'factor'-ID[O]:0000204 from IDO 2007. May have replacement - TBD _obsolete_factor true 'the process by which a biotic entity establishes multiple copies of itself in a new environment (including an organismal environment).nnfix idn"native" environment term'-ID[O]:0000205: the process by which a biotic entity establishes multiple copies of itself in a new environment (including an organismal environment).nnfix idn"native" environment term id 'colonization'-ID[O]:0000205 from IDO 2007. May have replacement - TBD _obsolete_colonization true _obsolete_biotic true _obsolete_adhesin true 'prevalence as measured by antibody'-ID[O]:0000208: prevalence as measured by antibody id 'seroprevalence'-ID[O]:0000208 from IDO 2007. May have replacement - TBD _obsolete_seroprevalence true 'quality [state] of an organism that during its life cycle in which its growth. development, metabolism, etc is temporarily suspended nnnsuspended state, non-replicative state, resting state'-ID[O]:0000209: quality [state] of an organism that during its life cycle in which its growth. development, metabolism, etc is temporarily suspended nnnsuspended state, non-replicative state, resting state id 'dormancy'-ID[O]:0000209 from IDO 2007. May have replacement - TBD _obsolete_dormancy true _obsolete_quality of host true _obsolete_quality of pathogen true 'can change depending on environmentnnwhere should susceptibility factors go?'-ID[O]:0000212: can change depending on environmentnnwhere should susceptibility factors go? id 'susceptibility'-ID[O]:0000212 from IDO 2007. May have replacement - TBD _obsolete_susceptibility true _obsolete_resistance true _obsolete_refractoriness true _obsolete_quality of host population true _obsolete_herd immunity true _obsolete_quality of infectious disease true _obsolete_case of infectious disease true 'agent is incubated?ndisease is incubated?'-ID[O]:0000219: agent is incubated?ndisease is incubated? id 'incubation period'-ID[O]:0000219 from IDO 2007. May have replacement - TBD _obsolete_incubation period true _obsolete_infectivity period true 'the unfolding or course of infectious diseasennwhat do we say about infectious disease that always remain latent nwhat about when a pathogen continues its progression nnwe need to think about whether we need a term called stagenlife cycle?nprogression?ndevelopment?'-ID[O]:0000221: the unfolding or course of infectious diseasennwhat do we say about infectious disease that always remain latent nwhat about when a pathogen continues its progression nnwe need to think about whether we need a term called stagenlife cycle?nprogression?ndevelopment? id 'infectious disease progression'-ID[O]:0000221 from IDO 2007. May have replacement - TBD _obsolete_infectious disease progression true _obsolete_infectious disease course true _obsolete_host recovery period true _obsolete_intrinsic incubation period true _obsolete_extrinsic incubation period true 'is this just the part of the life cycle of the biotic entity that has role pathogen for the period of time while it has role pathogen?nncan include phases in the existence of the entity before it becomes a pathogen'-ID[O]:0000226: is this just the part of the life cycle of the biotic entity that has role pathogen for the period of time while it has role pathogen?nncan include phases in the existence of the entity before it becomes a pathogen id 'pathogen life cycle'-ID[O]:0000226 from IDO 2007. May have replacement - TBD _obsolete_pathogen life cycle true 'is a period a process?'-ID[O]:0000227: is a period a process? id 'dormancy period'-ID[O]:0000227 from IDO 2007. May have replacement - TBD _obsolete_dormancy period true _obsolete_pathogen outbreak true _obsolete_oral-fecal transmission true _obsolete_vertical transmission true _obsolete_horizontal transmission true _obsolete_pathogen life cycle stage true _obsolete_infectious disease progression stage true _obsolete_progression rate true _obsolete_rapid progression true _obsolete_long-term non-progression true _obsolete_highly exposed persistently seronegative true _obsolete_co-infected true 'is a quality relating to both bacteria and host'-ID[O]:0000306: is a quality relating to both bacteria and host id 'fitness'-ID[O]:0000306 from IDO 2007. May have replacement - TBD _obsolete_fitness true A role borne by an organism in symbiosis. Albert Goldfain Alexander Diehl Lindsay Cowell The role is realized in symbiosis. symbiont role A symbiont role borne by an organism in virtue of the fact that both symbionts derive a growth, survival, or fitness advantage from symbiosis. Albert Goldfain Alexander Diehl Lindsay Cowell The role is realized in processes that result in the growth, survival, or fitness advantage of either organism. mutualist role A symbiont role borne by an organism in virtue of the fact that it derives a growth, survival, or fitness advantage from symbiosis, but the other symbiont is neither advantaged nor disadvantaged. Albert Goldfain Alexander Diehl Lindsay Cowell The role is realized in processes that result in the commensal's growth, survival, or fitness advantage. commensal role A symbiont role borne by an organism in virtue of the fact that it derives a growth, survival, or fitness advantage from symbiosis while the other symbiont's growth, survival, or fitness is reduced. Albert Goldfain Alexander Diehl Lindsay Cowell In the medical community, the term 'parasite' is used with the narrower meaning of eukaryotic pathogen. The role is realized in processes that result in the parasite's growth, survival, or fitness advantage or in the other organism's growth, survival, or fitness reduction. parasite role A role borne by an infectious agent when contained in a host in which its infectious disposition can be realized. Albert Goldfain Alexander Diehl Lindsay Cowell infectious agent role A role borne by pathogen in virtue of the fact that it or one of its products is sufficiently close to an organism towards which it has the pathogenic disposition to allow realization of the pathogenic disposition. Albert Goldfain Alexander Diehl Lindsay Cowell Clostridium botulinum is an example of an entity with the capability to bear the pathogen role but that does not have the capability to bear the infectious agent role or the parasite role. The influenza viruses are examples of organisms that can bear both the infectious agent and pathogen roles. pathogen role An infectious disposition to become part of a disorder only in organisms whose defenses are compromised. Albert Goldfain Alexander Diehl Lindsay Cowell opportunitistic pathogenic disposition The disposition is realized in a process by which the bearer becomes part of a disorder in an immunocompromised host. This includes individuals who are immunocompromised or who have damaged barriers that normally protect against infection (e.g. skin). opportunistic infectious disposition An infectious disposition to become part of a disorder in organisms that have intact defenses. Albert Goldfain Alexander Diehl Lindsay Cowell A pathogen with a primary infectious disposition can cause disease or death in both immunocompromised and immunocompetent hosts. A quote from page 3 of Mandell's "Principles and Practice of Infectious Diseases" (Sixth edition): "It is useful to distinguish "principal" pathogens, which regularly cause disease in some proportion of susceptible individuals with apparently intact defense systems, from other potentially pathogenic microorganisms. ... even for most organisms classified as principal pathogens, for example, Staphylococcus aureus and the pneumococcus, some impairment or local breakdown in normal host defense mechanisms must occur for these bacteria to cause disease. ... Thus, it seems clear that the capacity of certain microorganisms to cause disease in seemingly uncompromised human hosts on a regular basis reflects some fundamental difference in their virulence capabilities from those of opportunists and the more numerous commensal species that rarely, if ever, cause disease." primary infectious disposition A host role borne by an organism in virtue of the fact that its extended organism contains a second organism and provides an environment supportive for the survival, growth, maturation, or reproduction of that organism. Albert Goldfain Alexander Diehl Lindsay Cowell The relevant environmental resources may include nutrient resources, warmth, or moisture. The role is realized in processes in which the host makes the relevant environmental resources available to its partner in symbiosis. A bearer of a symbiont host role is bearer also of a symbiont role. symbiont host role A symbiont host role borne by an organism in virtue of the fact that its partner in symbiosis reaches developmental maturity or reproduces sexually in the host. Albert Goldfain Alexander Diehl Lindsay Cowell primary host role The role is realized in developmental and reproduction processes of the host's partner in symbiosis. definitive host role A symbiont host role borne by an organism in virtue of the fact that its partner in symbiosis utilizes the host to undergo a developmental stage transition, and the host is required for continuation of the partner's life cycle. Albert Goldfain Alexander Diehl Lindsay Cowell secondary host role The role is realized in developmental processes of the host's partner in symbiosis. intermediate host role A symbiont host role borne by an organism in virtue of the fact that its partner in symbiosis utilizes the host to undergo a developmental stage transition, but the host is not required for continuation of the partner's life cycle. Albert Goldfain Alexander Diehl Lindsay Cowell The role is realized in developmental processes of the host's partner in symbiosis. paratenic host role A symbiont host role borne by an organism in virtue of the fact that its partner in symbiosis has the infectious disposition but cannot be transmitted from the host to the partner's definitive host. Albert Goldfain Alexander Diehl Lindsay Cowell incidental host role dead-end host role A symbiont host role borne by an organism in virtue of the fact that its partner in symbiosis derives from the host a growth, survival, or fitness advantage while the host's growth, survival, or fitness is reduced. Albert Goldfain Alexander Diehl Lindsay Cowell The partner in symbiosis bears the parasite role. The role is realized in processes that result in the parasite's growth, survival, or fitness advantage or in the host's growth, survival, or fitness reduction. parasite host role A pathogen host role borne by an organism in virtue of the fact that its extended organism contains an infectious agent. Albert Goldfain Alexander Diehl Lindsay Cowell By this definition, vectors and other organisms that may not be infected are bearers of the infectious agent host role. infectious agent host role A host role borne by an organism in virtue of the fact that its extended organism contains a pathogen. Albert Goldfain Alexander Diehl Lindsay Cowell Bearing the infectious agent host role implies bearing the pathogen host role, but the reverse is not true. See comment for infectious agent host role. pathogen host role An infectious agent host role borne by an organism in virtue of the fact that its extended organism contains an infectious agent, the infectious agent has the infectious disposition towards the host, and the host has no symptoms of the infectious disease caused by the infectious agent. Albert Goldfain Alexander Diehl Lindsay Cowell infectious agent carrier role A role borne by a material entity in virtue of the fact that an infectious agent is located in or on the entity and the entity has the capability to transfer (either actively or passively) the infectious agent from one location to another. Albert Goldfain Alexander Diehl Lindsay Cowell The role is realized in a process that transfers an infectious organism from one location to another. infectious agent transporter role An infectious agent transporter role that is borne by an organism active in the transfer of an infectious agent to an organism of another Species and in which the agent is infectious. Albert Goldfain Alexander Diehl Lindsay Cowell The role is realized in a transmission process. A bearer of a vector role is also a bearer of a host role. infectious agent vector role An infectious agent vector role borne by an organism in virtue of the fact that the infectious agent does not multiply in or on the vector. Albert Goldfain Alexander Diehl Lindsay Cowell mechanical vector of infectious agent role An infectious agent vector role borne by an organism in virtue of the fact that the infectious agent multiplies in the vector. Albert Goldfain Alexander Diehl Lindsay Cowell biological vector of infectious agent role An infectious agent transporter role borne by an entity in virtue of the fact that the entity is not a complete organism. Albert Goldfain Alexander Diehl Lindsay Cowell Drinking water bears the infectious agent vehicle role, but does not bear either of the subtype roles. infectious agent vehicle role An infectious agent vehicle role borne by an entity in virtue of the fact that the entity is living or contains living cells other than those that have the infectious disposition. Albert Goldfain Alexander Diehl Lindsay Cowell Examples include blood, serum, tissue, or fresh produce. biological vehicle of infectious agent role An infectious agent vehicle role borne by an entity in virtue of the fact that the entity is not alive. Albert Goldfain Alexander Diehl Lindsay Cowell fomite role A role borne by a material entity in virtue of the fact that it is a habitat in which infectious agents can persist and multiply and from which they can be transmitted in virtue of prevailing practices of potential hosts. Albert Goldfain Alexander Diehl Lindsay Cowell If the material entity bearing the reservoir role is an organism, then this organism also bears the host role. The organism may also bear the vector role. The role is realized in a process that has as part life and multiplication processes of an infectious agent and a transmission process. reservoir of infectious agent role A disposition borne by a biological macromolecule produced by a pathogen that is a disposition to undergo processes that increase the pathogen's virulence. Albert Goldfain Alexander Diehl Lindsay Cowell The virulence factor disposition is typically realized in processes that improve survival of the pathogen in a host, increase the likelihood of transmission to a host, or cause pathological processes in a host. virulence factor disposition A disposition to cause I) malfunction of cells, ii) damage to extracellular matrix, or iii) damage of cells to a degree that can result in cell death. Albert Goldfain Alexander Diehl Lindsay Cowell toxin disposition A toxin disposition to damage cells or extracellular matrix by a direct enzymatic process. Albert Goldfain Alexander Diehl Lindsay Cowell The disposition is realized in a direct enzymatic process that damages host cells or extracellular matrix. exotoxin disposition An exotoxin disposition to damage cells of the host intestinal mucosa. Albert Goldfain Alexander Diehl Lindsay Cowell _obsolete_enterotoxin disposition enterotoxin disposition true A toxin disposition that inheres in a protein or protein complex that is a structural component of a pathogen and is released from the pathogen only upon cytolysis. A toxin disposition that inheres in a protein or protein complex that is released from a pathogen only upon cytolysis. Albert Goldfain Alexander Diehl Lindsay Cowell _obsolete_endotoxin disposition endotoxin disposition true A role borne by an anatomical entity in virtue of the fact that it serves as the site through which an infectious agent enters a host. Albert Goldfain Alexander Diehl Lindsay Cowell The role is realized in a process by which an infectious agent enters a host. infectious agent portal of entry role A role borne by an anatomical entity in virtue of the fact that it serves as the site through which an infectious agent exits a host. Albert Goldfain Alexander Diehl Lindsay Cowell The role is realized in a process by which an infectious agent exists a host. infectious agent portal of exit role A role borne by a material entity in virtue of the fact that it has an antimicrobial disposition and is applied to a non-living entity. Albert Goldfain Alexander Diehl Lindsay Cowell The role is realized in the killing and/or growth inhibition of microorganisms on the non-living entity. disinfectant role A role borne by a material entity in virtue of the fact that it has an antimicrobial disposition and is applied to an anatomical entity of a living organism. Albert Goldfain Alexander Diehl Lindsay Cowell The role is realized in the killing and/or growth inhibition of microorganisms on the anatomical entity. antiseptic role A role borne by an infectious disorder in virtue of the fact that (1) the host has at least two distinct infectious disorders, where neither arose from the other through metastasis, (2) at the time the infectious disorder was established in the host, the host had no infectious disorder, and (3) the infectious disorder increases the host's susceptibility to infectious disorders. Albert Goldfain Alexander Diehl Lindsay Cowell The role is realized in a process by which the infectious disorder is established in the host. primary infection role A role borne by an infectious disorder in virtue of the fact that (1) the host has at least two distinct infectious disorders, where neither arose from the other through metastasis, (2) at the time the infectious disorder was established in the host, the host had a primary infectious disorder, and (3) establishment of the infectious disorder occurs because of increased susceptibility to infectious disorders conferred by the primary infectious disorder. Albert Goldfain Alexander Diehl Lindsay Cowell The role is realized in a process by which the infectious disorder is established in the host. secondary infection role A disease whose physical basis is an infectious disorder. Albert Goldfain Alexander Diehl Lindsay Cowell tranmissible disease The disposition is realized in an infectious disease course. infectious disease A disposition borne by a biological macromolecule that is the disposition to participate in adherence to a host. Albert Goldfain Alexander Diehl Lindsay Cowell The disposition is realized in an adherence to host process. adhesion disposition A disposition borne by a biological macromolecule that is the disposition to facilitate breach of host epithelial barriers or entry into and survival in host cells. Albert Goldfain Alexander Diehl Lindsay Cowell A molecule with the invasion disposition is referred to as an invasion factor or invasin. invasion disposition A disposition to kill or inhibit the development or reproduction of microorganisms. Albert Goldfain Alexander Diehl Lindsay Cowell Some instances might be functions, depending on whether the bearer is something that exists and is used for the purpose (alcohol) or something that was designed for the purpose (pine sol). Entities that kill microorganisms are referred to as microbicidal; entities that inhibit the growth of microorganisms are referred to as microbistatic. The disposition is realized in the killing or inhibition of microorganisms. antimicrobial disposition A disposition to kill or inhibit the lifecycle of viruses. Albert Goldfain Alexander Diehl Lindsay Cowell antiviral disposition A disposition to kill or inhibit the development or reproduction of fungal organisms. Albert Goldfain Alexander Diehl Lindsay Cowell antifungal disposition A disposition to kill or inhibit the reproduction of bacteria. Albert Goldfain Alexander Diehl Lindsay Cowell antibiotic disposition antibacterial disposition A disposition to kill or inhibit the development or reproduction of eukaryotic parasites. Albert Goldfain Alexander Diehl Lindsay Cowell In the term name, we are using parasite in the medical sense of eukaryotic organisms that are parasitic in humans. antiparasitic disposition A disposition that inheres in a material entity in virtue of the fact that the entity has a part (e.g. a gene product), which itself has a disposition to mitigate damage to the entity. Albert Goldfain Alexander Diehl Lindsay Cowell Examples include the following: CCR5 mutations protect T cells from HIV invasion. A tumor cell's resistance to chemotherapy protects the cell from damage by the drug (although this harms the patient). An insect's resistance to insecticide protects it from the insecticide. The disposition is realized in a process that mitigates damage to the bearer and has the part as a participant. protective resistance A protective resistance that mitigates the damaging effects of a drug. Albert Goldfain Alexander Diehl Lindsay Cowell drug resistance resistance to drug A protective resistance that inheres in an organism and mitigates the damaging effects on that organism of an infectious agent. Albert Goldfain Alexander Diehl Lindsay Cowell resistance to infectious agent A collective resistance disposition that inheres in an organism population in virtue of the fact that the proportion of the population with immunity to an infectious agent is high resulting in a low number of transmissions from hosts in the population to susceptible individuals in the population and thereby mitigating the damaging effects of the infectious agent on the population. Albert Goldfain Alexander Diehl Lindsay Cowell herd immunity to infectious organism A resistance to infectious agent that inheres in an organism in virtue of immune system components in the extended organism. Albert Goldfain Alexander Diehl Lindsay Cowell protective immunity to infectious agent We don't specify that immunity results from prior exposure, because we want to include innate immunity. In addition, for adaptive immunity, there could be some low level immunity even in a primary immune response. immunity to infectious agent An immunity to infectious agent that results in elimination of the infectious agent from the host. Albert Goldfain Alexander Diehl Lindsay Cowell Sterilizing immunity is typically conferred by neutralizing antibodies. sterilizing immunity to infectious agent A disposition to initiate processes that result in a disorder. Albert Goldfain Alexander Diehl Lindsay Cowell pathogenicity A pathogenic disposition is realized in processes that create a disorder. The use of 'initiates' is intended to convey that a pathogenic disposition is realized when processes resulting in a disorder begin because of some action on the part of the bearer of the disposition. By this interpretation of 'initiates', disorder-causing entities such as glass, UV light, and toxins do not have a pathogenic disposition. pathogenic disposition A disposition borne by an infectious agent that is the disposition to penetrate the epithelial barriers of an organism of another Species. Albert Goldfain Alexander Diehl Lindsay Cowell invasive disposition A pathogenic disposition that inheres in an organism and is a disposition for that organism (1) to be transmitted to a host, (2) to establish itself in the host, (3) to initiate processes that result in a disorder in the host, and (4) to become part of that disorder. Albert Goldfain Alexander Diehl Lindsay Cowell The disposition is realized in a process that has as part a transmission process, an establishment in host process, a process that results in a disorder, and a process in which the bearer of the disposition becomes part of that disorder. The infectious disposition has a complementary disposition that inheres in an organism and is the capability to be host to an organism with an infectious disposition and to undergo processes initiated by that infectious organism that result in a disorder. infectious disposition An infectious disposition that is the disposition to be transmitted from an infected, non-human host to a human host. Albert Goldfain Alexander Diehl Lindsay Cowell An infectious disease associated with an infectious agent that bears the zoonotic disposition is referred to as a zoonosis. zoonotic disposition An infectious disposition that is the disposition to be transmitted from an infected, human host to a non-human host. Albert Goldfain Alexander Diehl Lindsay Cowell An infectious disease associated with an infectious agent that bears the reverse zoonotic disposition is referred to as a reverse zoonosis. reverse zoonotic disposition A disposition that inheres in a collection of entities in virtue of the individual dispositions of the constituents of that collection. Albert Goldfain Alexander Diehl Lindsay Cowell "... in virtue of the individual dispositions of the contstituents" is intended to capture the fact that the collective disposition results from the combination of the individual dispositions. It is not necessary that every constituent of the aggregate have a relevant individual disposition. The disposition is realized in a process that has as part realizations of some of the individual dispositions. collective disposition An organism that is experiencing pregnancy-induced or pathologic immunosuppression. Albert Goldfain Alexander Diehl Lindsay Cowell immunosuppressed organism An organism that has immunocompetence. Albert Goldfain Alexander Diehl Lindsay Cowell immunocompetent organism A disposition that inheres in a host of infectious agent and is a disposition to transmit infectious agents to organisms of the same Species through casual contact with a high likelihood of realization. Albert Goldfain Alexander Diehl Lindsay Cowell Highly contagious infections, those with a relatively high likelihood of spread, are referred to as contagious and are those for which spread is likely as a result of day-to-day activities of the host. The disposition is realized in a horizontal transmission process. contagiousness An organism that contains a colony in or on its extended organism. Albert Goldfain Alexander Diehl Lindsay Cowell colonized host An organism that has an infection in or on its extended organism. Albert Goldfain Alexander Diehl Lindsay Cowell infected organism An organism that has two infections with distinct Species of infectious agents. Albert Goldfain Alexander Diehl Lindsay Cowell co-infected organism A host exhibiting disease symptoms. Albert Goldfain Alexander Diehl Lindsay Cowell _obsolete_symptomatic host true A quality that inheres in an infectious agent and is the likelihood that the infectious agent will undergo a horizontal transmission process. Albert Goldfain Alexander Diehl Lindsay Cowell The transmissibility quality varies with both the type of organism being transmitted and the type of organism to which transmission is happening. infectious agent transmissibility A quality that inheres in an infectious agent and is the liklihood that the infectious disposition will be realized upon exposure of a susceptible organism. Albert Goldfain Alexander Diehl Lindsay Cowell This quality is measured by the proportion of exposed who become infected. infectivity A quality that inheres in an infectious agent and is the degree to which realizations of the infectious disease caused by the infectious agent become severe or fatal. Albert Goldfain Alexander Diehl Lindsay Cowell This quality is measured by the proportion of clinically apparent cases that are severe or fatal. virulence A quality that inheres in an entity and is the degree to which it can be harmed by another entity. Albert Goldfain Alexander Diehl Lindsay Cowell Low susceptibility is often referred to as resistance. In this sense, resistance is a quality. susceptibility A susceptibility that inheres in an organism and is the degree to which it can be harmed by an infectious agent. Albert Goldfain Alexander Diehl Lindsay Cowell susceptibility to infectious agent A susceptibility that is the degree to which an entity can be harmed or inhibited from surviving by a drug. Albert Goldfain Alexander Diehl Lindsay Cowell drug susceptibility A drug susceptibility that inheres in an infectious agent and is the degree to which the infectious agent can be harmed or inhibited from surviving by a drug. Albert Goldfain Alexander Diehl Lindsay Cowell drug susceptibility of infectious agent An infection comprised of infectious organisms from different Species. Albert Goldfain Alexander Diehl Lindsay Cowell mixed infection polymicrobial infection complex infection An infection for which the infectious agents that are part of the infection persist in the extracellular space of the host. Albert Goldfain Alexander Diehl Lindsay Cowell extracellular infection An infection for which the infectious agents that are part of the infection persist inside host cells. Albert Goldfain Alexander Diehl Lindsay Cowell intracellular infection An infection for which the infectious agents that are part of the infection are distributed throughout the host. Albert Goldfain Alexander Diehl Lindsay Cowell systemic infection An infection for which the infectious agents that are part of the infection are limited to a relatively small area of the host's body. Albert Goldfain Alexander Diehl Lindsay Cowell local infection A local infection for which symptoms are observed in parts of the host's extended organism that are distant from the infection. Albert Goldfain Alexander Diehl Lindsay Cowell focal infection An infectious disease course that begins soon after infection is established and progresses rapidly to severe stages. Albert Goldfain Alexander Diehl Lindsay Cowell acute infectious disease course A quality that inheres in an infection in virtue of the fact that the infection persists for an extended period of time. Albert Goldfain Alexander Diehl Lindsay Cowell persistent infection _obsolete_chronic quality of infection true A quality that inheres in an organism population and is the number of realizations of an infectious disease for which the infectious disease course begins during a specified period of time. Albert Goldfain Alexander Diehl Lindsay Cowell A particular instance of infectious disease incidence will depend on a type of infectious disease, a population, and a period of time. Incidence is used as a measure of risk. Actual measures of incidence are based only on reported cases and usually specify a time interval and geographic location. Other constraints may include population demographics. These constraints will vary with the context of the incidence measure. infectious disease incidence A quality that inheres in an organism population and is the number of organisms in the population that become infected with an infectious agent during a specified period of time. Albert Goldfain Alexander Diehl Lindsay Cowell A particular instance of infection incidence will depend on a type of infectious agent, a population, and a period of time. Incidence is used as a measure of risk. Actual measures of incidence are based only on reported cases and usually specify a time interval and geographic location. Other constraints may include population demographics. These constraints will vary with the context of the incidence measure. infection incidence A quality that inheres in an organism population and is the proportion of members of the population not experiencing an infectious disease course at the beginning of a specified period of time and in whom the infectious disease begins during the specified period of time. Albert Goldfain Alexander Diehl Lindsay Cowell cumulative incidence of infectious disease An instance of infectious disease incidence proportion is measured by dividing a measure of an instance of infectious disease incidence by the number of members of the population in which the infectious disease course had not begun at the beginning of the specified period of time over which the incidence was measured. infectious disease incidence proportion A quality that inheres in an organism population and is the proportion of members of the population not infected at the beginning of a specified period of time who become infected during the specified period of time. Albert Goldfain Alexander Diehl Lindsay Cowell cumulative incidence of infection An instance of infection incidence proportion is measured by dividing a measure of an instance of infection incidence by the number of members of the population not infected at the beginning of the specified period of time over which the incidence was measured. infection incidence proportion A quality that inheres in an organism population and is the infectious disease incidence proportion per unit time. Albert Goldfain Alexander Diehl Lindsay Cowell An instance of infectious disease incidence rate is measured by dividing a measure of an instance of the infectious disease incidence proportion by the length of the period of time over which the incidence was measured. infectious disease incidence rate A quality that inheres in an organism population and is the infection incidence proportion per unit time. Albert Goldfain Alexander Diehl Lindsay Cowell An instance of infection incidence rate is measured by dividing a measure of an instance of infection incidence proportion by the length of the period of time over which the incidence was measured. infection incidence rate A quality that inheres in an organism population and is the number of realizations of an infectious disease in the population at a specified time. Albert Goldfain Alexander Diehl Lindsay Cowell Prevalence is sometimes defined as a proportion with total population size in the denominator. A particular instance of infectious disease prevalence will depend on a type of infectious disease, a population, and a period of time. Actual measures of prevalence are based only on reported cases and usually specify a time interval and geographic location. Other constraints may include population demographics. infectious disease prevalence A quality that inheres in an organism population and is the number of organisms in the population infected with an infectious agent at a specified time. Albert Goldfain Alexander Diehl Lindsay Cowell Prevalence is sometimes defined as a proportion with total population size in the denominator. A particular instance of infection prevalence will depend on a type of infectious agent, a population, and a period of time. Actual measures of prevalence are based only on reported cases and usually specify a time interval and geographic location. Other constraints may include population demographics. infection prevalence A quality that inheres in an organism population and is the number of organisms in the population who have, at any point during their lives, been bearers of an infectious disease and experienced realization of the disease. Albert Goldfain Alexander Diehl Lindsay Cowell Prevalence is sometimes defined as a proportion with total population size in the denominator. A particular instance of infectious disease lifetime prevalence will depend on a type of infectious disease and a population. Actual measures of prevalence are based only on reported cases and usually specify a geographic location. Other constraints may include population demographics. infectious disease lifetime prevalence A quality that inheres in an organism population and is the number of organisms in the population that have antibody specific for an infectious agent in their serum at a specified time. Albert Goldfain Alexander Diehl Lindsay Cowell Prevalence is sometimes defined as a proportion with total population size in the denominator. A particular instance of infectious agent seroprevalence will depend on a type of infectious agent and a population. Actual measures of seroprevalence are based only on tested individuals and usually specify a geographic location. Other constraints may include population demographics. infectious agent seroprevalence A quality that inheres in an organism population and is the per capita number of deaths in the population resulting from an infectious disease over a specified period of time. Albert Goldfain Alexander Diehl Lindsay Cowell A particular instance of infectious disease mortality rate will depend on a type of infectious disease and a population. Actual measures of mortality rate are based only on reported cases and usually specify a geographic location. Other constraints may include population demographics. Mortality rate is typically expressed in units of deaths per 1000 individuals per year. infectious disease mortality rate A quality that inheres in an organism population in virtue of the fact that infections of the type that causes an infectious disease are maintained in the population via intra-population transmission or by transmission from a local reservoir. Albert Goldfain Alexander Diehl Lindsay Cowell A particular instance of infectious disease endemicity will depend on a type of infectious agent and a population. The population may be specified by temporal, geographic, or demographic constraints. Infectious diseases that are typical or common to a particular population are referred to as endemic. infectious disease endemicity An infectious disease prevalence that is typical for an infectious disease in an organism population. Albert Goldfain Alexander Diehl Lindsay Cowell Infectious disease endemic level is relational to previous prevalences of the disease. infectious disease endemic level An infectious disease incidence rate that is typical for an infectious disease in an organism population. Albert Goldfain Alexander Diehl Lindsay Cowell Infectious disease endemic rate is relational to previous infectious disease incidence rates of the disease. infectious disease endemic rate An infectious disease endemicity that inheres in an organism population in virtue of the fact that the infectious disease endemic level for an infectious disease is persistently high in the population. Albert Goldfain Alexander Diehl Lindsay Cowell Hyper-endemic infectious diseases may have high endemic levels only in certain seasons. A hyper-endemic disease affects all age groups equally. infectious disease hyper-endemicity A quality that inheres in an organism population by virtue of the fact that realizations of an infectious disease occur in the population with a fluctuating prevalence. Albert Goldfain Alexander Diehl Lindsay Cowell Sporadic quality of infectious disease is relational to previous prevalence of the disease. infectious disease sporadicity A disease course that is the realization of an infectious disease. Albert Goldfain Alexander Diehl Lindsay Cowell infectious disease course A chronic infectious disease course that does not progress to severe stages for a long period of time. Albert Goldfain Alexander Diehl Lindsay Cowell long-term non-progressing infectious disease course A process by which an organism acquires immunity to an infectious agent. Albert Goldfain Alexander Diehl Lindsay Cowell immunization against infectious agent An immunization that begins with exposure of an organism to antigen and results in immunity against an infectious agent. Albert Goldfain Alexander Diehl Lindsay Cowell inoculation active immunization against infectious agent An active immunization that begins with exposure of an organism to a vaccine. Albert Goldfain Alexander Diehl Lindsay Cowell vaccination against infectious agent An active immunization that begins with exposure to smallpox in the form of a scab from a pustule and results in immunity against smallpox. Albert Goldfain Alexander Diehl Lindsay Cowell variolation An immunization that begins with transfer to an organism of molecules not produced by that organism and that confer immunity against an infectious agent. Examples include the injection of antibodies and the transfer of maternal antibodies to the fetus. Albert Goldfain Alexander Diehl Lindsay Cowell passive immunization against infectious agent A process of infectious disease realizations and for which there is a statistically significant increase in the infectious disease incidence of a population. For a particular instance of infectious disease epidemic, signficance is determined based on the infectious disease incidence that is typical for an infectious disease for the particular population and time period. Albert Goldfain Alexander Diehl Lindsay Cowell infectious disease outbreak infectious disease epidemic A process in which multiple infectious disease epidemics of the same type of infectious disease unfold over overlapping periods of time and affect organism populations located in different geographic regions, including different countries and continents. Albert Goldfain Alexander Diehl Lindsay Cowell infectious disease pandemic An infection that is clinically abnormal. Albert Goldfain Alexander Diehl Lindsay Cowell infectious disorder An infection that has as part virus particles located in the blood. Albert Goldfain Alexander Diehl Lindsay Cowell viremia An infection that has as part bacteria located in the blood. Albert Goldfain Alexander Diehl Lindsay Cowell bacteremia A bacteremia in which the baceteria are replicating. Albert Goldfain Alexander Diehl Lindsay Cowell _obsolete_septicemia true A virus that is in its assembled state consisting of genomic material (DNA or RNA) surrounded by coating molecules. Albert Goldfain Alexander Diehl Lindsay Cowell virion An aggregate of organisms of the same Species. Albert Goldfain Alexander Diehl Lindsay Cowell The organism population may be delineated by spatio-temporal proximity or by demographic criteria such as age. organism population An organism population whose members have an infection. Albert Goldfain Alexander Diehl Lindsay Cowell infected population An organism population in whose members an infectious disease is being realized. Albert Goldfain Alexander Diehl Lindsay Cowell diseased population An organism population whose members each have an infectious disposition. Albert Goldfain Alexander Diehl Lindsay Cowell infectious agent population An organism population whose members are not infected with an infectious agent and who lack immunity to the infectious agent. Albert Goldfain Alexander Diehl Lindsay Cowell at-risk population susceptible population An organism population whose members are participating in non-parasitic symbiosis with a particular host. Albert Goldfain Alexander Diehl Lindsay Cowell normal resident microflora population normal resident microbiota population An infectious organism population with a certain configuration quality (OGMS:0000039) (distributed across a spatial region (e.g., anatomical location in a host) in a particular way). Put e.g. In comments Albert Goldfain Alexander Diehl Lindsay Cowell _obsolete_configured infectious organism population true A continuous temporal interval beginning with the extablishment of an infectious agent colony and ending with the onset of symptoms (or infectious disease course?). Albert Goldfain Alexander Diehl Lindsay Cowell incubation period A continuous temporal interval during which an infectious agent host bears a contagiousness disposition. Albert Goldfain Alexander Diehl Lindsay Cowell communicability period An organism bearing a symbiont role. Albert Goldfain Alexander Diehl Lindsay Cowell symbiont An organism that can only reach developmental maturity, replicate, or persist in symbiosis. Albert Goldfain Alexander Diehl Lindsay Cowell obligatory symbiont An organism bearing a mutualist role. Albert Goldfain Alexander Diehl Lindsay Cowell mutualist An organism bearing a commensal role. Albert Goldfain Alexander Diehl Lindsay Cowell commensal A organism bearing a parasite role. Albert Goldfain Alexander Diehl Lindsay Cowell parasite An infectious agent that is an organism. Albert Goldfain Alexander Diehl Lindsay Cowell _obsolete_infectious organism true A material entity with a pathogenic disposition. Albert Goldfain Alexander Diehl Lindsay Cowell pathogen An infectious agent with a primary infectious disposition. Albert Goldfain Alexander Diehl Lindsay Cowell principal pathogen primary pathogen An organism bearing a host role. Albert Goldfain Alexander Diehl Lindsay Cowell host An organism bearing a definitive host role. Albert Goldfain Alexander Diehl Lindsay Cowell primary host definitive host A organism bearing an intermediate host role. Albert Goldfain Alexander Diehl Lindsay Cowell secondary host intermediate host An organism bearing a paratenic host role. Albert Goldfain Alexander Diehl Lindsay Cowell paratenic host An organism bearing a dead-end host role. Albert Goldfain Alexander Diehl Lindsay Cowell incidental host dead-end host An organism bearing a parasite host role. Albert Goldfain Alexander Diehl Lindsay Cowell parasite host An organism bearing an infectious agent host role. Albert Goldfain Alexander Diehl Lindsay Cowell infectious agent host An organism bearing a pathogen host role. Albert Goldfain Alexander Diehl Lindsay Cowell pathogen host An organism bearing the infectious agent carrier role. Albert Goldfain Alexander Diehl Lindsay Cowell infectious agent carrier An organism bearing an infectious agent vector role. Albert Goldfain Alexander Diehl Lindsay Cowell infectious agent vector An infectious agent vector bearing a mechanical vector of infectious agent role. Albert Goldfain Alexander Diehl Lindsay Cowell mechanical vector of infectious agent An infectious agent vector bearing a biological vector of infectious agent role. Albert Goldfain Alexander Diehl Lindsay Cowell biological vector of infectious agent A material entity bearing an infectious agent vehicle role. Albert Goldfain Alexander Diehl Lindsay Cowell vehicle of infectious agent A material entity bearing a fomite role. Albert Goldfain Alexander Diehl Lindsay Cowell fomite A material entity bearing an infectious agent reservoir role. Albert Goldfain Alexander Diehl Lindsay Cowell infectious agent reservoir A material entity bearing an end reservoir of infectious agent role. Albert Goldfain Alexander Diehl Lindsay Cowell dead-end reservoir of infectious agent _obsolete_end reservoir of infectious agent true A biological macromolecule produced by a pathogen and that has a virulence factor disposition. Albert Goldfain Alexander Diehl Lindsay Cowell virulence factor A biological macromolecule that has an invasion disposition. Albert Goldfain Alexander Diehl Lindsay Cowell invasin invasion factor A molecular entity that has a toxin disposition. Albert Goldfain Alexander Diehl Lindsay Cowell toxin A molecular entity bearing an exotoxin disposition. Albert Goldfain Alexander Diehl Lindsay Cowell exotoxin A molecular entity with an exotoxin disposition, the realization of which damages cells of the host intestinal mucosa. Albert Goldfain Alexander Diehl Lindsay Cowell enterotoxin A molecular entity with a toxin disposition and that is a structural component of a pathogen and is released from the pathogen only upon cytolysis. Albert Goldfain Alexander Diehl Lindsay Cowell endotoxin An anatomical entity bearing an infectious agent portal of entry role. Albert Goldfain Alexander Diehl Lindsay Cowell infectious agent portal of entry An anatomical entity bearing an infectious agent portal of exit role. Albert Goldfain Alexander Diehl Lindsay Cowell infectious agent portal of exit A material entity bearing a disinfectant role. Albert Goldfain Alexander Diehl Lindsay Cowell disinfectant A material entity bearing an antiseptic role. Albert Goldfain Alexander Diehl Lindsay Cowell antiseptic A biological macromolecule that has an adhesion disposition. Albert Goldfain Alexander Diehl Lindsay Cowell adhesin adhesion molecule adhesion factor A material entity with an antimicrobial disposition. Albert Goldfain Alexander Diehl Lindsay Cowell antimicrobial A material entity bearing an antiviral disposition. Albert Goldfain Alexander Diehl Lindsay Cowell antiviral A material entity bearing an antifungal disposition. Albert Goldfain Alexander Diehl Lindsay Cowell antifungal A material entity bearing an antiparasitic disposition. Albert Goldfain Alexander Diehl Lindsay Cowell antiparasitic A material entity bearing an antibacterial disposition. Albert Goldfain Alexander Diehl Lindsay Cowell antibiotic antibacterial A material entity with an antimicrobial disposition that is realized in a process of killing microorganisms. Albert Goldfain Alexander Diehl Lindsay Cowell microbicidal [entity] microbicide A material entity with an antiviral disposition that is realized in a process of killing viruses. Albert Goldfain Alexander Diehl Lindsay Cowell viricide A material entity with an antimicrobial disposition that is realized in a process of inhibiting the growth of microorganisms. Albert Goldfain Alexander Diehl Lindsay Cowell microbistatic An infection bearing the primary infection role. Albert Goldfain Alexander Diehl Lindsay Cowell primary infection An infection bearing the secondary infection role. Albert Goldfain Alexander Diehl Lindsay Cowell secondary infection An infectious disease that has as its physical basis an infectious disorder composed of infectious agents that have a zoonotic disposition. Albert Goldfain Alexander Diehl Lindsay Cowell zoonosis An organism that is host to an infectious agent and has no symptoms of the infectious disease associated with the infectious agent. Albert Goldfain Alexander Diehl Lindsay Cowell asymptomatic host of infectious agent An infection that is part of an asymptomatic host. Albert Goldfain Alexander Diehl Lindsay Cowell subclinical infection A material entity that has a resistance disposition. Albert Goldfain Alexander Diehl Lindsay Cowell resistant entity An organism who has been bearer of the infectious agent carrier role for an extended period of time. Albert Goldfain Alexander Diehl Lindsay Cowell chronic carrier of infectious agent An organism who is host to an infectious agent and has symptoms of the infectious disease associated with the infectious agent Albert Goldfain Alexander Diehl Lindsay Cowell symptomatic host of infectious agent synonym of invasion factor Albert Goldfain Alexander Diehl Lindsay Cowell _obsolete_invasin true Albert Goldfain Alexander Diehl Lindsay Cowell _obsolete_viral latency true An immunity to infectious agent that inheres in an organism in virtue of germline encoded components that directly recognize components of potential pathogens. Albert Goldfain Alexander Diehl Lindsay Cowell The disposition is realized in an innate immune response. innate immunity to infectious agent An immunity to infectious agent realized in an adaptive immune response. Albert Goldfain Alexander Diehl Lindsay Cowell _obsolete_adaptive immunity to infectious agent true An immunity to infectious agent that inheres in an organism in virtue of components of its circulating body fluid. Albert Goldfain Alexander Diehl Lindsay Cowell "Circulating body fluid" refers to blood, lymph, and hemolymph. The disposition is realized in a humoral immune response. humoral immunity to infectious agent An immunity to infectious agent that inheres in an organism in virtue of its leukocytes. Albert Goldfain Alexander Diehl Lindsay Cowell cell-mediated immunity to infectious agent The disposition is realized in a leukocyte-mediated immune response. leukocyte-mediated immunity to infectious agent An immunity to infectious agent that inheres in an organism in virtue of antibodies not produced by that organism. Albert Goldfain Alexander Diehl Lindsay Cowell Passive immunity results from a passive immunization. The disposition is realized in a neutralizing process carried out by the antibodies. The protective antibodies are typically introduced by injection, breast feeding, or by passing from the placenta to the fetus. passive immunity to infectious agent A resistance to drug that mitigates the damaging effects of an antibiotic. Albert Goldfain Alexander Diehl Lindsay Cowell antibiotic resistance An organism experiencing a long-term non-progressing infectious disease course. Albert Goldfain Alexander Diehl Lindsay Cowell long-term non-progressor An infectious agent whose infection incidence is increasing following its first introduction into a new host Species. Albert Goldfain Alexander Diehl Lindsay Cowell emerging pathogen A molecular entity with a toxin disposition, the realization of which damages host cells. Albert Goldfain Alexander Diehl Lindsay Cowell cytotoxin A collective disposition to initiate processes that result in a disorder. Albert Goldfain Alexander Diehl Lindsay Cowell The disposition is realized in processes that create a disorder. collective pathogenic disposition A part of an extended organism that itself has as part a population of one or more infectious agents and that (1) exists as a result of processes initiated by members of the infectious agent population and is (2) clinically abnormal in virtue of the presence of this infectious agent population, or (3) has a disposition to bring clinical abnormality to immunocompetent organisms of the same Species as the host (the organism corresponding to the extended organism) through transmission of a member or offspring of a member of the infectious agent population. Albert Goldfain Alexander Diehl Lindsay Cowell The organism corresponding to the extended organism is host to the infectious agents. By this definition, parts of the host can be considered part of the infection. infection A resistance to infectious agent that inheres in an organism in virtue of a specific allele or combination of alleles in its genome. Albert Goldfain Alexander Diehl Lindsay Cowell The resistance of individuals to HIV invasion oonferred by particular CCR5 alleles is an example. Resistance against malaria conferred by the sickle cell gene is another. genetic resistance to infectious agent A collective disposition the realization of which mitigates the damaging effects of some entity on members of the collection. Albert Goldfain Alexander Diehl Lindsay Cowell collective resistance disposition An organism that has an immunodeficiency. Albert Goldfain Alexander Diehl Lindsay Cowell immunocompromised organism immunodeficient organism An infectious disease course that unfolds over a long period of time. Albert Goldfain Alexander Diehl Lindsay Cowell persistent infectious disease course chronic infectious disease course An infectious disposition to be transmitted directly from one human host to another. Albert Goldfain Alexander Diehl Lindsay Cowell _obsolete_communicable disposition true An organism population whose members have acquired immunity to an infectious agent. Albert Goldfain Alexander Diehl Lindsay Cowell immune population A continuous temporal interval during which a transmission process occurs. Albert Goldfain Alexander Diehl Lindsay Cowell transmission period A process in which a potential host of an infectious agent comes into direct physical contact with the infectious agent. Bjoern Peters direct host exposure to infectious agent An organism that has the capability to bear a host of infectious agent role. Albert Goldfain Alexander Diehl Lindsay Cowell potential host of infectious agent An organism that has an infectious disposition. Albert Goldfain Alexander Diehl Lindsay Cowell infectious agent A process in which a potential host of an infectious agent is exposed to an environment in which the infectious agent is present and physical contact between the two can occur, but such contact is not planned. Bjoern Peters host exposure to environment containing infectious agent A host exposure to environment with infectious agent where the environment is a household that also has an infected host Alan Ruttenberg 2010/05/20- Tentative definition. Needs review by Bjoern host living with infected household contact A host exposure to environment with infectious agent where the environment is an area in which an infectious agent is endemic Alan Ruttenberg 2010/05/20- Tentative definition. Needs review by Bjoern host living in endemic area A host exposure to environment with infectious agent where the exposure is accidental; the environment is a laboratory, and the infectious agent is infectious in humans. Alan Ruttenberg 2010/05/20- Tentative definition. Needs review by Bjoern release of infectious human pathogen in laboratory A host exposure to environment with infectious agent where the environment contains an infectious agent vector. Alan Ruttenberg 2010/05/20- Tentative definition. Needs review by Bjoern host coming into contact with vector of infectious agent A host exposure to environment with infectious agent where the environment contains a material entity that has been assessed to confer a risk of infection. Alan Ruttenberg 2010/05/20- Tentative definition. Needs review by Bjoern host exposure to substance that might have infectious agent A process by which an infectious agent, established in a host, becomes part of an infection in the host. Albert Goldfain Alexander Diehl Lindsay Cowell process of establishing an infection An establishment of localization in host process in which an organism establishes itself in a host. Establishment of one organism in the extended organism of another (the host) involves at least one of (1) movement of the organism to a location within the host in which the organism can persist, or (2) adherence or attachment of the organism to part of the host. Albert Goldfain Alexander Diehl Lindsay Cowell colonization of host A biological object or group of biological objects in close spatial proximity. Albert Goldfain Alexander Diehl Lindsay Cowell _obsolete_biological object colony true A colonization of host process that results in a clinically abnormal colony. Albert Goldfain Alexander Diehl Lindsay Cowell establishment of a clinically abnormal colony A process in which an entity comes into being as a result of the process. Albert Goldfain Alexander Diehl Lindsay Cowell production A production process in which a participant creates a copy of itself. Albert Goldfain Alexander Diehl Lindsay Cowell replication A colonization of human process in which the colonized site is the anterior nares. Albert Goldfain Alexander Diehl Lindsay Cowell colonization of human anterior nares A process that attenuates an immune response. Albert Goldfain Alexander Diehl Lindsay Cowell immunosuppression An immunosuppression which unfolds as part of the natural self-regulation of an immune response. Albert Goldfain Alexander Diehl Lindsay Cowell physiologic immunosuppression An immunosuppression process which arises as the result of a disorder. Disorders that result in immunosuppression include those that result from infection, stress, malnutrition, and treatments such as chemotherapy or calcineurin inhibition. Albert Goldfain Alexander Diehl Lindsay Cowell pathologic immunosuppression primitive Albert Goldfain Alexander Diehl Lindsay Cowell _obsolete_biological object true A biological material entity that is capable of replication. Albert Goldfain Alexander Diehl Lindsay Cowell _obsolete_replicating biological material entity true An organism population persisting in a site it has colonized. Albert Goldfain Alexander Diehl Lindsay Cowell colony A colony whose members are infectious agents. Albert Goldfain Alexander Diehl Lindsay Cowell infectious agent colony A disorder of an immune system component that results in defective functioning of the immune system. Albert Goldfain Alexander Diehl Lindsay Cowell immunodeficiency A disposition that is the ability to mount a normal immune response. Albert Goldfain Alexander Diehl Lindsay Cowell The disposition inheres in a bearer in virtue of the fact that the bearer has all canonical immune system components and none are disordered. The disposition is realized in a successful immune response. immunocompetence A disposition whose realization negatively regulates an immune response. Albert Goldfain Alexander Diehl Lindsay Cowell immunosuppressive disposition An immunity to infectious agent that inheres in an organism in virtue of antigen receptors encoded by somatically diversified genes in the organism's genome and expressed by cells that have undergone selection during a primary immune response in that organism. Albert Goldfain Alexander Diehl Lindsay Cowell adaptive immunity to infectious agent immune memory The disposition is realized in an immune response in which such antigen receptors participate. acquired immunity to infectious agent A disposition to colonize an organism and participate in mutualism or commensalism with that organism. Albert Goldfain Alexander Diehl Lindsay Cowell disposition to form a non-parasitic colony An infectious disposition to be transmitted directly from one organism to another of the same Species by horizontal transmission. Albert Goldfain Alexander Diehl Lindsay Cowell The disposition is realized in a direct, horizontal transmission process between members of the same Species. communicability A generically dependent continuant that is the set of organism types whose instances have as one of their canonical dispositions, the disposition to bear the host role for a colony of a certain type. A quality that inheres in an infection and is the likelihood that infectious agents part of the infection will spread to other hosts. Albert Goldfain Alexander Diehl Lindsay Cowell _obsolete_contagiousness quality _obsolete_host range true An establishment of localization process in which a material entity reaches a site in an organism in which it can survive, grow, multiply, or mature. Requested addition of this term to the GO. Albert Goldfain Alexander Diehl Lindsay Cowell An organism begins bearing a particular host role as soon as the extended organism contains the relevant material entity, regardless of that entity's location in the extended organism. An establishment process is any process by which the entity reaches a location in the extended organism in which it can persist and continue its lifecycle. For example, an organism is host to a virus as soon as any part of the extended organism is occupied by virus particles. During an establishment process, virus particles enter host cells of the relevant type, and viral DNA is integrated into host DNA. establishment of localization in host A process by which a disorder comes into existence. Albert Goldfain Alexander Diehl Lindsay Cowell appearance of disorder An infectious disorder that is the physical basis for an unfolding acute infectious disease course. Albert Goldfain Alexander Diehl Lindsay Cowell acute infection An infection that persists for an extended period of time. Albert Goldfain Alexander Diehl Lindsay Cowell persistent infection chronic infection A role borne by an organism in virtue of the fact that it's extended organism contains a material entity other than the organism. Albert Goldfain Alexander Diehl Lindsay Cowell host role An infection resulting from a transmission process that unfolds in a hospital. Albert Goldfain Alexander Diehl Lindsay Cowell nosocomial infection hospital-acquired infection An infection resulting from a transmission process that did not unfold in a health care facility. Albert Goldfain Alexander Diehl Lindsay Cowell community-acquired infection A molecular entity with a toxin disposition, the realization of which damages or interferes with the function of nerve tissue. Albert Goldfain Alexander Diehl Lindsay Cowell neurotoxin An infection established as a result of spread from another infection in a non-adjacent location in the extended organism of the host. Albert Goldfain Alexander Diehl Lindsay Cowell metatstatic infection A role borne by a material entity in virtue of the fact that it contains a site from which an infectious agent is transmitted. Albert Goldfain Alexander Diehl Lindsay Cowell The role is realized in a process that has as part a transmission process and a process by which the infectious agent or one of its offspring becomes part of a disorder in the host. source of infection role A process that is a systemic inflammatory response to infection. Albert Goldfain Alexander Diehl Lindsay Cowell sepsis A sepsis that results in organ dysfunction, hypotension, or hypofusion of at least one organ. Albert Goldfain Alexander Diehl Lindsay Cowell severe sepsis An infection resulting from a transmission process that unfolds in a nursing home. Albert Goldfain Alexander Diehl Lindsay Cowell nursing-home acquired infection An infectious agent with a capability to infect human hosts. Albert Goldfain Alexander Diehl Lindsay Cowell infectious human pathogen An immunodeficiency that is not caused by a genetic predisposition. Albert Goldfain Alexander Diehl Lindsay Cowell Causes of acquired immunodeficiences include infection and drug treatments (e.g. chemotherapy). acquired immunodeficiency An infection comprised of infectious organisms all of the same Species. Albert Goldfain Alexander Diehl Lindsay Cowell simple infection An infectious agent whose infection incidence is increasing in a host population as a result of changes in the biology of the host or pathogen, or changes in their interactions. Albert Goldfain Alexander Diehl Lindsay Cowell re-emerging pathogen An immunosuppression induced by progesterone and other factors upregulated in pregnant women. Albert Goldfain Alexander Diehl Lindsay Cowell pregnancy-induced immunosuppression An infection that has as part organisms of the Genus Candida. Albert Goldfain Alexander Diehl Lindsay Cowell candidiasis An infection that has as part organisms of the Species Trichomonas vaginalis. Albert Goldfain Alexander Diehl Lindsay Cowell trichomoniasis An infection that has as part organisms of the Genus Leptospira. Albert Goldfain Alexander Diehl Lindsay Cowell leptospirosis An infection located in the bowel and that has as part organisms of the Genus Shigella. Albert Goldfain Alexander Diehl Lindsay Cowell Shigellosis An infection located in the colon and that has as part organisms of the Species Entamoeba histolytica Albert Goldfain Alexander Diehl Lindsay Cowell amebiasis A colonization of host process in which the host is of Species Homo sapiens. Albert Goldfain Alexander Diehl Lindsay Cowell colonization of human An immunodeficiency that exists in an organism because of a genetic predisposition. Albert Goldfain Alex Diehl Lindsay Cowell congenital immunodeficiency primary immunodeficiency A colonization of human process in which the colonized site is a perineum. Albert Goldfain Alex Diehl Lindsay Cowell colonization of human perineum An infectious disease that has as its physical basis an infectious disorder composed of infectious agents that have a reverse zoonotic disposition. Albert Goldfain Alex Diehl Lindsay Cowell reverse zoonosis An infectious agent with an opportunistic infectious disposition. Albert Goldfain Alex Diehl Lindsay Cowell opportunist opportunistic pathogen A disposition to undergo a transmission process. Albert Goldfain Alex Diehl Lindsay Cowell The disposition is realized in a transmission process. transmissibility disposition A pathogen transmission process in which a pathogen is transmitted from one host to another of the same Species, and the two hosts are not in a parent-child relationship. Lindsay Cowell horizontal pathogen transmission process A process that results in death. Alex Diehl Lindsay Cowell process that results in death A process in which a potential host of an infectious agent is exposed to an infectious agent. Bjoern Peters host exposure to infectious agent An organism that is not infected with an infectious agent and lacks protective immunity to the infectious agent. Alex Diehl Lindsay Cowell susceptible organism A process which is necessary for the survival of an organism. Alex Diehl Lindsay Cowell life-sustaining process Any process that stops, prevents, or reduces the frequency, rate or extent of a life-sustaining process. Alex Diehl Lindsay Cowell negative regulation of life-sustaining process A material entity bearing a source of infection role. Albert Goldfain Alex Diehl Lindsay Cowell source of infection A disposition to initiate processes that result in a disorder in a human organism. human pathogenicity disposition A disposition to participate in a process of symbiosis in which the bearer derives a growth, survival, or fitness advantage from symbiosis while the other symbiont's growth, survival, or fitness is reduced. parasitic disposition A process by which a part of an organism or something contained in an organism becomes clinically abnormal. transition to clinical abnormality A pathologic immunosuppression process which arises as the result of an infection and is initiated or dysregulated by the infectious agent population. The definition should perhaps read "as the result of an infectious disorder". Alex Diehl Lindsay Cowell infection-based immunosuppression An infection-based immunosuppression process which arises as the result of an HIV infection. Alex Diehl Lindsay Cowell HIV-based immunosuppression An immunosuppressed organism that is experiencing pathologic immunosuppression. Alex Diehl Lindsay Cowell pathologically immunosuppressed organism A pathologically immunosuppressed organism that is experiencing infection-based immunosuppression. Alex Diehl Lindsay Cowell immunosuppressed organism experiencing infection-based immunosuppression A pathologically immunosuppressed organism that is experiencing HIV-based immunosuppression. These individuals may also be immunodeficient due to depletion of CD4+ T cells and other effects of HIV. Alex Diehl Lindsay Cowell immunosuppressed organism experiencing HIV-based immunosuppression An immunosuppressed organism that is a human experiencing HIV-based immunosuppression. Alex Diehl Lindsay Cowell NCI BBRB immunosuppressed human experiencing HIV-based immunosuppression A pathologic immunosuppression process which arises as the result of treatment with a drug that attenuates immune responses. Alex Diehl Lindsay Cowell drug-based immunosuppression A drug-based immunosuppression process that results from chronic systemic steroid use. Alex Diehl Lindsay Cowell chronic systemic steroid use-based immunosuppression A pathologically immunosuppressed organism that is experiencing drug-based immunosuppression. Alex Diehl Lindsay Cowell immunosuppressed organism experiencing drug-based immunosuppression a pathologically immunosuppressed organism that is experiencing chronic systemic steroid use-based immunosuppression. Alex Diehl Lindsay Cowell immunosuppressed organism experiencing chronic systemic steroid use-based immunosuppression An immunosuppressed organism that is a human experiencing chronic systemic steroid use-based immunosuppression. Alex Diehl Lindsay Cowell NCI BBRB immunosuppressed human experiencing chronic systemic steroid use-based immunosuppression A pathologically immunosuppressed organism that is a human experiencing drug-based immunosuppression. Alex Diehl Lindsay Cowell NCI BBRB immunosuppressed human experiencing drug-based immunosuppression due to organ transplant Viruses Viruses Bacteria Archaea Eukaryota Homo sapiens 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. organism A quality of a patient that is observed by the patient or a processual entity experienced by the patient, either of which is hypothesized by the patient to be a realization of a disease. symptom A disposition (i) to undergo pathological processes that (ii) exists in an organism because of one or more disorders in that organism. disease A material entity which is clinically abnormal and part of an extended organism. Disorders are the physical basis of disease. disorder The totality of all processes through which a given disease instance is realized. disease course An object aggregate consisting of an organism and all material entities located within the organism, overlapping the organism, or occupying sites formed in part by the organism. extended organism A process that is the means during which the pathogen is transmitted directly or indirectly from its natural reservoir, a susceptible host or source to a new host. Suggested definition: A process by which a pathogen passes from one host organism to a second host organism of the same Species. Suggested label: pathogen transmission process Transmission Ontology: http://purl.obolibrary.org/obo/trans.owl transmission process transmission process Indirect transmission is a transmission process during which the pathogen is indirectly transferred from a reservoir, source or host to another host by intermediary vehicles, vectors or as airborne dust particles. Suggested label: indirect pathogen transmission process indirect A fluid that is composed of blood plasma and erythrocytes. blood A life cycle temporal boundary that marks the end of the life cycle of the organism. life-death temporal boundary Obsolete Class example to be eventually removed The term was used in an attempt to structure part of the ontology but in retrospect failed to do a good job Person:Alan Ruttenberg failed exploratory term 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 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 Core is an instance of a grouping of terms from an ontology or ontologies. It is used by the ontology to identify main classes. PERSON: Alan Ruttenberg PERSON: Melanie Courtot core placeholder removed An editor note should explain what were the merged terms and the reason for the merge. terms merged This is to be used when the original term has been replaced by a term imported from an other ontology. An editor note should indicate what is the URI of the new term to use. term imported This is to be used when a term has been split in two or more new terms. An editor note should indicate the reason for the split and indicate the URIs of the new terms created. term split Hard to give a definition for. Intuitively a "natural kind" rather than a collection of any old things, which a class is able to be, formally. At the meta level, universals are defined as positives, are disjoint with their siblings, have single asserted parents. Alan Ruttenberg A Formal Theory of Substances, Qualities, and Universals, http://ontology.buffalo.edu/bfo/SQU.pdf universal A defined class is a class that is defined by a set of logically necessary and sufficient conditions but is not a universal "definitions", in some readings, always are given by necessary and sufficient conditions. So one must be careful (and this is difficult sometimes) to distinguish between defined classes and universal. Alan Ruttenberg defined class A named class expression is a logical expression that is given a name. The name can be used in place of the expression. named class expressions are used in order to have more concise logical definition but their extensions may not be interesting classes on their own. In languages such as OWL, with no provisions for macros, these show up as actuall classes. Tools may with to not show them as such, and to replace uses of the macros with their expansions Alan Ruttenberg named class expression 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 ## Elucidation This is used when the first-order logic form of the relation is binary, and takes no temporal argument. ## Example: Class: limb SubClassOf: develops_from some lateral-plate-mesoderm forall t, t2: forall x : instance_of(x,Limb,t) implies exists y : instance_of(y,LPM,t2) develops_from(x,y) relation has no temporal argument Person:Alan Ruttenberg To say that each spatiotemporal region s temporally_projects_onto some temporal region t is to say that t is the temporal extension of s. (axiom label in BFO2 Reference: [080-003]) To say that spatiotemporal region s spatially_projects_onto spatial region r at t is to say that r is the spatial extent of s at t. (axiom label in BFO2 Reference: [081-003]) To say that each spatiotemporal region s temporally_projects_onto some temporal region t is to say that t is the temporal extension of s. (axiom label in BFO2 Reference: [080-003]) To say that spatiotemporal region s spatially_projects_onto spatial region r at t is to say that r is the spatial extent of s at t. (axiom label in BFO2 Reference: [081-003])