Prescription DRugs Ontology
type: Ontology
version IRI: pdro.owl
creator: Adrien Barton
creator: Jean-François Ethier
creator: Paul Fabry
creator: Ryeyan Taseen
license: http://creativecommons.org/licenses/by/4.0/
comment: An ontology of drug prescriptions - full version, imports merged.
version info: 2021-06-08

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

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

editor preferred term
type: AnnotationProperty

example of usage
type: AnnotationProperty

has curation status
type: AnnotationProperty

definition
type: AnnotationProperty

editor note
type: AnnotationProperty

term editor
type: AnnotationProperty

alternative term
type: AnnotationProperty

definition source
type: AnnotationProperty

curator note
type: AnnotationProperty

imported from
type: AnnotationProperty

elucidation
type: AnnotationProperty

has associated axiom(nl)
type: AnnotationProperty

has associated axiom(fol)
type: AnnotationProperty

has axiom label
type: AnnotationProperty

has_exact_synonym
type: AnnotationProperty

part of
type: ObjectProperty
inverse of: has part
type: TransitiveProperty
editor preferred term: is part of
example of usage: my brain is part of my body (continuant parthood, two material entities)
example of usage: my stomach cavity is part of my stomach (continuant parthood, immaterial entity is part of material entity)
example of usage: this day is part of this year (occurrent parthood)
definition: a core relation that holds between a part and its whole
editor note: Everything is part of itself. Any part of any part of a thing is itself part of that thing. Two distinct things cannot be part of each other.
editor note: Occurrents are not subject to change and so parthood between occurrents holds for all the times that the part exists. Many continuants are subject to change, so parthood between continuants will only hold at certain times, but this is difficult to specify in OWL. See https://code.google.com/p/obo-relations/wiki/ROAndTime
editor note: Parthood requires the part and the whole to have compatible classes: only an occurrent can be part of an occurrent; only a process can be part of a process; only a continuant can be part of a continuant; only an independent continuant can be part of an independent continuant; only an immaterial entity can be part of an immaterial entity; only a specifically dependent continuant can be part of a specifically dependent continuant; only a generically dependent continuant can be part of a generically dependent continuant. (This list is not exhaustive.) A continuant cannot be part of an occurrent: use 'participates in'. An occurrent cannot be part of a continuant: use 'has participant'. A material entity cannot be part of an immaterial entity: use 'has location'. A specifically dependent continuant cannot be part of an independent continuant: use 'inheres in'. An independent continuant cannot be part of a specifically dependent continuant: use 'bearer of'.
alternative term: part_of
RO_0001900: RO_0001901

has part
type: ObjectProperty
type: TransitiveProperty
editor preferred term: has part
example of usage: my body has part my brain (continuant parthood, two material entities)
example of usage: my stomach has part my stomach cavity (continuant parthood, material entity has part immaterial entity)
example of usage: this year has part this day (occurrent parthood)
definition: a core relation that holds between a whole and its part
editor note: Everything has itself as a part. Any part of any part of a thing is itself part of that thing. Two distinct things cannot have each other as a part.
editor note: Occurrents are not subject to change and so parthood between occurrents holds for all the times that the part exists. Many continuants are subject to change, so parthood between continuants will only hold at certain times, but this is difficult to specify in OWL. See https://code.google.com/p/obo-relations/wiki/ROAndTime
editor note: Parthood requires the part and the whole to have compatible classes: only an occurrent have an occurrent as part; only a process can have a process as part; only a continuant can have a continuant as part; only an independent continuant can have an independent continuant as part; only a specifically dependent continuant can have a specifically dependent continuant as part; only a generically dependent continuant can have a generically dependent continuant as part. (This list is not exhaustive.) A continuant cannot have an occurrent as part: use 'participates in'. An occurrent cannot have a continuant as part: use 'has participant'. An immaterial entity cannot have a material entity as part: use 'location of'. An independent continuant cannot have a specifically dependent continuant as part: use 'bearer of'. A specifically dependent continuant cannot have an independent continuant as part: use 'inheres in'.
alternative term: has_part
RO_0001900: RO_0001901

is bearer of
type: ObjectProperty
sub property of: topObjectProperty
alternative term: bearer of
alternative term: bearer_of
imported from: http://purl.obolibrary.org/obo/omrse.owl

realized in
type: ObjectProperty
inverse of: realizes
domain: realizable entity
range: process
editor preferred term: realized in
example of usage: this disease is realized in this disease course
example of usage: this fragility is realized in this shattering
example of usage: this investigator role is realized in this investigation
alternative term: is realized by
alternative term: realized_in
elucidation: [copied from inverse property 'realizes'] to say that b realizes c at t is to assert that there is some material entity d & b is a process which has participant d at t & c is a disposition or role of which d is bearer_of at t& the type instantiated by b is correlated with the type instantiated by c. (axiom label in BFO2 Reference: [059-003])
comment: Paraphrase of elucidation: a relation between a realizable entity and a process, where there is some material entity that is bearer of the realizable entity and participates in the process, and the realizable entity comes to be realized in the course of the process

realizes
type: ObjectProperty
domain: process
range: realizable entity
editor preferred term: realizes
example of usage: this disease course realizes this disease
example of usage: this investigation realizes this investigator role
example of usage: this shattering realizes this fragility
elucidation: to say that b realizes c at t is to assert that there is some material entity d & b is a process which has participant d at t & c is a disposition or role of which d is bearer_of at t& the type instantiated by b is correlated with the type instantiated by c. (axiom label in BFO2 Reference: [059-003])
comment: Paraphrase of elucidation: a relation between a process and a realizable entity, where there is some material entity that is bearer of the realizable entity and participates in the process, and the realizable entity comes to be realized in the course of the process

is aggregate of
type: ObjectProperty
equivalent property: is-aggregate-of
sub property of: topObjectProperty
alternative term: aggregate of
alternative term: aggregate_of

has measurement unit label
type: ObjectProperty
sub property of: has part
type: FunctionalProperty
range: measurement unit label

is about
type: ObjectProperty
domain: information content entity
example of usage: This document is about information artifacts and their representations
has curation status: IAO_0000125
definition: is_about is a (currently) primitive relation that relates an information artifact to an entity.
editor note: 7/6/2009 Alan Ruttenberg. Following discussion with Jonathan Rees, and introduction of "mentions" relation. Weaken the is_about relationship to be primitive. We will try to build it back up by elaborating the various subproperties that are more precisely defined. Some currently missing phenomena that should be considered "about" are predications - "The only person who knows the answer is sitting beside me" , Allegory, Satire, and other literary forms that can be topical without explicitly mentioning the topic.
term editor: person:Alan Ruttenberg
definition source: Smith, Ceusters, Ruttenberg, 2000 years of philosophy

mentions
type: ObjectProperty
sub property of: is about
has curation status: IAO_0000125
definition: An information artifact IA mentions an entity E exactly when it has a component/part that denotes E
editor note: 7/6/2009 Alan Ruttenberg. P4 RC1 munges our GCI so remove it for now: mentions some entity equivalentTo has_part some ('generically denotes' some entity)
editor note: 7/6/2009 Alan Ruttenberg: Add this relation following conversation with Jonathan Rees that N&S GCI for is_about was too strong. Really it was simply sufficient. To effect this change we introduce this relation, which is subproperty of is_about, and have previous GCI use this relation "mentions" in it's (logical) definition
term editor: PERSON: Jonathan Rees
term editor: Person: Alan Ruttenberg

denotes
type: ObjectProperty
sub property of: is about
example of usage: A person's name denotes the person. A variable name in a computer program denotes some piece of memory. Lexically equivalent strings can denote different things, for instance "Alan" can denote different people. In each case of use, there is a case of the denotation relation obtaining, between "Alan" and the person that is being named.
definition: denotes is a primitive, instance-level, relation obtaining between an information content entity and some portion of reality. Denotation is what happens when someone creates an information content entity E in order to specifically refer to something. The only relation between E and the thing is that E can be used to 'pick out' the thing. This relation connects those two together. Freedictionary.com sense 3: To signify directly; refer to specifically
editor note: 2009-11-10 Alan Ruttenberg. Old definition said the following to emphasize the generic nature of this relation. We no longer have 'specifically denotes', which would have been primitive, so make this relation primitive. g denotes r =def r is a portion of reality there is some c that is a concretization of g every c that is a concretization of g specifically denotes r
term editor: person:Alan Ruttenberg
definition source: Conversations with Barry Smith, Werner Ceusters, Bjoern Peters, Michel Dumontier, Melanie Courtot, James Malone, Bill Hogan

has_specified_input
type: ObjectProperty
sub property of: has participant
inverse of: is_specified_input_of
domain: planned process
editor preferred term: has_specified_input
example of usage: see is_input_of example_of_usage
has curation status: IAO_0000122
definition: A relation between a planned process and a continuant participating in that process that is not created during the process. The presence of the continuant during the process is explicitly specified in the plan specification which the process realizes the concretization of.
editor note: 8/17/09: specified inputs of one process are not necessarily specified inputs of a larger process that it is part of. This is in contrast to how 'has participant' works.
term editor: PERSON: Alan Ruttenberg
term editor: PERSON: Bjoern Peters
term editor: PERSON: Larry Hunter
term editor: PERSON: Melanie Coutot

is_specified_input_of
type: ObjectProperty
sub property of: participates in
range: planned process
editor preferred term: is_specified_input_of
example of usage: some Autologous EBV(Epstein-Barr virus)-transformed B-LCL (B lymphocyte cell line) is_input_for instance of Chromum Release Assay described at https://wiki.cbil.upenn.edu/obiwiki/index.php/Chromium_Release_assay
has curation status: IAO_0000122
definition: A relation between a planned process and a continuant participating in that process that is not created during the process. The presence of the continuant during the process is explicitly specified in the plan specification which the process realizes the concretization of.
term editor: Alan Ruttenberg
term editor: PERSON:Bjoern Peters

has_specified_output
type: ObjectProperty
sub property of: has participant
inverse of: is_specified_output_of
domain: planned process
editor preferred term: has_specified_output
has curation status: IAO_0000122
definition: A relation between a planned process and a continuant participating in that process. The presence of the continuant at the end of the process is explicitly specified in the objective specification which the process realizes the concretization of.
term editor: PERSON: Alan Ruttenberg
term editor: PERSON: Bjoern Peters
term editor: PERSON: Larry Hunter
term editor: PERSON: Melanie Courtot

is_specified_output_of
type: ObjectProperty
sub property of: participates in
range: planned process
editor preferred term: is_specified_output_of
has curation status: IAO_0000122
definition: A relation between a planned process and a continuant participating in that process. The presence of the continuant at the end of the process is explicitly specified in the objective specification which the process realizes the concretization of.
term editor: Alan Ruttenberg
term editor: PERSON:Bjoern Peters

achieves_planned_objective
type: ObjectProperty
inverse of: objective_achieved_by
domain: planned process
range: objective specification
editor preferred term: achieves_planned_objective
example of usage: A cell sorting process achieves the objective specification 'material separation objective'
definition: This relation obtains between a planned process and a objective specification when the criteria specified in the objective specification are met at the end of the planned process.
term editor: BP, AR, PPPB branch
definition source: PPPB branch derived
curator note: modified according to email thread from 1/23/09 in accordince with DT and PPPB branch

has grain
type: ObjectProperty
sub property of: has part
editor preferred term: has grain
definition: the relation of the cells in the finger of the skin to the finger, in which an indeterminate number of grains are parts of the whole by virtue of being grains in a collective that is part of the whole, and in which removing one granular part does not nec- essarily damage or diminish the whole. Ontological Whether there is a fixed, or nearly fixed number of parts - e.g. fingers of the hand, chambers of the heart, or wheels of a car - such that there can be a notion of a single one being missing, or whether, by contrast, the number of parts is indeterminate - e.g., cells in the skin of the hand, red cells in blood, or rubber molecules in the tread of the tire of the wheel of the car.
editor note: Discussion in Karslruhe with, among others, Alan Rector, Stefan Schulz, Marijke Keet, Melanie Courtot, and Alan Ruttenberg. Definition take from the definition of granular parthood in the cited paper. Needs work to put into standard form
term editor: PERSON: Alan Ruttenberg
definition source: PAPER: Granularity, scale and collectivity: When size does and does not matter, Alan Rector, Jeremy Rogers, Thomas Bittner, Journal of Biomedical Informatics 39 (2006) 333-349

objective_achieved_by
type: ObjectProperty
domain: objective specification
range: planned process
editor preferred term: objective_achieved_by
has curation status: IAO_0000122
definition: This relation obtains between an objective specification and a planned process when the criteria specified in the objective specification are met at the end of the planned process.
term editor: OBI
definition source: OBI

specifies value of
type: ObjectProperty
sub property of: is about
domain: value specification
definition: A relation between a value specification and an entity which the specification is about.

has value specification
type: ObjectProperty
sub property of: has part
domain: information content entity
range: value specification
has curation status: IAO_0000120
definition: A relation between an information content entity and a value specification that specifies its value.
term editor: PERSON: James A. Overton
definition source: OBI

owns
type: ObjectProperty
inverse of: is owned by
domain: Class
  union of: Homo sapiens
  union of: organization
  union of: collection of humans
  union of: aggregate of organizations
range: Class
  union of: material entity
  union of: information content entity
definition source: Reinach, A. Sämtliche Werke. Texkritische Ausgabe, München: Philosophia Verlag, 1989, p.189-204.
elucidation: This is a primitive relation. This relation is the foundation to the owners right to have the owned entity at his/her full disposal.

administrates
type: ObjectProperty
inverse of: is administered by
type: AsymmetricProperty
domain: Class
  union of: Homo sapiens
  union of: organization
  union of: collection of humans
  union of: aggregate of organizations
range: Class
  union of: material entity
  union of: information content entity
definition: a administrates b if c owns b and some rights and obligations grounded in the owning relation regarding b are transferred from c to a.
comment: A definition of "tranfers" object property can be found in d-acts: http:purl.obolibrary.org/iao/d-acts.owl

is owned by
type: ObjectProperty
domain: Class
  union of: material entity
  union of: information content entity
range: Class
  union of: Homo sapiens
  union of: organization
  union of: collection of humans
  union of: aggregate of organizations
definition: a is owned by b if b has complete power over a. All rights and obligations of ownership are grounded in this (primitive) relation. The claims and obligations of ownership can be partially transferred to a third party by the owner, b.
definition source: Reinach, A. Sämtliche Werke. Texkritische Ausgabe, München: Philosophia Verlag, 1989, p.189-204.

is-aggregate-of
type: ObjectProperty
IAO_0000231: BFO relation takes precedence.
comment: We anticipate BFO 2.0 including and defining this relation. When it does, we will obsolete this property and declare it equivalent to the BFO 2.0 relation.
deprecated: true

is administered by
type: ObjectProperty
type: AsymmetricProperty

inheres in
type: ObjectProperty
sub property of: topObjectProperty
inverse of: bearer of
type: FunctionalProperty
editor preferred term: inheres in
example of usage: this fragility inheres in this vase
example of usage: this red color inheres in this apple
definition: a relation between a specifically dependent continuant (the dependent) and an independent continuant (the bearer), in which the dependent specifically depends on the bearer for its existence
editor note: A dependent inheres in its bearer at all times for which the dependent exists.
alternative term: 'inheres in at all times'
alternative term: inheres_in
imported from: http://purl.obolibrary.org/obo/ro.owl
RO_0001900: RO_0001901

bearer of
type: ObjectProperty
range: specifically dependent continuant
editor preferred term: bearer of
example of usage: this apple is bearer of this red color
example of usage: this vase is bearer of this fragility
definition: a relation between an independent continuant (the bearer) and a specifically dependent continuant (the dependent), in which the dependent specifically depends on the bearer for its existence
editor note: A bearer can have many dependents, and its dependents can exist for different periods of time, but none of its dependents can exist when the bearer does not exist.
alternative term: bearer of
alternative term: bearer_of
alternative term: is bearer of
RO_0001900: RO_0001901
label: is bearer of

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

has participant
type: ObjectProperty
sub property of: topObjectProperty
domain: occurrent
range: continuant
editor preferred term: has participant
example of usage: this blood coagulation has participant this blood clot
example of usage: this investigation has participant this investigator
example of usage: this process has participant this input material (or this output material)
definition: a relation between a process and a continuant, in which the continuant is somehow involved in the process
editor note: Has_participant is a primitive instance-level relation between a process, a continuant, and a time at which the continuant participates in some way in the process. The relation obtains, for example, when this particular process of oxygen exchange across this particular alveolar membrane has_participant this particular sample of hemoglobin at this particular time.
alternative term: has_participant
imported from: http://purl.obolibrary.org/obo/ro.owl
source: http://www.obofoundry.org/ro/#OBO_REL:has_participant

is concretized as
type: ObjectProperty
inverse of: concretizes
domain: generically dependent continuant
range: specifically dependent continuant
example of usage: 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).
example of usage: 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).
definition: 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.

concretizes
type: ObjectProperty
domain: specifically dependent continuant
range: generically dependent continuant
example of usage: 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).
example of usage: 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).
definition: 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.

role of
type: ObjectProperty
sub property of: inheres in
inverse of: has role
example of usage: this investigator role is a role of this person
definition: a relation between a role and an independent continuant (the bearer), in which the role specifically depends on the bearer for its existence
editor note: 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.
alternative term: is role of
alternative term: role_of

has role
type: ObjectProperty
sub property of: bearer of
domain: independent continuant
range: role
example of usage: this person has role this investigator role (more colloquially: this person has this role of investigator)
definition: a relation between an independent continuant (the bearer) and a role, in which the role specifically depends on the bearer for its existence
editor note: A bearer can have many roles, and its roles can exist for different periods of time, but none of its roles can exist when the bearer does not exist. A role need not be realized at all the times that the role exists.
alternative term: has_role

has disposition
type: ObjectProperty
sub property of: bearer of
inverse of: disposition of
domain: independent continuant
range: disposition
definition: a relation between an independent continuant (the bearer) and a disposition, in which the disposition specifically depends on the bearer for its existence

disposition of
type: ObjectProperty
sub property of: inheres in

member of
type: ObjectProperty
sub property of: part of
inverse of: has member
example of usage: An organism that is a member of a population of organisms
definition: is member of is a mereological relation between a item and a collection.
alternative term: is member of
alternative term: member part of
definition source: SIO
RO_0001900: RO_0001901

has member
type: ObjectProperty
sub property of: has part
type: IrreflexiveProperty
definition: has member is a mereological relation between a collection and an item.
definition source: SIO
RO_0001900: RO_0001901

has_proper_part
type: ObjectProperty
sub property of: topObjectProperty
imported from: http://purl.org/obo/owl/relationship
has alternative id: OBO_REL:0000007
has OBO namespace: relationship

has specified numeric value
type: DatatypeProperty
sub property of: has specified value
domain: value specification
range: real
has curation status: IAO_0000120
definition: A relation between a value specification and a number that quantifies it.
editor note: A range of 'real' might be better than 'float'. For now we follow 'has measurement value' until we can consider technical issues with SPARQL queries and reasoning.
term editor: PERSON: James A. Overton
definition source: OBI

has specified value
type: DatatypeProperty
domain: value specification
definition: A relation between a value specification and a literal.
editor note: This is not an RDF/OWL object property. It is intended to link a value found in e.g. a database column of 'M' (the literal) to an instance of a value specification class, which can then be linked to indicate that this is about the biological gender of a human subject.
definition source: OBI

has minimum range value
type: DatatypeProperty
label: a valeur minimale de gamme @fr

has maximum range value
type: DatatypeProperty
label: a valeur maximale de gamme @fr

entity
type: Class
subclass of: Thing
BFO OWL specification label: entity
BFO CLIF specification label: Entity
example of usage: Julius Caesar
example of usage: Verdi’s Requiem
example of usage: the Second World War
example of usage: your body mass index
editor note: BFO 2 Reference: In all areas of empirical inquiry we encounter general terms of two sorts. First are general terms which refer to universals or types:animaltuberculosissurgical procedurediseaseSecond, are general terms used to refer to groups of entities which instantiate a given universal but do not correspond to the extension of any subuniversal of that universal because there is nothing intrinsic to the entities in question by virtue of which they – and only they – are counted as belonging to the given group. Examples are: animal purchased by the Emperortuberculosis diagnosed on a Wednesdaysurgical procedure performed on a patient from Stockholmperson identified as candidate for clinical trial #2056-555person who is signatory of Form 656-PPVpainting by Leonardo da VinciSuch terms, which represent what are called ‘specializations’ in [81
editor note: Entity doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example Werner Ceusters 'portions of reality' include 4 sorts, entities (as BFO construes them), universals, configurations, and relations. It is an open question as to whether entities as construed in BFO will at some point also include these other portions of reality. See, for example, 'How to track absolutely everything' at http://www.referent-tracking.com/_RTU/papers/CeustersICbookRevised.pdf
elucidation: An entity is anything that exists or has existed or will exist. (axiom label in BFO2 Reference: [001-001])

Axiom
annotated source: entity
annotated property: editor note
annotated target: 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
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/0000004
comment: per discussion with Barry Smith

Axiom
annotated source: entity
annotated property: elucidation
annotated target: An entity is anything that exists or has existed or will exist. (axiom label in BFO2 Reference: [001-001])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/001-001

continuant
type: Class
subclass of: entity
disjoint with: occurrent
disjoint with: Restriction
  on property: part of
  some values from: occurrent
BFO OWL specification label: continuant
BFO CLIF specification label: Continuant
editor note: BFO 2 Reference: Continuant entities are entities which can be sliced to yield parts only along the spatial dimension, yielding for example the parts of your table which we call its legs, its top, its nails. ‘My desk stretches from the window to the door. It has spatial parts, and can be sliced (in space) in two. With respect to time, however, a thing is a continuant.’ [60, p. 240
editor note: Continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example, in an expansion involving bringing in some of Ceuster's other portions of reality, questions are raised as to whether universals are continuants
elucidation: A continuant is an entity that persists, endures, or continues to exist through time while maintaining its identity. (axiom label in BFO2 Reference: [008-002])
has associated axiom(nl): if b is a continuant and if, for some t, c has_continuant_part b at t, then c is a continuant. (axiom label in BFO2 Reference: [126-001])
has associated axiom(nl): if b is a continuant and if, for some t, cis continuant_part of b at t, then c is a continuant. (axiom label in BFO2 Reference: [009-002])
has associated axiom(nl): if b is a material entity, then there is some temporal interval (referred to below as a one-dimensional temporal region) during which b exists. (axiom label in BFO2 Reference: [011-002])
has associated axiom(fol): (forall (x y) (if (and (Continuant x) (exists (t) (continuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [009-002]
has associated axiom(fol): (forall (x y) (if (and (Continuant x) (exists (t) (hasContinuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [126-001]
has associated axiom(fol): (forall (x) (if (Continuant x) (Entity x))) // axiom label in BFO2 CLIF: [008-002]
has associated axiom(fol): (forall (x) (if (Material Entity x) (exists (t) (and (TemporalRegion t) (existsAt x t))))) // axiom label in BFO2 CLIF: [011-002]

Axiom
annotated source: continuant
annotated property: editor note
annotated target: Continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example, in an expansion involving bringing in some of Ceuster's other portions of reality, questions are raised as to whether universals are continuants
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/0000007

Axiom
annotated source: continuant
annotated property: elucidation
annotated target: 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])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/008-002

Axiom
annotated source: continuant
annotated property: has associated axiom(nl)
annotated target: if b is a continuant and if, for some t, c has_continuant_part b at t, then c is a continuant. (axiom label in BFO2 Reference: [126-001])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/126-001

Axiom
annotated source: continuant
annotated property: has associated axiom(nl)
annotated target: if b is a continuant and if, for some t, cis continuant_part of b at t, then c is a continuant. (axiom label in BFO2 Reference: [009-002])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/009-002

Axiom
annotated source: continuant
annotated property: has associated axiom(nl)
annotated target: 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])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/011-002

Axiom
annotated source: continuant
annotated property: has associated axiom(fol)
annotated target: (forall (x y) (if (and (Continuant x) (exists (t) (continuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [009-002]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/009-002

Axiom
annotated source: continuant
annotated property: has associated axiom(fol)
annotated target: (forall (x y) (if (and (Continuant x) (exists (t) (hasContinuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [126-001]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/126-001

Axiom
annotated source: continuant
annotated property: has associated axiom(fol)
annotated target: (forall (x) (if (Continuant x) (Entity x))) // axiom label in BFO2 CLIF: [008-002]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/008-002

Axiom
annotated source: continuant
annotated property: has associated axiom(fol)
annotated target: (forall (x) (if (Material Entity x) (exists (t) (and (TemporalRegion t) (existsAt x t))))) // axiom label in BFO2 CLIF: [011-002]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/011-002

occurrent
type: Class
subclass of: entity
disjoint with: Restriction
  on property: part of
  some values from: continuant
BFO OWL specification label: occurrent
BFO CLIF specification label: Occurrent
editor note: BFO 2 Reference: every occurrent that is not a temporal or spatiotemporal region is s-dependent on some independent continuant that is not a spatial region
editor note: 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.
editor note: Occurrent doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. An example would be the sum of a process and the process boundary of another process.
editor note: Simons uses different terminology for relations of occurrents to regions: Denote the spatio-temporal location of a given occurrent e by 'spn[e]' and call this region its span. We may say an occurrent is at its span, in any larger region, and covers any smaller region. Now suppose we have fixed a frame of reference so that we can speak not merely of spatio-temporal but also of spatial regions (places) and temporal regions (times). The spread of an occurrent, (relative to a frame of reference) is the space it exactly occupies, and its spell is likewise the time it exactly occupies. We write 'spr[e]' and `spl[e]' respectively for the spread and spell of e, omitting mention of the frame.
elucidation: An occurrent is an entity that unfolds itself in time or it is the instantaneous boundary of such an entity (for example a beginning or an ending) or it is a temporal or spatiotemporal region which such an entity occupies_temporal_region or occupies_spatiotemporal_region. (axiom label in BFO2 Reference: [077-002])
has associated axiom(nl): Every occurrent occupies_spatiotemporal_region some spatiotemporal region. (axiom label in BFO2 Reference: [108-001])
has associated axiom(nl): b is an occurrent entity iff b is an entity that has temporal parts. (axiom label in BFO2 Reference: [079-001])
has associated axiom(fol): (forall (x) (if (Occurrent x) (exists (r) (and (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion x r))))) // axiom label in BFO2 CLIF: [108-001]
has associated axiom(fol): (forall (x) (iff (Occurrent x) (and (Entity x) (exists (y) (temporalPartOf y x))))) // axiom label in BFO2 CLIF: [079-001]

Axiom
annotated source: occurrent
annotated property: editor note
annotated target: Occurrent doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. An example would be the sum of a process and the process boundary of another process.
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/0000006
comment: per discussion with Barry Smith

Axiom
annotated source: occurrent
annotated property: editor note
annotated target: Simons uses different terminology for relations of occurrents to regions: Denote the spatio-temporal location of a given occurrent e by 'spn[e]' and call this region its span. We may say an occurrent is at its span, in any larger region, and covers any smaller region. Now suppose we have fixed a frame of reference so that we can speak not merely of spatio-temporal but also of spatial regions (places) and temporal regions (times). The spread of an occurrent, (relative to a frame of reference) is the space it exactly occupies, and its spell is likewise the time it exactly occupies. We write 'spr[e]' and `spl[e]' respectively for the spread and spell of e, omitting mention of the frame.
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/0000012

Axiom
annotated source: occurrent
annotated property: elucidation
annotated target: 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])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/077-002

Axiom
annotated source: occurrent
annotated property: has associated axiom(nl)
annotated target: Every occurrent occupies_spatiotemporal_region some spatiotemporal region. (axiom label in BFO2 Reference: [108-001])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/108-001

Axiom
annotated source: occurrent
annotated property: has associated axiom(nl)
annotated target: b is an occurrent entity iff b is an entity that has temporal parts. (axiom label in BFO2 Reference: [079-001])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/079-001

Axiom
annotated source: occurrent
annotated property: has associated axiom(fol)
annotated target: (forall (x) (if (Occurrent x) (exists (r) (and (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion x r))))) // axiom label in BFO2 CLIF: [108-001]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/108-001

Axiom
annotated source: occurrent
annotated property: has associated axiom(fol)
annotated target: (forall (x) (iff (Occurrent x) (and (Entity x) (exists (y) (temporalPartOf y x))))) // axiom label in BFO2 CLIF: [079-001]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/079-001

independent continuant
type: Class
subclass of: continuant
disjoint with: specifically dependent continuant
disjoint with: generically dependent continuant
BFO OWL specification label: ic
BFO CLIF specification label: IndependentContinuant
example of usage: a chair
example of usage: a heart
example of usage: a leg
example of usage: a molecule
example of usage: a spatial region
example of usage: an atom
example of usage: an orchestra.
example of usage: an organism
example of usage: the bottom right portion of a human torso
example of usage: the interior of your mouth
definition: b is an independent continuant = Def. b is a continuant which is such that there is no c and no t such that b s-depends_on c at t. (axiom label in BFO2 Reference: [017-002])
has associated axiom(nl): For any independent continuant b and any time t there is some spatial region r such that b is located_in r at t. (axiom label in BFO2 Reference: [134-001])
has associated axiom(nl): For every independent continuant b and time t during the region of time spanned by its life, there are entities which s-depends_on b during t. (axiom label in BFO2 Reference: [018-002])
has associated axiom(fol): (forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001]
has associated axiom(fol): (forall (x t) (if (and (IndependentContinuant x) (existsAt x t)) (exists (y) (and (Entity y) (specificallyDependsOnAt y x t))))) // axiom label in BFO2 CLIF: [018-002]
has associated axiom(fol): (iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002]

Axiom
annotated source: independent continuant
annotated property: definition
annotated target: 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])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/017-002

Axiom
annotated source: independent continuant
annotated property: has associated axiom(nl)
annotated target: For any independent continuant b and any time t there is some spatial region r such that b is located_in r at t. (axiom label in BFO2 Reference: [134-001])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/134-001

Axiom
annotated source: independent continuant
annotated property: has associated axiom(nl)
annotated target: 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])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/018-002

Axiom
annotated source: independent continuant
annotated property: has associated axiom(fol)
annotated target: (forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/134-001

Axiom
annotated source: independent continuant
annotated property: has associated axiom(fol)
annotated target: (forall (x t) (if (and (IndependentContinuant x) (existsAt x t)) (exists (y) (and (Entity y) (specificallyDependsOnAt y x t))))) // axiom label in BFO2 CLIF: [018-002]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/018-002

Axiom
annotated source: independent continuant
annotated property: has associated axiom(fol)
annotated target: (iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/017-002

spatial region
type: Class
subclass of: immaterial entity
disjoint with: site
disjoint with: continuant fiat boundary
BFO OWL specification label: s-region
BFO CLIF specification label: SpatialRegion
editor note: BFO 2 Reference: Spatial regions do not participate in processes.
editor note: 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.
elucidation: 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])
has associated axiom(nl): All continuant parts of spatial regions are spatial regions. (axiom label in BFO2 Reference: [036-001])
has associated axiom(fol): (forall (x y t) (if (and (SpatialRegion x) (continuantPartOfAt y x t)) (SpatialRegion y))) // axiom label in BFO2 CLIF: [036-001]
has associated axiom(fol): (forall (x) (if (SpatialRegion x) (Continuant x))) // axiom label in BFO2 CLIF: [035-001]

Axiom
annotated source: spatial region
annotated property: editor note
annotated target: 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.
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/0000002
comment: per discussion with Barry Smith

Axiom
annotated source: spatial region
annotated property: elucidation
annotated target: 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])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/035-001

Axiom
annotated source: spatial region
annotated property: has associated axiom(nl)
annotated target: All continuant parts of spatial regions are spatial regions. (axiom label in BFO2 Reference: [036-001])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/036-001

Axiom
annotated source: spatial region
annotated property: has associated axiom(fol)
annotated target: (forall (x y t) (if (and (SpatialRegion x) (continuantPartOfAt y x t)) (SpatialRegion y))) // axiom label in BFO2 CLIF: [036-001]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/036-001

Axiom
annotated source: spatial region
annotated property: has associated axiom(fol)
annotated target: (forall (x) (if (SpatialRegion x) (Continuant x))) // axiom label in BFO2 CLIF: [035-001]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/035-001

temporal region
type: Class
subclass of: occurrent
disjoint with: spatiotemporal region
disjoint with: process
disjoint with: process boundary
BFO OWL specification label: t-region
BFO CLIF specification label: TemporalRegion
editor note: Temporal region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the mereological sum of a temporal instant and a temporal interval that doesn't overlap the instant. In this case the resultant temporal region is neither 0-dimensional nor 1-dimensional
elucidation: A temporal region is an occurrent entity that is part of time as defined relative to some reference frame. (axiom label in BFO2 Reference: [100-001])
has associated axiom(nl): All parts of temporal regions are temporal regions. (axiom label in BFO2 Reference: [101-001])
has associated axiom(nl): Every temporal region t is such that t occupies_temporal_region t. (axiom label in BFO2 Reference: [119-002])
has associated axiom(fol): (forall (r) (if (TemporalRegion r) (occupiesTemporalRegion r r))) // axiom label in BFO2 CLIF: [119-002]
has associated axiom(fol): (forall (x y) (if (and (TemporalRegion x) (occurrentPartOf y x)) (TemporalRegion y))) // axiom label in BFO2 CLIF: [101-001]
has associated axiom(fol): (forall (x) (if (TemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [100-001]

Axiom
annotated source: temporal region
annotated property: editor note
annotated target: 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
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/0000003
comment: per discussion with Barry Smith

Axiom
annotated source: temporal region
annotated property: elucidation
annotated target: A temporal region is an occurrent entity that is part of time as defined relative to some reference frame. (axiom label in BFO2 Reference: [100-001])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/100-001

Axiom
annotated source: temporal region
annotated property: has associated axiom(nl)
annotated target: All parts of temporal regions are temporal regions. (axiom label in BFO2 Reference: [101-001])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/101-001

Axiom
annotated source: temporal region
annotated property: has associated axiom(nl)
annotated target: Every temporal region t is such that t occupies_temporal_region t. (axiom label in BFO2 Reference: [119-002])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/119-002

Axiom
annotated source: temporal region
annotated property: has associated axiom(fol)
annotated target: (forall (r) (if (TemporalRegion r) (occupiesTemporalRegion r r))) // axiom label in BFO2 CLIF: [119-002]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/119-002

Axiom
annotated source: temporal region
annotated property: has associated axiom(fol)
annotated target: (forall (x y) (if (and (TemporalRegion x) (occurrentPartOf y x)) (TemporalRegion y))) // axiom label in BFO2 CLIF: [101-001]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/101-001

Axiom
annotated source: temporal region
annotated property: has associated axiom(fol)
annotated target: (forall (x) (if (TemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [100-001]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/100-001

two-dimensional spatial region
type: Class
subclass of: spatial region
disjoint with: three-dimensional spatial region
BFO OWL specification label: 2d-s-region
BFO CLIF specification label: TwoDimensionalSpatialRegion
example of usage: an infinitely thin plane in space.
example of usage: the surface of a sphere-shaped part of space
elucidation: A two-dimensional spatial region is a spatial region that is of two dimensions. (axiom label in BFO2 Reference: [039-001])
has associated axiom(fol): (forall (x) (if (TwoDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [039-001]

Axiom
annotated source: two-dimensional spatial region
annotated property: elucidation
annotated target: A two-dimensional spatial region is a spatial region that is of two dimensions. (axiom label in BFO2 Reference: [039-001])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/039-001

Axiom
annotated source: two-dimensional spatial region
annotated property: has associated axiom(fol)
annotated target: (forall (x) (if (TwoDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [039-001]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/039-001

spatiotemporal region
type: Class
subclass of: occurrent
BFO OWL specification label: st-region
BFO CLIF specification label: SpatiotemporalRegion
example of usage: the spatiotemporal region occupied by a human life
example of usage: the spatiotemporal region occupied by a process of cellular meiosis.
example of usage: the spatiotemporal region occupied by the development of a cancer tumor
elucidation: A spatiotemporal region is an occurrent entity that is part of spacetime. (axiom label in BFO2 Reference: [095-001])
has associated axiom(nl): All parts of spatiotemporal regions are spatiotemporal regions. (axiom label in BFO2 Reference: [096-001])
has associated axiom(nl): Each spatiotemporal region at any time t projects_onto some spatial region at t. (axiom label in BFO2 Reference: [099-001])
has associated axiom(nl): Each spatiotemporal region projects_onto some temporal region. (axiom label in BFO2 Reference: [098-001])
has associated axiom(nl): Every spatiotemporal region occupies_spatiotemporal_region itself.
has associated axiom(nl): Every spatiotemporal region s is such that s occupies_spatiotemporal_region s. (axiom label in BFO2 Reference: [107-002])
has associated axiom(fol): (forall (r) (if (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion r r))) // axiom label in BFO2 CLIF: [107-002]
has associated axiom(fol): (forall (x t) (if (SpatioTemporalRegion x) (exists (y) (and (SpatialRegion y) (spatiallyProjectsOntoAt x y t))))) // axiom label in BFO2 CLIF: [099-001]
has associated axiom(fol): (forall (x y) (if (and (SpatioTemporalRegion x) (occurrentPartOf y x)) (SpatioTemporalRegion y))) // axiom label in BFO2 CLIF: [096-001]
has associated axiom(fol): (forall (x) (if (SpatioTemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [095-001]
has associated axiom(fol): (forall (x) (if (SpatioTemporalRegion x) (exists (y) (and (TemporalRegion y) (temporallyProjectsOnto x y))))) // axiom label in BFO2 CLIF: [098-001]

Axiom
annotated source: spatiotemporal region
annotated property: elucidation
annotated target: A spatiotemporal region is an occurrent entity that is part of spacetime. (axiom label in BFO2 Reference: [095-001])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/095-001

Axiom
annotated source: spatiotemporal region
annotated property: has associated axiom(nl)
annotated target: All parts of spatiotemporal regions are spatiotemporal regions. (axiom label in BFO2 Reference: [096-001])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/096-001

Axiom
annotated source: spatiotemporal region
annotated property: has associated axiom(nl)
annotated target: Each spatiotemporal region at any time t projects_onto some spatial region at t. (axiom label in BFO2 Reference: [099-001])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/099-001

Axiom
annotated source: spatiotemporal region
annotated property: has associated axiom(nl)
annotated target: Each spatiotemporal region projects_onto some temporal region. (axiom label in BFO2 Reference: [098-001])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/098-001

Axiom
annotated source: spatiotemporal region
annotated property: has associated axiom(nl)
annotated target: Every spatiotemporal region s is such that s occupies_spatiotemporal_region s. (axiom label in BFO2 Reference: [107-002])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/107-002

Axiom
annotated source: spatiotemporal region
annotated property: has associated axiom(fol)
annotated target: (forall (r) (if (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion r r))) // axiom label in BFO2 CLIF: [107-002]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/107-002

Axiom
annotated source: spatiotemporal region
annotated property: has associated axiom(fol)
annotated target: (forall (x t) (if (SpatioTemporalRegion x) (exists (y) (and (SpatialRegion y) (spatiallyProjectsOntoAt x y t))))) // axiom label in BFO2 CLIF: [099-001]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/099-001

Axiom
annotated source: spatiotemporal region
annotated property: has associated axiom(fol)
annotated target: (forall (x y) (if (and (SpatioTemporalRegion x) (occurrentPartOf y x)) (SpatioTemporalRegion y))) // axiom label in BFO2 CLIF: [096-001]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/096-001

Axiom
annotated source: spatiotemporal region
annotated property: has associated axiom(fol)
annotated target: (forall (x) (if (SpatioTemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [095-001]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/095-001

Axiom
annotated source: spatiotemporal region
annotated property: has associated axiom(fol)
annotated target: (forall (x) (if (SpatioTemporalRegion x) (exists (y) (and (TemporalRegion y) (temporallyProjectsOnto x y))))) // axiom label in BFO2 CLIF: [098-001]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/098-001

process
type: Class
subclass of: occurrent
BFO OWL specification label: process
BFO CLIF specification label: Process
example of usage: a process of cell-division, \ a beating of the heart
example of usage: a process of meiosis
example of usage: a process of sleeping
example of usage: the course of a disease
example of usage: the flight of a bird
example of usage: the life of an organism
example of usage: your process of aging.
definition: p is a process = Def. p is an occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. (axiom label in BFO2 Reference: [083-003])
editor note: BFO 2 Reference: The realm of occurrents is less pervasively marked by the presence of natural units than is the case in the realm of independent continuants. Thus there is here no counterpart of ‘object’. In BFO 1.0 ‘process’ served as such a counterpart. In BFO 2.0 ‘process’ is, rather, the occurrent counterpart of ‘material entity’. Those natural – as contrasted with engineered, which here means: deliberately executed – units which do exist in the realm of occurrents are typically either parasitic on the existence of natural units on the continuant side, or they are fiat in nature. Thus we can count lives; we can count football games; we can count chemical reactions performed in experiments or in chemical manufacturing. We cannot count the processes taking place, for instance, in an episode of insect mating behavior.Even where natural units are identifiable, for example cycles in a cyclical process such as the beating of a heart or an organism’s sleep/wake cycle, the processes in question form a sequence with no discontinuities (temporal gaps) of the sort that we find for instance where billiard balls or zebrafish or planets are separated by clear spatial gaps. Lives of organisms are process units, but they too unfold in a continuous series from other, prior processes such as fertilization, and they unfold in turn in continuous series of post-life processes such as post-mortem decay. Clear examples of boundaries of processes are almost always of the fiat sort (midnight, a time of death as declared in an operating theater or on a death certificate, the initiation of a state of war)
has associated axiom(fol): (iff (Process a) (and (Occurrent a) (exists (b) (properTemporalPartOf b a)) (exists (c t) (and (MaterialEntity c) (specificallyDependsOnAt a c t))))) // axiom label in BFO2 CLIF: [083-003]

Axiom
annotated source: process
annotated property: definition
annotated target: 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])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/083-003

Axiom
annotated source: process
annotated property: has associated axiom(fol)
annotated target: (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]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/083-003

disposition
type: Class
subclass of: realizable entity
disjoint with: role
BFO OWL specification label: disposition
BFO CLIF specification label: Disposition
example of usage: an atom of element X has the disposition to decay to an atom of element Y
example of usage: certain people have a predisposition to colon cancer
example of usage: children are innately disposed to categorize objects in certain ways.
example of usage: the cell wall is disposed to filter chemicals in endocytosis and exocytosis
editor note: BFO 2 Reference: Dispositions exist along a strength continuum. Weaker forms of disposition are realized in only a fraction of triggering cases. These forms occur in a significant number of cases of a similar type.
elucidation: b is a disposition means: b is a realizable entity & b’s bearer is some material entity & b is such that if it ceases to exist, then its bearer is physically changed, & b’s realization occurs when and because this bearer is in some special physical circumstances, & this realization occurs in virtue of the bearer’s physical make-up. (axiom label in BFO2 Reference: [062-002])
has associated axiom(nl): If b is a realizable entity then for all t at which b exists, b s-depends_on some material entity at t. (axiom label in BFO2 Reference: [063-002])
has associated axiom(fol): (forall (x t) (if (and (RealizableEntity x) (existsAt x t)) (exists (y) (and (MaterialEntity y) (specificallyDepends x y t))))) // axiom label in BFO2 CLIF: [063-002]
has associated axiom(fol): (forall (x) (if (Disposition x) (and (RealizableEntity x) (exists (y) (and (MaterialEntity y) (bearerOfAt x y t)))))) // axiom label in BFO2 CLIF: [062-002]

Axiom
annotated source: disposition
annotated property: elucidation
annotated target: 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])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/062-002

Axiom
annotated source: disposition
annotated property: has associated axiom(nl)
annotated target: 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])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/063-002

Axiom
annotated source: disposition
annotated property: has associated axiom(fol)
annotated target: (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]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/063-002

Axiom
annotated source: disposition
annotated property: has associated axiom(fol)
annotated target: (forall (x) (if (Disposition x) (and (RealizableEntity x) (exists (y) (and (MaterialEntity y) (bearerOfAt x y t)))))) // axiom label in BFO2 CLIF: [062-002]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/062-002

realizable entity
type: Class
subclass of: specifically dependent continuant
disjoint with: quality
BFO OWL specification label: realizable
BFO CLIF specification label: RealizableEntity
example of usage: the disposition of this piece of metal to conduct electricity.
example of usage: the disposition of your blood to coagulate
example of usage: the function of your reproductive organs
example of usage: the role of being a doctor
example of usage: the role of this boundary to delineate where Utah and Colorado meet
elucidation: To say that b is a realizable entity is to say that b is a specifically dependent continuant that inheres in some independent continuant which is not a spatial region and is of a type instances of which are realized in processes of a correlated type. (axiom label in BFO2 Reference: [058-002])
has associated axiom(nl): All realizable dependent continuants have independent continuants that are not spatial regions as their bearers. (axiom label in BFO2 Reference: [060-002])
has associated axiom(fol): (forall (x t) (if (RealizableEntity x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (bearerOfAt y x t))))) // axiom label in BFO2 CLIF: [060-002]
has associated axiom(fol): (forall (x) (if (RealizableEntity x) (and (SpecificallyDependentContinuant x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (inheresIn x y)))))) // axiom label in BFO2 CLIF: [058-002]

Axiom
annotated source: realizable entity
annotated property: elucidation
annotated target: 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])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/058-002

Axiom
annotated source: realizable entity
annotated property: has associated axiom(nl)
annotated target: All realizable dependent continuants have independent continuants that are not spatial regions as their bearers. (axiom label in BFO2 Reference: [060-002])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/060-002

Axiom
annotated source: realizable entity
annotated property: has associated axiom(fol)
annotated target: (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]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/060-002

Axiom
annotated source: realizable entity
annotated property: has associated axiom(fol)
annotated target: (forall (x) (if (RealizableEntity x) (and (SpecificallyDependentContinuant x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (inheresIn x y)))))) // axiom label in BFO2 CLIF: [058-002]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/058-002

zero-dimensional spatial region
type: Class
subclass of: spatial region
disjoint with: three-dimensional spatial region
BFO OWL specification label: 0d-s-region
BFO CLIF specification label: ZeroDimensionalSpatialRegion
elucidation: A zero-dimensional spatial region is a point in space. (axiom label in BFO2 Reference: [037-001])
has associated axiom(fol): (forall (x) (if (ZeroDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [037-001]

Axiom
annotated source: zero-dimensional spatial region
annotated property: elucidation
annotated target: A zero-dimensional spatial region is a point in space. (axiom label in BFO2 Reference: [037-001])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/037-001

Axiom
annotated source: zero-dimensional spatial region
annotated property: has associated axiom(fol)
annotated target: (forall (x) (if (ZeroDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [037-001]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/037-001

quality
type: Class
subclass of: specifically dependent continuant
BFO OWL specification label: quality
BFO CLIF specification label: Quality
example of usage: the ambient temperature of this portion of air
example of usage: the color of a tomato
example of usage: the length of the circumference of your waist
example of usage: the mass of this piece of gold.
example of usage: the shape of your nose
example of usage: the shape of your nostril
elucidation: a quality is a specifically dependent continuant that, in contrast to roles and dispositions, does not require any further process in order to be realized. (axiom label in BFO2 Reference: [055-001])
has associated axiom(nl): If an entity is a quality at any time that it exists, then it is a quality at every time that it exists. (axiom label in BFO2 Reference: [105-001])
has associated axiom(fol): (forall (x) (if (Quality x) (SpecificallyDependentContinuant x))) // axiom label in BFO2 CLIF: [055-001]
has associated axiom(fol): (forall (x) (if (exists (t) (and (existsAt x t) (Quality x))) (forall (t_1) (if (existsAt x t_1) (Quality x))))) // axiom label in BFO2 CLIF: [105-001]

Axiom
annotated source: quality
annotated property: elucidation
annotated target: 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])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/055-001

Axiom
annotated source: quality
annotated property: has associated axiom(nl)
annotated target: 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])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/105-001

Axiom
annotated source: quality
annotated property: has associated axiom(fol)
annotated target: (forall (x) (if (Quality x) (SpecificallyDependentContinuant x))) // axiom label in BFO2 CLIF: [055-001]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/055-001

Axiom
annotated source: quality
annotated property: has associated axiom(fol)
annotated target: (forall (x) (if (exists (t) (and (existsAt x t) (Quality x))) (forall (t_1) (if (existsAt x t_1) (Quality x))))) // axiom label in BFO2 CLIF: [105-001]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/105-001

specifically dependent continuant
type: Class
subclass of: continuant
disjoint with: generically dependent continuant
BFO OWL specification label: sdc
BFO CLIF specification label: SpecificallyDependentContinuant
example of usage: Reciprocal specifically dependent continuants: the function of this key to open this lock and the mutually dependent disposition of this lock: to be opened by this key
example of usage: of one-sided specifically dependent continuants: the mass of this tomato
example of usage: of relational dependent continuants (multiple bearers): John’s love for Mary, the ownership relation between John and this statue, the relation of authority between John and his subordinates.
example of usage: the disposition of this fish to decay
example of usage: the function of this heart: to pump blood
example of usage: the mutual dependence of proton donors and acceptors in chemical reactions [79
example of usage: the mutual dependence of the role predator and the role prey as played by two organisms in a given interaction
example of usage: the pink color of a medium rare piece of grilled filet mignon at its center
example of usage: the role of being a doctor
example of usage: the shape of this hole.
example of usage: the smell of this portion of mozzarella
definition: b is a specifically dependent continuant = Def. b is a continuant & there is some independent continuant c which is not a spatial region and which is such that b s-depends_on c at every time t during the course of b’s existence. (axiom label in BFO2 Reference: [050-003])
editor note: Specifically dependent continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. We're not sure what else will develop here, but for example there are questions such as what are promises, obligation, etc.
has associated axiom(fol): (iff (SpecificallyDependentContinuant a) (and (Continuant a) (forall (t) (if (existsAt a t) (exists (b) (and (IndependentContinuant b) (not (SpatialRegion b)) (specificallyDependsOnAt a b t))))))) // axiom label in BFO2 CLIF: [050-003]

Axiom
annotated source: specifically dependent continuant
annotated property: definition
annotated target: 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])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/050-003

Axiom
annotated source: specifically dependent continuant
annotated property: editor note
annotated target: 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.
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/0000005
comment: per discussion with Barry Smith

Axiom
annotated source: specifically dependent continuant
annotated property: has associated axiom(fol)
annotated target: (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]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/050-003

role
type: Class
subclass of: realizable entity
BFO OWL specification label: role
BFO CLIF specification label: Role
example of usage: John’s role of husband to Mary is dependent on Mary’s role of wife to John, and both are dependent on the object aggregate comprising John and Mary as member parts joined together through the relational quality of being married.
example of usage: the priest role
example of usage: the role of a boundary to demarcate two neighboring administrative territories
example of usage: the role of a building in serving as a military target
example of usage: the role of a stone in marking a property boundary
example of usage: the role of subject in a clinical trial
example of usage: the student role
editor note: BFO 2 Reference: One major family of examples of non-rigid universals involves roles, and ontologies developed for corresponding administrative purposes may consist entirely of representatives of entities of this sort. Thus ‘professor’, defined as follows,b instance_of professor at t =Def. there is some c, c instance_of professor role & c inheres_in b at t.denotes a non-rigid universal and so also do ‘nurse’, ‘student’, ‘colonel’, ‘taxpayer’, and so forth. (These terms are all, in the jargon of philosophy, phase sortals.) By using role terms in definitions, we can create a BFO conformant treatment of such entities drawing on the fact that, while an instance of professor may be simultaneously an instance of trade union member, no instance of the type professor role is also (at any time) an instance of the type trade union member role (any more than any instance of the type color is at any time an instance of the type length).If an ontology of employment positions should be defined in terms of roles following the above pattern, this enables the ontology to do justice to the fact that individuals instantiate the corresponding universals – professor, sergeant, nurse – only during certain phases in their lives.
elucidation: b is a role means: b is a realizable entity & b exists because there is some single bearer that is in some special physical, social, or institutional set of circumstances in which this bearer does not have to be& b is not such that, if it ceases to exist, then the physical make-up of the bearer is thereby changed. (axiom label in BFO2 Reference: [061-001])
has associated axiom(fol): (forall (x) (if (Role x) (RealizableEntity x))) // axiom label in BFO2 CLIF: [061-001]

Axiom
annotated source: role
annotated property: elucidation
annotated target: 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])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/061-001

Axiom
annotated source: role
annotated property: has associated axiom(fol)
annotated target: (forall (x) (if (Role x) (RealizableEntity x))) // axiom label in BFO2 CLIF: [061-001]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/061-001

fiat object part
type: Class
subclass of: material entity
BFO OWL specification label: fiat-object-part
BFO CLIF specification label: FiatObjectPart
example of usage: 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
example of usage: the FMA:regional parts of an intact human body.
example of usage: the Western hemisphere of the Earth
example of usage: the division of the brain into regions
example of usage: the division of the planet into hemispheres
example of usage: the dorsal and ventral surfaces of the body
example of usage: the upper and lower lobes of the left lung
editor note: BFO 2 Reference: Most examples of fiat object parts are associated with theoretically drawn divisions
elucidation: 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])
has associated axiom(fol): (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]

Axiom
annotated source: fiat object part
annotated property: elucidation
annotated target: 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])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/027-004

Axiom
annotated source: fiat object part
annotated property: has associated axiom(fol)
annotated target: (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]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/027-004

one-dimensional spatial region
type: Class
subclass of: spatial region
disjoint with: three-dimensional spatial region
BFO OWL specification label: 1d-s-region
BFO CLIF specification label: OneDimensionalSpatialRegion
example of usage: an edge of a cube-shaped portion of space.
elucidation: 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])
has associated axiom(fol): (forall (x) (if (OneDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [038-001]

Axiom
annotated source: one-dimensional spatial region
annotated property: elucidation
annotated target: 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])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/038-001

Axiom
annotated source: one-dimensional spatial region
annotated property: has associated axiom(fol)
annotated target: (forall (x) (if (OneDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [038-001]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/038-001

object aggregate
type: Class
subclass of: material entity
BFO OWL specification label: object-aggregate
BFO CLIF specification label: ObjectAggregate
example of usage: a collection of cells in a blood biobank.
example of usage: a swarm of bees is an aggregate of members who are linked together through natural bonds
example of usage: a symphony orchestra
example of usage: 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)
example of usage: defined by fiat: the aggregate of members of an organization
example of usage: defined through physical attachment: the aggregate of atoms in a lump of granite
example of usage: defined through physical containment: the aggregate of molecules of carbon dioxide in a sealed container
example of usage: defined via attributive delimitations such as: the patients in this hospital
example of usage: the aggregate of bearings in a constant velocity axle joint
example of usage: the aggregate of blood cells in your body
example of usage: the nitrogen atoms in the atmosphere
example of usage: the restaurants in Palo Alto
example of usage: your collection of Meissen ceramic plates.
editor note: An entity a is an object aggregate if and only if there is a mutually exhaustive and pairwise disjoint partition of a into objects
editor note: 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).
definition source: 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.
elucidation: 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])
has associated axiom(fol): (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]

Axiom
annotated source: object aggregate
annotated property: editor note
annotated target: An entity a is an object aggregate if and only if there is a mutually exhaustive and pairwise disjoint partition of a into objects
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/0000011

Axiom
annotated source: object aggregate
annotated property: editor note
annotated target: An entity a is an object aggregate if and only if there is a mutually exhaustive and pairwise disjoint partition of a into objects
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/0000301

Axiom
annotated source: object aggregate
annotated property: definition source
annotated target: 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.
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/0000300

Axiom
annotated source: object aggregate
annotated property: elucidation
annotated target: 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])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/025-004

Axiom
annotated source: object aggregate
annotated property: has associated axiom(fol)
annotated target: (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]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/025-004

three-dimensional spatial region
type: Class
subclass of: spatial region
BFO OWL specification label: 3d-s-region
BFO CLIF specification label: ThreeDimensionalSpatialRegion
example of usage: a cube-shaped region of space
example of usage: a sphere-shaped region of space,
elucidation: A three-dimensional spatial region is a spatial region that is of three dimensions. (axiom label in BFO2 Reference: [040-001])
has associated axiom(fol): (forall (x) (if (ThreeDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [040-001]

Axiom
annotated source: three-dimensional spatial region
annotated property: elucidation
annotated target: A three-dimensional spatial region is a spatial region that is of three dimensions. (axiom label in BFO2 Reference: [040-001])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/040-001

Axiom
annotated source: three-dimensional spatial region
annotated property: has associated axiom(fol)
annotated target: (forall (x) (if (ThreeDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [040-001]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/040-001

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

Axiom
annotated source: site
annotated property: elucidation
annotated target: 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])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/034-002

Axiom
annotated source: site
annotated property: has associated axiom(fol)
annotated target: (forall (x) (if (Site x) (ImmaterialEntity x))) // axiom label in BFO2 CLIF: [034-002]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/034-002

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

Axiom
annotated source: object
annotated property: elucidation
annotated target: 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])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/024-001

generically dependent continuant
type: Class
subclass of: continuant
BFO OWL specification label: gdc
BFO CLIF specification label: GenericallyDependentContinuant
example of usage: The entries in your database are patterns instantiated as quality instances in your hard drive. The database itself is an aggregate of such patterns. When you create the database you create a particular instance of the generically dependent continuant type database. Each entry in the database is an instance of the generically dependent continuant type IAO: information content entity.
example of usage: the pdf file on your laptop, the pdf file that is a copy thereof on my laptop
example of usage: the sequence of this protein molecule; the sequence that is a copy thereof in that protein molecule.
definition: b is a generically dependent continuant = Def. b is a continuant that g-depends_on one or more other entities. (axiom label in BFO2 Reference: [074-001])
has associated axiom(fol): (iff (GenericallyDependentContinuant a) (and (Continuant a) (exists (b t) (genericallyDependsOnAt a b t)))) // axiom label in BFO2 CLIF: [074-001]

Axiom
annotated source: generically dependent continuant
annotated property: definition
annotated target: 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])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/074-001

Axiom
annotated source: generically dependent continuant
annotated property: has associated axiom(fol)
annotated target: (iff (GenericallyDependentContinuant a) (and (Continuant a) (exists (b t) (genericallyDependsOnAt a b t)))) // axiom label in BFO2 CLIF: [074-001]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/074-001

function
type: Class
subclass of: disposition
BFO OWL specification label: function
BFO CLIF specification label: Function
example of usage: the function of a hammer to drive in nails
example of usage: the function of a heart pacemaker to regulate the beating of a heart through electricity
example of usage: the function of amylase in saliva to break down starch into sugar
editor note: BFO 2 Reference: In the past, we have distinguished two varieties of function, artifactual function and biological function. These are not asserted subtypes of BFO:function however, since the same function – for example: to pump, to transport – can exist both in artifacts and in biological entities. The asserted subtypes of function that would be needed in order to yield a separate monoheirarchy are not artifactual function, biological function, etc., but rather transporting function, pumping function, etc.
elucidation: A function is a disposition that exists in virtue of the bearer’s physical make-up and this physical make-up is something the bearer possesses because it came into being, either through evolution (in the case of natural biological entities) or through intentional design (in the case of artifacts), in order to realize processes of a certain sort. (axiom label in BFO2 Reference: [064-001])
has associated axiom(fol): (forall (x) (if (Function x) (Disposition x))) // axiom label in BFO2 CLIF: [064-001]

Axiom
annotated source: function
annotated property: elucidation
annotated target: 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])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/064-001

Axiom
annotated source: function
annotated property: has associated axiom(fol)
annotated target: (forall (x) (if (Function x) (Disposition x))) // axiom label in BFO2 CLIF: [064-001]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/064-001

process boundary
type: Class
subclass of: occurrent
BFO OWL specification label: p-boundary
BFO CLIF specification label: ProcessBoundary
example of usage: the boundary between the 2nd and 3rd year of your life.
definition: 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])
has associated axiom(nl): Every process boundary occupies_temporal_region a zero-dimensional temporal region. (axiom label in BFO2 Reference: [085-002])
has associated axiom(fol): (forall (x) (if (ProcessBoundary x) (exists (y) (and (ZeroDimensionalTemporalRegion y) (occupiesTemporalRegion x y))))) // axiom label in BFO2 CLIF: [085-002]
has associated axiom(fol): (iff (ProcessBoundary a) (exists (p) (and (Process p) (temporalPartOf a p) (not (exists (b) (properTemporalPartOf b a)))))) // axiom label in BFO2 CLIF: [084-001]

Axiom
annotated source: process boundary
annotated property: definition
annotated target: 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])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/084-001

Axiom
annotated source: process boundary
annotated property: has associated axiom(nl)
annotated target: Every process boundary occupies_temporal_region a zero-dimensional temporal region. (axiom label in BFO2 Reference: [085-002])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/085-002

Axiom
annotated source: process boundary
annotated property: has associated axiom(fol)
annotated target: (forall (x) (if (ProcessBoundary x) (exists (y) (and (ZeroDimensionalTemporalRegion y) (occupiesTemporalRegion x y))))) // axiom label in BFO2 CLIF: [085-002]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/085-002

Axiom
annotated source: process boundary
annotated property: has associated axiom(fol)
annotated target: (iff (ProcessBoundary a) (exists (p) (and (Process p) (temporalPartOf a p) (not (exists (b) (properTemporalPartOf b a)))))) // axiom label in BFO2 CLIF: [084-001]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/084-001

one-dimensional temporal region
type: Class
subclass of: temporal region
disjoint with: zero-dimensional temporal region
BFO OWL specification label: 1d-t-region
BFO CLIF specification label: OneDimensionalTemporalRegion
example of usage: the temporal region during which a process occurs.
editor note: BFO 2 Reference: A temporal interval is a special kind of one-dimensional temporal region, namely one that is self-connected (is without gaps or breaks).
elucidation: A one-dimensional temporal region is a temporal region that is extended. (axiom label in BFO2 Reference: [103-001])
has associated axiom(fol): (forall (x) (if (OneDimensionalTemporalRegion x) (TemporalRegion x))) // axiom label in BFO2 CLIF: [103-001]

Axiom
annotated source: one-dimensional temporal region
annotated property: elucidation
annotated target: A one-dimensional temporal region is a temporal region that is extended. (axiom label in BFO2 Reference: [103-001])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/103-001

Axiom
annotated source: one-dimensional temporal region
annotated property: has associated axiom(fol)
annotated target: (forall (x) (if (OneDimensionalTemporalRegion x) (TemporalRegion x))) // axiom label in BFO2 CLIF: [103-001]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/103-001

material entity
type: Class
subclass of: independent continuant
disjoint with: immaterial entity
BFO OWL specification label: material
BFO CLIF specification label: MaterialEntity
example of usage: a flame
example of usage: a forest fire
example of usage: a human being
example of usage: a hurricane
example of usage: a photon
example of usage: a puff of smoke
example of usage: a sea wave
example of usage: a tornado
example of usage: an aggregate of human beings.
example of usage: an energy wave
example of usage: an epidemic
example of usage: the undetached arm of a human being
editor note: BFO 2 Reference: Material entities (continuants) can preserve their identity even while gaining and losing material parts. Continuants are contrasted with occurrents, which unfold themselves in successive temporal parts or phases [60
editor note: BFO 2 Reference: Object, Fiat Object Part and Object Aggregate are not intended to be exhaustive of Material Entity. Users are invited to propose new subcategories of Material Entity.
editor note: BFO 2 Reference: ‘Matter’ is intended to encompass both mass and energy (we will address the ontological treatment of portions of energy in a later version of BFO). A portion of matter is anything that includes elementary particles among its proper or improper parts: quarks and leptons, including electrons, as the smallest particles thus far discovered; baryons (including protons and neutrons) at a higher level of granularity; atoms and molecules at still higher levels, forming the cells, organs, organisms and other material entities studied by biologists, the portions of rock studied by geologists, the fossils studied by paleontologists, and so on.Material entities are three-dimensional entities (entities extended in three spatial dimensions), as contrasted with the processes in which they participate, which are four-dimensional entities (entities extended also along the dimension of time).According to the FMA, material entities may have immaterial entities as parts – including the entities identified below as sites; for example the interior (or ‘lumen’) of your small intestine is a part of your body. BFO 2.0 embodies a decision to follow the FMA here.
elucidation: A material entity is an independent continuant that has some portion of matter as proper or improper continuant part. (axiom label in BFO2 Reference: [019-002])
has associated axiom(nl): Every entity which has a material entity as continuant part is a material entity. (axiom label in BFO2 Reference: [020-002])
has associated axiom(nl): every entity of which a material entity is continuant part is also a material entity. (axiom label in BFO2 Reference: [021-002])
has associated axiom(fol): (forall (x) (if (MaterialEntity x) (IndependentContinuant x))) // axiom label in BFO2 CLIF: [019-002]
has associated axiom(fol): (forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt x y t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [021-002]
has associated axiom(fol): (forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt y x t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [020-002]

Axiom
annotated source: material entity
annotated property: elucidation
annotated target: 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])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/019-002

Axiom
annotated source: material entity
annotated property: has associated axiom(nl)
annotated target: Every entity which has a material entity as continuant part is a material entity. (axiom label in BFO2 Reference: [020-002])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/020-002

Axiom
annotated source: material entity
annotated property: has associated axiom(nl)
annotated target: every entity of which a material entity is continuant part is also a material entity. (axiom label in BFO2 Reference: [021-002])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/021-002

Axiom
annotated source: material entity
annotated property: has associated axiom(fol)
annotated target: (forall (x) (if (MaterialEntity x) (IndependentContinuant x))) // axiom label in BFO2 CLIF: [019-002]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/019-002

Axiom
annotated source: material entity
annotated property: has associated axiom(fol)
annotated target: (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]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/021-002

Axiom
annotated source: material entity
annotated property: has associated axiom(fol)
annotated target: (forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt y x t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [020-002]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/020-002

continuant fiat boundary
type: Class
subclass of: immaterial entity
BFO OWL specification label: cf-boundary
BFO CLIF specification label: ContinuantFiatBoundary
definition: 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])
editor note: 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.
editor note: 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
editor note: 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.
has associated axiom(nl): Every continuant fiat boundary is located at some spatial region at every time at which it exists
has associated axiom(fol): (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]

Axiom
annotated source: continuant fiat boundary
annotated property: definition
annotated target: 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])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/029-001

Axiom
annotated source: continuant fiat boundary
annotated property: editor note
annotated target: 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.
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/0000008

Axiom
annotated source: continuant fiat boundary
annotated property: has associated axiom(fol)
annotated target: (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]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/029-001

immaterial entity
type: Class
subclass of: independent continuant
BFO OWL specification label: immaterial
BFO CLIF specification label: ImmaterialEntity
editor note: BFO 2 Reference: Immaterial entities are divided into two subgroups:boundaries and sites, which bound, or are demarcated in relation, to material entities, and which can thus change location, shape and size and as their material hosts move or change shape or size (for example: your nasal passage; the hold of a ship; the boundary of Wales (which moves with the rotation of the Earth) [38, 7, 10

one-dimensional continuant fiat boundary
type: Class
subclass of: continuant fiat boundary
disjoint with: two-dimensional continuant fiat boundary
disjoint with: zero-dimensional continuant fiat boundary
BFO OWL specification label: 1d-cf-boundary
BFO CLIF specification label: OneDimensionalContinuantFiatBoundary
example of usage: The Equator
example of usage: all geopolitical boundaries
example of usage: all lines of latitude and longitude
example of usage: the line separating the outer surface of the mucosa of the lower lip from the outer surface of the skin of the chin.
example of usage: the median sulcus of your tongue
elucidation: 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])
has associated axiom(fol): (iff (OneDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (OneDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [032-001]

Axiom
annotated source: one-dimensional continuant fiat boundary
annotated property: elucidation
annotated target: 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])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/032-001

Axiom
annotated source: one-dimensional continuant fiat boundary
annotated property: has associated axiom(fol)
annotated target: (iff (OneDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (OneDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [032-001]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/032-001

process profile
type: Class
subclass of: process
disjoint with: history
BFO OWL specification label: process-profile
BFO CLIF specification label: ProcessProfile
example of usage: 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
example of usage: 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.
example of usage: 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.
definition: 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])
elucidation: 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])
has associated axiom(fol): (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]
has associated axiom(fol): (iff (ProcessProfile a) (exists (b) (and (Process b) (processProfileOf a b)))) // axiom label in BFO2 CLIF: [093-002]

Axiom
annotated source: process profile
annotated property: definition
annotated target: 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])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/093-002

Axiom
annotated source: process profile
annotated property: elucidation
annotated target: 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])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/094-005

Axiom
annotated source: process profile
annotated property: has associated axiom(fol)
annotated target: (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]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/094-005

Axiom
annotated source: process profile
annotated property: has associated axiom(fol)
annotated target: (iff (ProcessProfile a) (exists (b) (and (Process b) (processProfileOf a b)))) // axiom label in BFO2 CLIF: [093-002]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/093-002

relational quality
type: Class
subclass of: quality
BFO OWL specification label: r-quality
BFO CLIF specification label: RelationalQuality
example of usage: John’s role of husband to Mary is dependent on Mary’s role of wife to John, and both are dependent on the object aggregate comprising John and Mary as member parts joined together through the relational quality of being married.
example of usage: a marriage bond, an instance of requited love, an obligation between one person and another.
definition: 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])
has associated axiom(fol): (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]

Axiom
annotated source: relational quality
annotated property: definition
annotated target: 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])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/057-001

Axiom
annotated source: relational quality
annotated property: has associated axiom(fol)
annotated target: (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]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/057-001

two-dimensional continuant fiat boundary
type: Class
subclass of: continuant fiat boundary
BFO OWL specification label: 2d-cf-boundary
BFO CLIF specification label: TwoDimensionalContinuantFiatBoundary
elucidation: 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])
has associated axiom(fol): (iff (TwoDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (TwoDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [033-001]

Axiom
annotated source: two-dimensional continuant fiat boundary
annotated property: elucidation
annotated target: 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])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/033-001

Axiom
annotated source: two-dimensional continuant fiat boundary
annotated property: has associated axiom(fol)
annotated target: (iff (TwoDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (TwoDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [033-001]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/033-001

zero-dimensional continuant fiat boundary
type: Class
subclass of: continuant fiat boundary
BFO OWL specification label: 0d-cf-boundary
BFO CLIF specification label: ZeroDimensionalContinuantFiatBoundary
example of usage: the geographic North Pole
example of usage: the point of origin of some spatial coordinate system.
example of usage: the quadripoint where the boundaries of Colorado, Utah, New Mexico, and Arizona meet
editor note: 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.
elucidation: 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])
has associated axiom(fol): (iff (ZeroDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (ZeroDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [031-001]

Axiom
annotated source: zero-dimensional continuant fiat boundary
annotated property: editor note
annotated target: 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.
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/0000001
comment: requested by Melanie Courtot

Axiom
annotated source: zero-dimensional continuant fiat boundary
annotated property: elucidation
annotated target: 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])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/031-001

Axiom
annotated source: zero-dimensional continuant fiat boundary
annotated property: has associated axiom(fol)
annotated target: (iff (ZeroDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (ZeroDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [031-001]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/031-001

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

Axiom
annotated source: zero-dimensional temporal region
annotated property: elucidation
annotated target: A zero-dimensional temporal region is a temporal region that is without extent. (axiom label in BFO2 Reference: [102-001])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/102-001

Axiom
annotated source: zero-dimensional temporal region
annotated property: has associated axiom(fol)
annotated target: (forall (x) (if (ZeroDimensionalTemporalRegion x) (TemporalRegion x))) // axiom label in BFO2 CLIF: [102-001]
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/102-001

history
type: Class
subclass of: process
BFO OWL specification label: history
BFO CLIF specification label: History
elucidation: 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])

Axiom
annotated source: history
annotated property: elucidation
annotated target: 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])
has axiom label: http://purl.obolibrary.org/obo/bfo/axiom/138-001

molecular entity
type: Class
subclass of: object
subclass of: chemical entity
definition: Any constitutionally or isotopically distinct atom, molecule, ion, ion pair, radical, radical ion, complex, conformer etc., identifiable as a separately distinguishable entity.
editor note: We are assuming that every molecular entity has to be completely connected by chemical bonds. This excludes protein complexes, which are comprised of minimally two separate molecular entities. We will follow up with Chebi to ensure this is their understanding as well
has_exact_synonym: molecular entity
has related synonym: entidad molecular
has related synonym: entidades moleculares
has related synonym: entite moleculaire
has related synonym: molecular entities
has related synonym: molekulare Entitaet
id: CHEBI:23367

Axiom
annotated source: molecular entity
annotated property: has_exact_synonym
annotated target: molecular entity
has db xref: IUPAC:
has synonym type: IUPAC NAME

Axiom
annotated source: molecular entity
annotated property: hasRelatedSynonym
annotated target: entidad molecular
has db xref: IUPAC:

Axiom
annotated source: molecular entity
annotated property: hasRelatedSynonym
annotated target: entidades moleculares
has db xref: IUPAC:

Axiom
annotated source: molecular entity
annotated property: hasRelatedSynonym
annotated target: entite moleculaire
has db xref: IUPAC:

Axiom
annotated source: molecular entity
annotated property: hasRelatedSynonym
annotated target: molecular entities
has db xref: IUPAC:

Axiom
annotated source: molecular entity
annotated property: hasRelatedSynonym
annotated target: molekulare Entitaet
has db xref: ChEBI:

chemical entity
type: Class
subclass of: material entity
definition: A chemical entity is a physical entity of interest in chemistry including molecular entities, parts thereof, and chemical substances.
id: CHEBI:24431

clinical drug role
type: Class
subclass of: role
definition: the role of a material entity to prevent, diagnose, treat, or study disease and/or its effects
term editor: William Hogan
creator: William Hogan

drug product
type: Class
equivalent class: Class
  intersection of: material entity
  intersection of: Restriction
    on property: is bearer of
    some values from: clinical drug role
  intersection of: Restriction
    on property: has_proper_part
    some values from: Class
      intersection of: scattered molecular aggregate
      intersection of: Restriction
        on property: is bearer of
        some values from: active ingredient
subclass of: material entity
definition: a material entity (1) containing at least one scattered molecular aggregate as part that is the bearer of an active ingredient role and (2) that is itself the bearer of a clinical drug role
term editor: William Hogan
creator: William Hogan

active ingredient
type: Class
subclass of: role of scattered molecular aggregate
editor preferred term: active ingredient role
definition: a role of a scattered molecular aggregate that is part of a drug product that is realized by (1) administration of the drug to an organism followed by (2) some change in the structure or functioning of some part of the organism
term editor: William R. Hogan

excipient
type: Class
subclass of: role of scattered molecular aggregate
editor preferred term: excipient role
definition: a role of a scattered molecular aggregate in aiding the manufacture, prolonging the shelf life, or ensuring proper administration of a drug product
term editor: William R. Hogan
comment: not all excipients aid in delivery of the drug, although it is their most common role. examples include preservatives and sorbents.
comment: some excipients are used in manufacture of a drug product and do not end up being part of the drug product at the end, for example, water in the manufacture of lyophilized products and inert gasses in the headspace of containers (http://www.ipapharma.org/epharmatimes/Mar2013/#65). the net result is that the aggregate bearing the excipient role need not be part of the drug product.

role of scattered molecular aggregate
type: Class
equivalent class: Class
  intersection of: role
  intersection of: Restriction
    on property: inheres in
    some values from: scattered molecular aggregate
subclass of: role
editor preferred term: role of a scattered molecular aggregate
definition: a role borne by a scattered molecular aggregate and realized by its grains participating in one or more processes
term editor: William R. Hogan

drug administration
type: Class
subclass of: process
subclass of: treatment
subclass of: Class
  intersection of: treatment
  intersection of: Restriction
    on property: has participant
    some values from: drug product
  intersection of: Restriction
    on property: has participant
    some values from: organism
editor preferred term: administration of a drug product to an organism
definition: a treatment that has as participants an extended organism and a drug product and that results in part of the drug product being located in the extended organism
definition: a treatment that has as participants an extended organism and a drug product and that results in part of the drug product being located in the extended organism.
editor note: We suggest that drug administration be removed as a subclass of treatment or that it be renamed drug treatment. 1. Not all administrations of a drug product to an organism are an instance of treatment. They could be for example, for prophylaxis, for diagnosis, etc. 2. Not all instances of drug administrations in a treatment satisfy the definition of treatment, where it would need to result in an alleviation of signs/symptoms. (e.g. first dose administration of an antibiotic).
term editor: William R. Hogan
label: administration de médicament @fr

health insurance identifier
type: Class
subclass of: individual organism identifier
subclass of: Restriction
  on property: denotes
  qualified cardinality: 1
  on class: Homo sapiens
comment: An individual organism identifier that is used to identify a beneficiary of some health insurance.

medical record identifier
type: Class
subclass of: centrally registered identifier symbol
subclass of: Restriction
  on property: denotes
  qualified cardinality: 1
  on class: Class
    intersection of: medical record
    intersection of: Restriction
      on property: is about
      some values from: patient
definition: A CRID symbol that is sufficent to look up a patient file in a medical record registry.

patient
type: Class
equivalent class: Class
  intersection of: Homo sapiens
  intersection of: Restriction
    on property: has role
    some values from: patient role

measurement unit label
type: Class
subclass of: datum label
editor preferred term: measurement unit label
example of usage: Examples of measurement unit labels are liters, inches, weight per volume.
has curation status: IAO_0000125
definition: A measurement unit label is as a label that is part of a scalar measurement datum and denotes a unit of measure.
editor note: 2009-03-16: provenance: a term measurement unit was proposed for OBI (OBI_0000176) , edited by Chris Stoeckert and Cristian Cocos, and subsequently moved to IAO where the objective for which the original term was defined was satisfied with the definition of this, different, term.
editor note: 2009-03-16: review of this term done during during the OBI workshop winter 2009 and the current definition was considered acceptable for use in OBI. If there is a need to modify this definition please notify OBI.
term editor: PERSON: Alan Ruttenberg
term editor: PERSON: Melanie Courtot

objective specification
type: Class
subclass of: directive information entity
editor preferred term: objective specification
example of usage: In the protocol of a ChIP assay the objective specification says to identify protein and DNA interaction.
has curation status: IAO_0000122
definition: a directive information entity that describes an intended process endpoint. When part of a plan specification the concretization is realized in a planned process in which the bearer tries to effect the world so that the process endpoint is achieved.
editor note: 2009-03-16: original definition when imported from OBI read: "objective is an non realizable information entity which can serve as that proper part of a plan towards which the realization of the plan is directed."
editor note: 2014-03-31: In the example of usage ("In the protocol of a ChIP assay the objective specification says to identify protein and DNA interaction") there is a protocol which is the ChIP assay protocol. In addition to being concretized on paper, the protocol can be concretized as a realizable entity, such as a plan that inheres in a person. The objective specification is the part that says that some protein and DNA interactions are identified. This is a specification of a process endpoint: the boundary in the process before which they are not identified and after which they are. During the realization of the plan, the goal is to get to the point of having the interactions, and participants in the realization of the plan try to do that.
editor note: Answers the question, why did you do this experiment?
term editor: PERSON: Alan Ruttenberg
term editor: PERSON: Barry Smith
term editor: PERSON: Bjoern Peters
term editor: PERSON: Jennifer Fostel
alternative term: goal specification
definition source: OBI Plan and Planned Process/Roles Branch
definition source: OBI_0000217

action specification
type: Class
subclass of: directive information entity
example of usage: Pour the contents of flask 1 into flask 2
has curation status: IAO_0000122
definition: a directive information entity that describes an action the bearer will take
term editor: Alan Ruttenberg
definition source: OBI Plan and Planned Process branch

datum label
type: Class
subclass of: information content entity
editor preferred term: datum label
has curation status: IAO_0000123
definition: A label is a symbol that is part of some other datum and is used to either partially define the denotation of that datum or to provide a means for identifying the datum as a member of the set of data with the same label
editor note: http://www.golovchenko.org/cgi-bin/wnsearch#4n
term editor: GROUP: IAO
curator note: 9/22/11 BP: changed the rdfs:label for this class from 'label' to 'datum label' to convey that this class is not intended to cover all kinds of labels (stickers, radiolabels, etc.), and not even all kind of textual labels, but rather the kind of labels occuring in a datum.

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

symbol
type: Class
subclass of: information content entity
editor preferred term: symbol
example of usage: a serial number such as "12324X"
example of usage: a stop sign
example of usage: a written proper name such as "OBI"
has curation status: IAO_0000125
definition: An information content entity that is a mark(s) or character(s) used as a conventional representation of another entity.
editor note: 20091104, MC: this needs work and will most probably change
editor note: 2014-03-31: We would like to have a deeper analysis of 'mark' and 'sign' in the future (see https://github.com/information-artifact-ontology/IAO/issues/154).
term editor: PERSON: James A. Overton
term editor: PERSON: Jonathan Rees
definition source: based on Oxford English Dictionary

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

directive information entity
type: Class
subclass of: information content entity
subclass of: Restriction
  on property: is about
  some values from: realizable entity
has curation status: IAO_0000122
definition: An information content entity whose concretizations indicate to their bearer how to realize them in a process.
editor note: 2009-03-16: provenance: a term realizable information entity was proposed for OBI (OBI_0000337) , edited by the PlanAndPlannedProcess branch. Original definition was "is the specification of a process that can be concretized and realized by an actor" with alternative term "instruction".It has been subsequently moved to IAO where the objective for which the original term was defined was satisfied with the definitionof this, different, term.
editor note: 2013-05-30 Alan Ruttenberg: What differentiates a directive information entity from an information concretization is that it can have concretizations that are either qualities or realizable entities. The concretizations that are realizable entities are created when an individual chooses to take up the direction, i.e. has the intention to (try to) realize it.
editor note: 8/6/2009 Alan Ruttenberg: Changed label from "information entity about a realizable" after discussions at ICBO
editor note: Werner pushed back on calling it realizable information entity as it isn't realizable. However this name isn't right either. An example would be a recipe. The realizable entity would be a plan, but the information entity isn't about the plan, it, once concretized, *is* the plan. -Alan
term editor: PERSON: Alan Ruttenberg
term editor: PERSON: Bjoern Peters

data set
type: Class
subclass of: data item
editor preferred term: data set
example of usage: Intensity values in a CEL file or from multiple CEL files comprise a data set (as opposed to the CEL files themselves).
has curation status: IAO_0000125
definition: A data item that is an aggregate of other data items of the same type that have something in common. Averages and distributions can be determined for data sets.
editor note: 2009/10/23 Alan Ruttenberg. The intention is that this term represent collections of like data. So this isn't for, e.g. the whole contents of a cel file, which includes parameters, metadata etc. This is more like java arrays of a certain rather specific type
editor note: 2014-05-05: Data sets are aggregates and thus must include two or more data items. We have chosen not to add logical axioms to make this restriction.
term editor: person:Allyson Lister
term editor: person:Chris Stoeckert
definition source: OBI_0000042
definition source: group:OBI

plan specification
type: Class
subclass of: directive information entity
subclass of: Restriction
  on property: has part
  some values from: objective specification
subclass of: Restriction
  on property: has part
  some values from: action specification
editor preferred term: plan specification
example of usage: PMID: 18323827.Nat Med. 2008 Mar;14(3):226.New plan proposed to help resolve conflicting medical advice.
has curation status: IAO_0000122
definition: A directive information entity with action specifications and objective specifications as parts that, when concretized, is realized in a process in which the bearer tries to achieve the objectives by taking the actions specified.
editor note: 2009-03-16: provenance: a term a plan was proposed for OBI (OBI_0000344) , edited by the PlanAndPlannedProcess branch. Original definition was " a plan is a specification of a process that is realized by an actor to achieve the objective specified as part of the plan". It has been subsequently moved to IAO where the objective for which the original term was defined was satisfied with the definitionof this, different, term.
editor note: 2014-03-31: A plan specification can have other parts, such as conditional specifications.
editor note: Alternative previous definition: a plan is a set of instructions that specify how an objective should be achieved
term editor: Alan Ruttenberg
definition source: OBI Plan and Planned Process branch
definition source: OBI_0000344
comment: 2/3/2009 Comment from OBI review. Action specification not well enough specified. Conditional specification not well enough specified. Question whether all plan specifications have objective specifications. Request that IAO either clarify these or change definitions not to use them

measurement datum
type: Class
subclass of: data item
editor preferred term: measurement datum
example of usage: Examples of measurement data are the recoding of the weight of a mouse as {40,mass,"grams"}, the recording of an observation of the behavior of the mouse {,process,"agitated"}, the recording of the expression level of a gene as measured through the process of microarray experiment {3.4,luminosity,}.
has curation status: IAO_0000125
definition: A measurement datum is an information content entity that is a recording of the output of a measurement such as produced by a device.
editor note: 2/2/2009 is_specified_output of some assay?
term editor: person:Chris Stoeckert
definition source: OBI_0000305
definition source: group:OBI

textual entity
type: Class
subclass of: information content entity
editor preferred term: textual entity
example of usage: Words, sentences, paragraphs, and the written (non-figure) parts of publications are all textual entities
has curation status: IAO_0000123
definition: A textual entity is a part of a manifestation (FRBR sense), a generically dependent continuant whose concretizations are patterns of glyphs intended to be interpreted as words, formulas, etc.
editor note: AR, (IAO call 2009-09-01): a document as a whole is not typically a textual entity, because it has pictures in it - rather there are parts of it that are textual entities. Examples: The title, paragraph 2 sentence 7, etc.
editor note: MC, 2009-09-14 (following IAO call 2009-09-01): textual entities live at the FRBR (http://en.wikipedia.org/wiki/Functional_Requirements_for_Bibliographic_Records) manifestation level. Everything is significant: line break, pdf and html versions of same document are different textual entities.
term editor: PERSON: Lawrence Hunter
alternative term: text

author identification
type: Class
subclass of: written name
editor preferred term: author identification
example of usage: L. Hunter
has curation status: IAO_0000125
definition: A textual entity intended to identify a particular author
term editor: PERSON: Lawrence Hunter

document
type: Class
subclass of: information content entity
editor preferred term: document
example of usage: A journal article, patent application, laboratory notebook, or a book
has curation status: IAO_0000120
definition: A collection of information content entities intended to be understood together as a whole
term editor: PERSON: Lawrence Hunter

document part
type: Class
subclass of: information content entity
subclass of: Restriction
  on property: part of
  some values from: document
editor preferred term: document part
example of usage: An abstract, introduction, method or results section.
has curation status: IAO_0000120
definition: an information content entity that is part of a document
term editor: PERSON: Lawrence Hunter

centrally registered identifier symbol
type: Class
subclass of: symbol
subclass of: Restriction
  on property: part of
  some values from: centrally registered identifier
example of usage: The sentence "The article has Pubmed ID 12345." contains a CRID that has two parts: one part is the CRID symbol, which is '12345'; the other part denotes the CRID registry, which is Pubmed.
has curation status: IAO_0000120
definition: A symbol that is part of a CRID and that is sufficient to look up a record from the CRID's registry.
term editor: PERSON: Alan Ruttenberg
term editor: PERSON: Bill Hogan
term editor: PERSON: Bjoern Peters
term editor: PERSON: Melanie Courtot
alternative term: CRID symbol
definition source: Original proposal from Bjoern, discussions at IAO calls

centrally registered identifier
type: Class
subclass of: information content entity
subclass of: Restriction
  on property: has part
  some values from: centrally registered identifier symbol
subclass of: Restriction
  on property: has part
  some values from: Restriction
    on property: denotes
    some values from: centrally registered identifier registry
example of usage: The sentence "The article has Pubmed ID 12345." contains a CRID that has two parts: one part is the CRID symbol, which is '12345'; the other part denotes the CRID registry, which is Pubmed.
has curation status: IAO_0000120
definition: An information content entity that consists of a CRID symbol and additional information about the CRID registry to which it belongs.
editor note: 2014-05-05: In defining this term we take no position on what the CRID denotes. In particular do not assume it denotes a *record* in the CRID registry (since the registry might not have 'records').
editor note: Alan, IAO call 20101124: potentially the CRID denotes the instance it was associated with during creation.
editor note: Note, IAO call 20101124: URIs are not always CRID, as not centrally registered. We acknowledge that CRID is a subset of a larger identifier class, but this subset fulfills our current needs. OBI PURLs are CRID as they are registered with OCLC. UPCs (Universal Product Codes from AC Nielsen)are not CRID as they are not centrally registered.
term editor: PERSON: Alan Ruttenberg
term editor: PERSON: Bill Hogan
term editor: PERSON: Bjoern Peters
term editor: PERSON: Melanie Courtot
alternative term: CRID
definition source: Original proposal from Bjoern, discussions at IAO calls

centrally registered identifier registry
type: Class
subclass of: data set
example of usage: PubMed is a CRID registry. It has a dataset of PubMed identifiers associated with journal articles.
has curation status: IAO_0000120
definition: A CRID registry is a dataset of CRID records, each consisting of a CRID symbol and additional information which was recorded in the dataset through a assigning a centrally registered identifier process.
term editor: PERSON: Alan Ruttenberg
term editor: PERSON: Bill Hogan
term editor: PERSON: Bjoern Peters
term editor: PERSON: Melanie Courtot
alternative term: CRID registry
definition source: Original proposal from Bjoern, discussions at IAO calls

written name
type: Class
subclass of: textual entity
editor preferred term: written name
example of usage: "Bill Clinton"
example of usage: "The Eiffel Tower"
example of usage: "United States of America"
has curation status: IAO_0000125
definition: A textual entity that denotes a particular in reality.
term editor: PERSON: Bill Hogan
definition source: https://github.com/information-artifact-ontology/IAO/issues/114
curator note: The qualifier "written" is to set it apart from spoken names. Also, note the restrictions to particulars. We are not naming universals. We could however, be naming, attributive collections which are particulars, so "All people located in the boundaries of the city of Little Rock, AR on June 18, 2011 at 9:50a CDT" would be a name.

Homo sapiens
type: Class
subclass of: organism
alternative term: human
alternative term: human being
alternative term: person
imported from: ncbitaxon.owl
has_exact_synonym: human
has_exact_synonym: man

planned process
type: Class
equivalent class: Restriction
  on property: realizes
  some values from: Restriction
    on property: concretizes
    some values from: plan specification
subclass of: process
editor preferred term: planned process
example of usage: Injecting mice with a vaccine in order to test its efficacy
has curation status: IAO_0000122
definition: A process that realizes a plan which is the concretization of a plan specification.
definition: A processual entity that realizes a plan which is the concretization of a plan specification.
editor note: 'Plan' includes a future direction sense. That can be problematic if plans are changed during their execution. There are however implicit contingencies for protocols that an agent has in his mind that can be considered part of the plan, even if the agent didn't have them in mind before. Therefore, a planned process can diverge from what the agent would have said the plan was before executing it, by adjusting to problems encountered during execution (e.g. choosing another reagent with equivalent properties, if the originally planned one has run out.)
editor note: We are only considering successfully completed planned processes. A plan may be modified, and details added during execution. For a given planned process, the associated realized plan specification is the one encompassing all changes made during execution. This means that all processes in which an agent acts towards achieving some objectives is a planned process.
term editor: Bjoern Peters
definition source: branch derived
curator note: 6/11/9: Edited at workshop. Used to include: is initiated by an agent
curator note: This class merges the previously separated objective driven process and planned process, as they the separation proved hard to maintain. (1/22/09, branch call)
imported from: obi.owl

patient role
type: Class
subclass of: role
subclass of: Restriction
  on property: inheres in
  some values from: Homo sapiens
editor preferred term: patient role
example of usage: a hospitalized person; a person with controlled diabetes; the patient's role http://www.fertilityjourney.com/testingAndDiagnosis/theRightDoctor/thePatientsRole/index.asp?C=55245395146924652778
has curation status: IAO_0000120
definition: a role which inheres in a person and is realized by the process of being under the care of a physician or health care provider
term editor: GROUP:Role Branch
alternative term: patient
definition source: OBI, CDISC
curator note: CDISC definition: patient. Person under a physician's care for a particular disease or condition. NOTE: A subject in a clinical trial is not necessarily a patient, but a patient in a clinical trial is a subject. See also subject, trial subject, healthy volunteer. Often used interchangeably

specimen role
type: Class
subclass of: role
subclass of: Restriction
  on property: inheres in
  some values from: Class
    intersection of: material entity
    intersection of: Restriction
      on property: is_specified_output_of
      some values from: specimen collection process
editor preferred term: specimen role
example of usage: liver section; a portion of a culture of cells; a nemotode or other animal once no longer a subject (generally killed); portion of blood from a patient.
has curation status: IAO_0000122
definition: a role borne by a material entity that is gained during a specimen collection process and that can be realized by use of the specimen in an investigation
editor note: 22Jun09. The definition includes whole organisms, and can include a human. The link between specimen role and study subject role has been removed. A specimen taken as part of a case study is not considered to be a population representative, while a specimen taken as representing a population, e.g. person taken from a cohort, blood specimen taken from an animal) would be considered a population representative and would also bear material sample role.
editor note: Note: definition is in specimen creation objective which is defined as an objective to obtain and store a material entity for potential use as an input during an investigation.
editor note: blood taken from animal: animal continues in study, whereas blood has role specimen. something taken from study subject, leaves the study and becomes the specimen.
editor note: parasite example - when parasite in people we study people, people are subjects and parasites are specimen - when parasite extracted, they become subject in the following study specimen can later be subject.
term editor: GROUP: Role Branch
definition source: OBI

organization
type: Class
subclass of: material entity
editor preferred term: organization
example of usage: PMID: 16353909.AAPS J. 2005 Sep 22;7(2):E274-80. Review. The joint food and agriculture organization of the United Nations/World Health Organization Expert Committee on Food Additives and its role in the evaluation of the safety of veterinary drug residues in foods.
has curation status: IAO_0000122
definition: An organization is a continuant entity which can play roles, has members, and has a set of organization rules. Members of organizations are either organizations themselves or individual people. Members can bear specific organization member roles that are determined in the organization rules. The organization rules also determine how decisions are made on behalf of the organization by the organization members.
editor note: BP: The definition summarizes long email discussions on the OBI developer, roles, biomaterial and denrie branches. It leaves open if an organization is a material entity or a dependent continuant, as no consensus was reached on that. The current placement as material is therefore temporary, in order to move forward with development. Here is the entire email summary, on which the definition is based: 1) there are organization_member_roles (president, treasurer, branch editor), with individual persons as bearers 2) there are organization_roles (employer, owner, vendor, patent holder) 3) an organization has a charter / rules / bylaws, which specify what roles there are, how they should be realized, and how to modify the charter/rules/bylaws themselves. It is debatable what the organization itself is (some kind of dependent continuant or an aggregate of people). This also determines who/what the bearer of organization_roles' are. My personal favorite is still to define organization as a kind of 'legal entity', but thinking it through leads to all kinds of questions that are clearly outside the scope of OBI. Interestingly enough, it does not seem to matter much where we place organization itself, as long as we can subclass it (University, Corporation, Government Agency, Hospital), instantiate it (Affymetrix, NCBI, NIH, ISO, W3C, University of Oklahoma), and have it play roles. This leads to my proposal: We define organization through the statements 1 - 3 above, but without an 'is a' statement for now. We can leave it in its current place in the is_a hierarchy (material entity) or move it up to 'continuant'. We leave further clarifications to BFO, and close this issue for now.
term editor: PERSON: Alan Ruttenberg
term editor: PERSON: Bjoern Peters
term editor: PERSON: Philippe Rocca-Serra
term editor: PERSON: Susanna Sansone
definition source: GROUP: OBI

scattered molecular aggregate
type: Class
subclass of: object aggregate
subclass of: material entity
subclass of: Restriction
  on property: has grain
  some values from: molecular entity
subclass of: Restriction
  on property: has grain
  all values from: molecular entity
editor preferred term: scattered molecular aggregate
example of usage: the sodium and chloride ions in a glass of salt water
has curation status: IAO_0000123
definition: A scattered molecular aggregate is a material entity that consists of all the molecules of a specific type that are located in some bounded region and which is part of a more massive material entity that has parts that are other such aggregates
definition: a material entity that consists of all the molecules of a specific type that are located in some bounded region and which is part of a more massive material entity that has parts that are other such aggregates
term editor: PERSON: Alan Ruttenberg
alternative term: Collective
definition source: Discussion in Karslruhe with, among others, Alan Rector, Stefan Schulz, Marijke Keet, Melanie Courtot, and Alan Ruttenberg. With inspiration from the paper Granularity, scale and collectivity: When size does and does not matter, Alan Recto, Jeremy Rogers, Thomas Bittner, Journal of Biomedical Informatics 39 (2006) 333-349

specimen collection process
type: Class
equivalent class: Class
  intersection of: planned process
  intersection of: Restriction
    on property: achieves_planned_objective
    some values from: specimen collection objective
subclass of: Restriction
  on property: has_specified_input
  some values from: material entity
subclass of: Restriction
  on property: has_specified_output
  some values from: specimen
example of usage: drawing blood from a patient for analysis, collecting a piece of a plant for depositing in a herbarium, buying meat from a butcher in order to measure its protein content in an investigation
has curation status: IAO_0000122
definition: A planned process with the objective of collecting a specimen.
editor note: Note: definition is in specimen creation objective which is defined as an objective to obtain and store a material entity for potential use as an input during an investigation.
editor note: Philly2013: A specimen collection can have as part a material entity acquisition, such as ordering from a bank. The distinction is that specimen collection necessarily involves the creation of a specimen role. However ordering cell lines cells from ATCC for use in an investigation is NOT a specimen collection, because the cell lines already have a specimen role.
editor note: Philly2013: The specimen_role for the specimen is created during the specimen collection process.
editor note: label changed to 'specimen collection process' on 10/27/2014, details see tracker: http://sourceforge.net/p/obi/obi-terms/716/
term editor: Bjoern Peters
alternative term: specimen collection
curator note: 5/31/2012: This process is not necessarily an acquisition, as specimens may be collected from materials already in posession
curator note: 6/9/09: used at workshop

specimen collection objective
type: Class
subclass of: objective specification
example of usage: The objective to collect bits of excrement in the rainforest. The objective to obtain a blood sample from a patient.
has curation status: IAO_0000122
definition: A objective specification to obtain a material entity for potential use as an input during an investigation.
term editor: Bjoern Peters
definition source: Bjoern Peters

dose specification
type: Class
subclass of: directive information entity
subclass of: Restriction
  on property: has value specification
  some values from: Class
    union of: active ingredient mass value specification
    union of: drug product object count specification
    union of: drug product volume value specification
    union of: drug product mass value specification
    union of: pharmacological unit value specification
    union of: active ingredient molar value specification
editor preferred term: dose specification
example of usage: a protocol specifying to administer 1 ml of vaccine to a mouse
has curation status: IAO_0000123
definition: a directive information entity that describes the dose that will be administered to a target
label: spécification de dose @fr

individual organism identifier
type: Class
subclass of: centrally registered identifier symbol
editor preferred term: individual organism identifier
has curation status: IAO_0000120
definition: a CRID symbol used to distinguish one individual organism from another.
term editor: PERSON: Chris Stoeckert, Jie Zheng
definition source: MO_169 Individual

mass value specification
type: Class
subclass of: scalar value specification
subclass of: Restriction
  on property: specifies value of
  some values from: mass
subclass of: Restriction
  on property: has measurement unit label
  all values from: mass unit
definition: A value specification that specifies the mass of some thing.
term editor: PERSON:Bjoern Peters

categorical value specification
type: Class
subclass of: value specification
has curation status: IAO_0000123
definition: A value specification that is specifies one category out of a fixed number of nominal categories
term editor: PERSON:Bjoern Peters

scalar value specification
type: Class
subclass of: value specification
subclass of: Restriction
  on property: has measurement unit label
  min cardinality: 1
subclass of: Restriction
  on property: has specified numeric value
  min cardinality: 1
has curation status: IAO_0000123
definition: A value specification that consists of two parts: a numeral and a unit label
term editor: PERSON:Bjoern Peters

value specification
type: Class
subclass of: information content entity
example of usage: The value of 'positive' in a classification scheme of "positive or negative"; the value of '20g' on the quantitative scale of mass.
has curation status: IAO_0000122
definition: An information content entity that specifies a value within a classification scheme or on a quantitative scale.
editor note: This term is currently a descendant of 'information content entity', which requires that it 'is about' something. A value specification of '20g' for a measurement data item of the mass of a particular mouse 'is about' the mass of that mouse. However there are cases where a value specification is not clearly about any particular. In the future we may change 'value specification' to remove the 'is about' requirement.
term editor: PERSON:Bjoern Peters

collection of specimens
type: Class
equivalent class: Class
  intersection of: material entity
  intersection of: Restriction
    on property: has member
    all values from: specimen
subclass of: material entity
editor preferred term: collection of specimens
example of usage: Blood cells collected from multiple donors over the course of a study.
has curation status: IAO_0000125
definition: A material entity that has two or more specimens as its parts.
editor note: Details see tracker: https://sourceforge.net/p/obi/obi-terms/778/
term editor: Person: Chris Stoeckert, Jie Zheng
definition source: OBIB, OBI
source: Biobank

volume value specification
type: Class
subclass of: value specification
subclass of: Class
  intersection of: Restriction
    on property: specifies value of
    some values from: volume
  intersection of: Restriction
    on property: has measurement unit label
    all values from: volume unit
editor preferred term: volume value specification
has curation status: IAO_0000122
definition: A value specification that specifies the volume of some thing.
definition: Une spécification de valeur qui indique un volume. @fr
term editor: Chris Stoeckert
definition source: OBI
label: spécification de valeur de volume @fr

organism
type: Class
subclass of: object
editor preferred term: organism
example of usage: animal
example of usage: fungus
example of usage: plant
example of usage: virus
has curation status: IAO_0000121
has curation status: IAO_0000122
definition: 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.
editor note: 10/21/09: This is a placeholder term, that should ideally be imported from the NCBI taxonomy, but the high level hierarchy there does not suit our needs (includes plasmids and 'other organisms')
editor note: 13-02-2009: OBI doesn't take position as to when an organism starts or ends being an organism - e.g. sperm, foetus. This issue is outside the scope of OBI.
term editor: GROUP: OBI Biomaterial Branch
definition source: WEB: http://en.wikipedia.org/wiki/Organism
imported from: http://purl.obolibrary.org/obo/obi.owl

specimen
type: Class
equivalent class: Class
  intersection of: material entity
  intersection of: Restriction
    on property: has role
    some values from: specimen role
editor preferred term: specimen
example of usage: Biobanking of blood taken and stored in a freezer for potential future investigations stores specimen.
has curation status: IAO_0000122
definition: A material entity that has the specimen role.
editor note: Note: definition is in specimen creation objective which is defined as an objective to obtain and store a material entity for potential use as an input during an investigation.
term editor: PERSON: James Malone
term editor: PERSON: Philippe Rocca-Serra
definition source: GROUP: OBI Biomaterial Branch

symptom
type: Class
subclass of: entity
definition: 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.
editor note: note: defined class
definition source: http://ontology.buffalo.edu/medo/Disease_and_Diagnosis.pdf
curator note: creation date: 2010-11-18T11:02:10Z

sign
type: Class
subclass of: entity
definition: A quality of a patient, a material entity that is part of a patient, or a processual entity that a patient participates in, any one of which is observed in a physical examination and is deemed by the clinician to be of clinical significance.
editor note: note: defined class
term editor: Albert Goldfain
definition source: http://ontology.buffalo.edu/medo/Disease_and_Diagnosis.pdf
curator note: creation date: 2010-11-18T11:14:36Z

configuration
type: Class
subclass of: quality
definition: A quality which is an spatial arrangement or distribution of a(n) independent continuant(s) across a Three Dimensional Region.
term editor: Albert Goldfain
definition source: http://ontology.buffalo.edu/medo/Disease_and_Diagnosis.pdf
curator note: creation date: 2009-06-23T11:36:24Z

treatment
type: Class
subclass of: planned process
subclass of: Restriction
  on property: realizes
  some values from: Class
    intersection of: realizable entity
    intersection of: Restriction
      on property: concretizes
      some values from: Class
        intersection of: plan specification
        intersection of: Restriction
definition: A planned process whose completion is hypothesized by a health care provider to eliminate, prevent, or alleviate the signs and symptoms of a disorder or pathological process
definition: A processual entity whose completion is hypothesized (by a healthcare provider) to alleviate the signs and symptoms associated with a disorder
term editor: Albert Goldfain
definition source: http://code.google.com/p/ogms/issues/detail
curator note: creation date: 2010-03-31T04:51:11Z
imported from: http://purl.obolibrary.org/obo/ogms.owl

health care encounter
type: Class
subclass of: planned process
definition: A temporally-connected health care process that has as participants an organization or person realizing the health care provider role and a person realizing the patient role. The health care provider role and patient are realized during the health care encounter
term editor: Albert Goldfain
definition source: http://groups.google.com/group/ogms-discuss/browse_thread/thread/a2dbc2ed1dff99d6
curator note: creation date: 2011-02-21T09:57:44Z

disease prophylaxis
type: Class
subclass of: planned process
subclass of: Restriction
  on property: realizes
  some values from: Class
    intersection of: realizable entity
    intersection of: Restriction
      on property: concretizes
      some values from: Class
        intersection of: plan specification
        intersection of: Restriction
definition: A planned process whose completion is hypothesized by a health care provider to reduce the risk of developing a disorder or the signs and symptoms of a disorder.
editor note: Whether or not 'prophylaxis' and 'treatment' classes are disjoint is an open question.
term editor: Albert Goldfain
definition source: http://groups.google.com/group/ogms-discuss/browse_thread/thread/e42bde79218ee34e
curator note: creation date: 2011-09-20T09:57:44Z

survey data
type: Class
equivalent class: Restriction
  on property: is_specified_output_of
  all values from: survey execution
subclass of: data item
definition: A data set that contains the outcome of a survey.
term editor: Alice Nzinga
term editor: Mathias Brochhausen

survey plan specification
type: Class
subclass of: plan specification
definition: A plan specification that is realized by process of gathering information (e.g. by asking questions).
term editor: Alice Nzinga
term editor: Mathias Brochhausen

medical record
type: Class
subclass of: document
definition: A document that contains information representing health-relevant qualities of a patient written in a chronological manner and that is primarily used for patient care in a clinical setting.
term editor: Martin Fransson
comment: It is a chronological written account of examination, treatment, medical history or complaints.
comment: It is used interchangeably with health record and medical chart. https://en.wikipedia.org/wiki/Medical_record

survey execution
type: Class
equivalent class: Class
  intersection of: planned process
  intersection of: Restriction
    on property: realizes
    some values from: Restriction
      on property: concretizes
      some values from: survey plan specification
  intersection of: Restriction
    on property: has_specified_output
    some values from: survey data
subclass of: planned process
definition: A planned process that realizes the concretization of a survey to generate an output(survey data.)

human health care role
type: Class
subclass of: role in human social processes
subclass of: Restriction
  on property: realized in
  some values from: health care encounter
definition: A role in human social processes that is realized by health care processes such as seeking or providing treatment for disease and injury, diagnosing disease and injury, or undergoing diagnosis.
term editor: William R. Hogan
alternative term: health care role
comment: Mathias Brochhausen

health care provider role
type: Class
subclass of: human health care role
subclass of: Class
  intersection of: Restriction
    on property: inheres in
    some values from: Class
      union of: Homo sapiens
      union of: organization
  intersection of: Restriction
    on property: inheres in
    all values from: Class
      union of: Homo sapiens
      union of: organization
definition: A human health care role inhering in an organization or human being that is realized by a process of providing health care services to an organism.
term editor: Mathias Brochhausen
comment: William R. Hogan

health care provider organization role
type: Class
subclass of: organization health care role
subclass of: Restriction
  on property: realized in
  some values from: health care encounter
definition: A role that inheres in an organization and that is realized by the providing of services in a health care encounter.
contributor: Mathias Brochhausen
creator: Amanda Hicks

aggregate of objectual organisms
type: Class
subclass of: object aggregate
definition: An object aggregate of objectual organisms.
comment: Any arbitrary collection of organisms. They need not be of the same taxonomic class.

collection of humans
type: Class
subclass of: aggregate of objectual organisms
comment: An object aggregate all of whose components are human beings.

role in human social processes
type: Class
subclass of: role
subclass of: Restriction
  on property: inheres in
  some values from: Class
    union of: organization
    union of: organism
subclass of: Restriction
  on property: inheres in
  all values from: Class
    union of: organization
    union of: organism
definition: A role inhering in an entity realized by social interactions in human society.
term editor: Mathias Brochhausen
comment: Previous definition: A role played by an entity in human social processes.

organization social role
type: Class
subclass of: role in human social processes
subclass of: Restriction
  on property: inheres in
  some values from: organization
definition: A role in human social processes that inheres in an organization.
term editor: William R. Hogan
comment: Defined class that we will ultimately move to an application ontology. We are leaving here for now until we determine which application ontology: it is likely going to be an ontology that does not currently (2012-06-05) exist. Ditto for its current descendants.

organization health care role
type: Class
subclass of: organization social role
definition: An organization social role that is realized by a health care process.
comment: Previous definition: An organization social role played by an organization in health care processes.

aggregate of organizations
type: Class
equivalent class: Class
  intersection of: Class
    complement of: organization
  intersection of: Restriction
    on property: is-aggregate-of
    all values from: organization
  intersection of: Restriction
    on property: is-aggregate-of
    min qualified cardinality: 2
    on class: organization
subclass of: material entity
definition: An object aggregate that is not itself an organization and whose members are only organizations that have some feature in common
term editor: William R. Hogan Amanda Hicks
comment: It is often convenient to group organizations together that otherwise might not even interact with one another.

material entity role
type: Class
equivalent class: Class
  intersection of: role
  intersection of: Restriction
    on property: inheres in
    some values from: material entity
subclass of: Restriction
  on property: inheres in
  all values from: material entity

organism role
type: Class
equivalent class: Class
  intersection of: material entity role
  intersection of: Restriction
    on property: inheres in
    some values from: organism
subclass of: Restriction
  on property: inheres in
  all values from: organism

Homo sapiens role
type: Class
equivalent class: Class
  intersection of: organism role
  intersection of: Restriction
    on property: inheres in
    some values from: Homo sapiens
subclass of: Restriction
  on property: inheres in
  all values from: Homo sapiens

organization role
type: Class
equivalent class: Class
  intersection of: role
  intersection of: Restriction
    on property: inheres in
    some values from: organization
subclass of: material entity role
subclass of: Restriction
  on property: inheres in
  all values from: organization

architectural structure
type: Class
subclass of: material entity
definition: A material entity that is a human made strcuture with firm connection between its foundation and the ground.
term editor: Mathias Brochhausen
definition source: http://de.wikipedia.org/wiki/Bauwerk
comment: "Building" is a subclass of this.
comment: This type of entity is referred to as "Bauwerk" or "Bauliche Anlage".

facility
type: Class
equivalent class: Class
  intersection of: architectural structure
  intersection of: Restriction
    on property: bearer of
    some values from: function
subclass of: architectural structure
subclass of: Restriction
  on property: is administered by
  some values from: organization
definition: An architectural structure that bears some function.
term editor: Mathias Brochhausen

Axiom
annotated source: facility
annotated property: subClassOf
annotated target: Restriction
  on property: is administered by
  some values from: organization
version info: 09/09/2017

health care facility
type: Class
subclass of: facility
subclass of: Class
  union of: Class
    intersection of: facility
    intersection of: Restriction
      on property: is owned by
      some values from: Restriction
        on property: bearer of
        some values from: health care provider organization role
  union of: Restriction
    on property: is administered by
    some values from: Restriction
      on property: bearer of
      some values from: health care provider organization role
term editor: A facility bearing the function to provide healthcare and that is administered by a health care organization for the purpose of providing health care to a patient or patient population.
term editor: William Hogan

health care function
type: Class
equivalent class: Class
  intersection of: function
  intersection of: Restriction
    on property: realized in
    some values from: health care encounter
subclass of: function

person name
type: Class
subclass of: textual entity
subclass of: Restriction
  on property: is about
  some values from: Homo sapiens
definition: A name of a person, which can have different types
alternative term: human name
definition source: https://en.wikipedia.org/wiki/Personal_name

person first name
type: Class
subclass of: person name
alternative term: Christian name
alternative term: forename
alternative term: given name
definition source: https://en.wikipedia.org/wiki/Personal_name

person last name
type: Class
subclass of: person name
alternative term: family name
alternative term: surname
definition source: https://en.wikipedia.org/wiki/Personal_name

person middle name
type: Class
subclass of: person name
definition source: https://en.wikipedia.org/wiki/Personal_name

person full name
type: Class
subclass of: person name
definition source: https://en.wikipedia.org/wiki/Personal_name

birth name
type: Class
subclass of: person name
definition: A person name that is given at birth

maiden name
type: Class
subclass of: person last name
definition: A woman's surname before marriage
term editor: Edison Ong, Oliver He
definition source: https://en.wikipedia.org/wiki/Maiden_and_married_names

person first and last name
type: Class
subclass of: person name
definition: A person name that includes both the first and last name
term editor: Edison Ong, Oliver He
alternative term: first and last name
alternative term: human first and last name

quality
type: Class
subclass of: specifically dependent continuant
definition: A dependent entity that inheres in a bearer by virtue of how the bearer is related to other entities
IAO_0000589: quality (PATO)
has alternative id: PATO:0000072
has OBO namespace: quality
id: PATO:0000001

Axiom
annotated source: quality
annotated property: definition
annotated target: A dependent entity that inheres in a bearer by virtue of how the bearer is related to other entities
has db xref: PATOC:GVG

morphology
type: Class
subclass of: physical object quality
definition: A quality of a single physical entity inhering in the bearer by virtue of the bearer's size or shape or structure.
has OBO namespace: quality
id: PATO:0000051
in subset: attribute slim

Axiom
annotated source: morphology
annotated property: definition
annotated target: A quality of a single physical entity inhering in the bearer by virtue of the bearer's size or shape or structure.
has db xref: PATOC:GVG

size
type: Class
subclass of: morphology
definition: A morphology quality inhering in a bearer by virtue of the bearer's physical magnitude.
has OBO namespace: quality
id: PATO:0000117
in subset: attribute slim
in subset: scalar slim

Axiom
annotated source: size
annotated property: definition
annotated target: A morphology quality inhering in a bearer by virtue of the bearer's physical magnitude.
has db xref: WordNet:WordNet

mass
type: Class
subclass of: physical quality
definition: A physical quality that inheres in a bearer by virtue of the proportion of the bearer's amount of matter.
has OBO namespace: quality
id: PATO:0000125
in subset: attribute slim
in subset: relational slim
in subset: scalar slim

Axiom
annotated source: mass
annotated property: definition
annotated target: A physical quality that inheres in a bearer by virtue of the proportion of the bearer's amount of matter.
has db xref: PATOC:GVG

volume
type: Class
subclass of: 3-D extent
definition: A 3-D extent quality inhering in a bearer by virtue of the bearer's amount of 3-dimensional space it occupies.
has OBO namespace: quality
id: PATO:0000918
in subset: attribute slim
in subset: mpath slim
in subset: scalar slim

Axiom
annotated source: volume
annotated property: definition
annotated target: A 3-D extent quality inhering in a bearer by virtue of the bearer's amount of 3-dimensional space it occupies.
has db xref: PATOC:GVG

physical quality
type: Class
subclass of: physical object quality
definition: A quality of a physical entity that exists through action of continuants at the physical level of organisation in relation to other entities.
has alternative id: PATO:0002079
has db xref: Wikipedia:Physical_property
has_exact_synonym: relational physical quality
has OBO namespace: quality
id: PATO:0001018
in subset: attribute slim

Axiom
annotated source: physical quality
annotated property: definition
annotated target: A quality of a physical entity that exists through action of continuants at the physical level of organisation in relation to other entities.
has db xref: PATOC:GVG

physical object quality
type: Class
subclass of: quality
definition: A quality which inheres in a continuant.
has alternative id: PATO:0001237
has alternative id: PATO:0001238
has db xref: snap:Quality
has_exact_synonym: monadic quality of a continuant
has_exact_synonym: multiply inhering quality of a physical entity
has_exact_synonym: quality of a continuant
has_exact_synonym: quality of a single physical entity
has_exact_synonym: quality of an object
has_exact_synonym: quality of continuant
has narrow synonym: monadic quality of an object
has narrow synonym: monadic quality of continuant
has OBO namespace: quality
id: PATO:0001241
comment: Relational qualities are qualities that hold between multiple entities. Normal (monadic) qualities such as the shape of a eyeball exist purely as a quality of that eyeball. A relational quality such as sensitivity to light is a quality of that eyeball (and connecting nervous system) as it relates to incoming light waves/particles.

Axiom
annotated source: physical object quality
annotated property: definition
annotated target: A quality which inheres in a continuant.
has db xref: PATOC:GVG

cellular quality
type: Class
subclass of: physical object quality
definition: A monadic quality of continuant that exists at the cellular level of organisation.
has OBO namespace: quality
id: PATO:0001396

Axiom
annotated source: cellular quality
annotated property: definition
annotated target: A monadic quality of continuant that exists at the cellular level of organisation.
has db xref: PATOC:GVG

nucleate quality
type: Class
subclass of: cellular quality
definition: A cellular quality inhering in a bearer by virtue of bearer's number of nuclei.
has OBO namespace: quality
id: PATO:0001404
in subset: attribute slim

Axiom
annotated source: nucleate quality
annotated property: definition
annotated target: A cellular quality inhering in a bearer by virtue of bearer's number of nuclei.
has db xref: PATOC:GVG

anucleate
type: Class
subclass of: nucleate quality
definition: A nucleate quality inhering in a bearer by virtue of the bearer's having no nucleus.
has OBO namespace: quality
id: PATO:0001405
in subset: cell quality
in subset: mpath slim
in subset: value slim

Axiom
annotated source: anucleate
annotated property: definition
annotated target: A nucleate quality inhering in a bearer by virtue of the bearer's having no nucleus.
has db xref: Biology-online:Biology-online

3-D extent
type: Class
subclass of: size
definition: A size quality inhering in an bearer by virtue of the bearer's extension in three dimensions.
has_exact_synonym: 3D size
has OBO namespace: quality
id: PATO:0001710
in subset: attribute slim

Axiom
annotated source: 3-D extent
annotated property: definition
annotated target: A size quality inhering in an bearer by virtue of the bearer's extension in three dimensions.
has db xref: PATOC:GVG

time elapsed since dispensing condition
type: Class
subclass of: time elapsed condition
has curation status: IAO_0000123
definition: a condition describing the time elapsed since a drug dispensing process.
definition: une condition de temps écoulé depuis une distribution de médicaments. @fr
label: condition indiquant le temps écoulé depuis une distribution @fr

health care prescription
type: Class
subclass of: document
subclass of: Class
  intersection of: Restriction
    on property: has part
    some values from: author identification
  intersection of: Restriction
    on property: has part
    some values from: document creation time identification
  intersection of: Restriction
    on property: has part
    some values from: Class
      union of: medical record identifier
      union of: patient identification
subclass of: Restriction
  on property: mentions
  some values from: Class
    intersection of: Homo sapiens
    intersection of: Restriction
      on property: bearer of
      some values from: patient role
disjoint with: pharmacist drug administration specification instruction
example of usage: "For patient: Mr Smith, should exercise for at least 30 minutes, 3 times weekly. signed Dr. Ronnie Shuz. Date: 15/11/01"
has curation status: IAO_0000120
definition: A document authored by a health care provider that specifies how to realize some health care process for a particular patient.
definition: Un document créé par un fournisseur de soin indiquant comment réaliser une partie d'un processus de santé pour un patient particulier. @fr
has synonym: prescription
label: prescription de santé @fr

prescriber identification
type: Class
subclass of: written name
has curation status: IAO_0000123
definition: An author identification where the author is a particular health care provider and the document authored is a prescription.
definition: Une identification d'auteur où l'auteur est un fournisseur de soins particulier et le document en question est une prescription. @fr
label: identification de prescripteur @fr

patient identification
type: Class
subclass of: written name
subclass of: Restriction
  on property: has part
  some values from: Class
    union of: health insurance identifier
    union of: person full name
subclass of: Restriction
  on property: denotes
  qualified cardinality: 1
  on class: patient
has curation status: IAO_0000123
definition: A written name denoting a particular patient.
definition: Un nom écrit faisant référence à un patient particulier. @fr
label: identification d'un patient @fr

active ingredient aggregate mass
type: Class
subclass of: mass
subclass of: Restriction
  on property: inheres in
  some values from: active ingredient aggregate
has curation status: IAO_0000120
definition: La masse d'un aggrégat d'ingrédient actif. @fr
definition: The mass of an active ingredient aggregate.
label: masse d'aggrégat d'ingrédient actif @fr

document creation time identification
type: Class
subclass of: textual entity
subclass of: Restriction
  on property: denotes
  some values from: one-dimensional temporal region
has curation status: IAO_0000123
definition: A textual entity that denotes the time of document creation.
definition: Une entité textuelle indiquant l'instant de création d'un document. @fr
elucidation: the granular time at which the author considers the document whole, ie ready for interpretation
label: identification de l'instant de création d'un document @fr

health care prescription time identification
type: Class
equivalent class: Class
  intersection of: document creation time identification
  intersection of: Restriction
    on property: part of
    some values from: health care prescription
has curation status: IAO_0000123
definition: A document creation time identification where the document is a prescription.
definition: Une identification de l'instant de création d'un document qui est une prescription médicale. @fr
label: identification du temps de création d'une prescription médicale @fr

drug administration and dispensing specification
type: Class
subclass of: directive information entity
definition: A directive information entity that is composed by a drug administration specification and a drug dispensing specification.
definition: Une entité informationnelle directive qui est composée par une spécification d’administration de médicament et une spécification de distribution de médicament. @fr
label: spécification de distribution et d’administration de médicament @fr

prescribed site of drug administration specification
type: Class
equivalent class: Class
  intersection of: site of drug administration specification
  intersection of: Restriction
    on property: part of
    some values from: Class
      intersection of: drug administration specification
      intersection of: Restriction
        on property: part of
        some values from: drug prescription
definition: A site of drug administration specification that is part of a drug administration specification in a drug prescription.
definition: Une spécification de site d’administration de médicament dans une spécification d'administration de médicament faisant partie d'une prescription de médicament. @fr
label: spécification de site d’administration de médicament prescrit @fr

drug product characteristic specification
type: Class
subclass of: information content entity
has curation status: IAO_0000123
definition: An information content entity that specifies one or several characteristics of a drug product.
definition: Une entité de contenu informationnel qui spécifie une caractéristique d’un médicament prescrit. @fr
label: caractérisation de médicament prescrit @fr

drug product information item
type: Class
subclass of: data item
subclass of: Restriction
  on property: is about
  some values from: drug product
has curation status: IAO_0000123
definition: A data item that is about a drug product.
definition: Un élément de données qui fournit une information sur un médicament. @fr
comment: To be used to describe a specific entity. For example the pill that Mr Smith took last night. On a prescription an ICE concretized by a similar string would only be a specification but not a data item as it is about a class rather than a particular.
label: élément d'information sur un médicament @fr

drug treatment
type: Class
equivalent class: Class
  intersection of: treatment
  intersection of: Restriction
    on property: has part
    some values from: dose administration
example of usage: John Smith taking 1 mg of Ativan from his dosette every 12 hours, alleviating the anxiety produced by his usual routine at a long-term care facility, as hypothesized by his physician, Dr. Hazard.
has curation status: IAO_0000120
definition: A treatment composed of one or more dose administrations.
definition: Un traitement composé d'une ou plusieurs administrations de doses. @fr
label: traitement médicamenteux @fr

temporal instant specification
type: Class
subclass of: value specification
subclass of: Restriction
  on property: is about
  some values from: zero-dimensional temporal region
example of usage: "5 PM on January 1st 2016"
has curation status: IAO_0000423
definition: A value specification that specifies a temporal instant.
definition: Une spécification de valeur qui spécifie un instant temporel. @fr
label: spécification d'instant temporel @fr

route of administration specification
type: Class
subclass of: information content entity
subclass of: Restriction
  on property: is about
  some values from: drug administration
subclass of: Restriction
  on property: has value specification
  some values from: route of administration category specification
example of usage: "IM or IV" in "Administrate IM or IV"
has curation status: IAO_0000123
definition: An information content entity that specifies the route(s) of administration of a drug product.
definition: Une entité informationnelle indiquant la ou les voies d'administration d'un médicament. @fr
alternative term: mode of administration specification
label: spécification de voie d'administration @fr

active ingredient mass value specification
type: Class
subclass of: mass value specification
subclass of: Restriction
  on property: is about
  some values from: active ingredient aggregate mass
example of usage: "1 mg" (of lorazepam), "5 mg" (of metoprolol)
has curation status: IAO_0000123
definition: A mass value specification that specifies the mass of an active ingredient aggegate.
definition: Une spécification de valeur de masse indiquant la masse d'un aggrégat d'ingrédient actif. @fr
label: spécification de valeur de masse d'ingrédient actif @fr

drug strength specification
type: Class
subclass of: drug product characteristic specification
example of usage: "80mg" in "Aspirin 80mg oral tablet"
has curation status: IAO_0000123
definition: An information content entity that specifies the strength of a drug product.
definition: Une entité de contenu informationnel qui spécifie la force d’un médicament prescrit. @fr
label: spécification de force médicamenteuse @fr

drug prescription
type: Class
subclass of: health care prescription
subclass of: Restriction
  on property: has part
  some values from: prescriber identification
subclass of: Restriction
  on property: has part
  some values from: drug prescription item
example of usage: "Prescription for John Smith : Ativan 2mg tablets, take 1 tablet twice daily by mouth as needed if anxious, dispense 60 tablets, renew 12 times. Signed by Dr Hazard. Date: 15/10/29"
has curation status: IAO_0000120
definition: A health care prescription specifying the initiation, modification or cessation of a drug administration.
definition: Une ordonnance indiquant une initiation, modification ou arrêt de l'administration de médicaments. @fr
label: prescription de médicaments @fr

drug strength item
type: Class
subclass of: drug product information item
subclass of: Restriction
  on property: has part
  some values from: Class
    union of: active ingredient mass value specification
    union of: pharmacological unit value specification
    union of: active ingredient molar value specification
has curation status: IAO_0000123
definition: A drug product information item that is about one or more magnitudes of biological activity, masses or quantities of active ingredient aggregate per unit quantity of a drug product.
definition: Un élément d'information sur un médicament à propos de une ou plusieurs magnitudes d'activité biologique, masses ou quantités d'aggrégat d'ingrédient actif par unité de médicament. @fr
label: élément d'information de force médicamenteuse @fr

drug strength per discrete dose form item
type: Class
equivalent class: Class
  intersection of: drug strength item
  intersection of: Restriction
    on property: has part
    some values from: drug product object count specification
example of usage: "1 mg of lorazepam per tablet" "21 mg of nicotine per patch" "This tablet contains 12.5 mg of hydrochlorothiazide and 4 mg of perindopril" is one instance of drug strength per discrete dose form, that has part two active ingredient mass specifications.
has curation status: IAO_0000120
definition: A drug strength item where the unit quantity is a discrete solid dose form.
definition: Un élément d'information de force médicamenteuse où l'unité de quantité de médicament est une forme de dose médicamenteuse solide et discrète. @fr
label: élément d'information de force médicamenteuse par forme discrète @fr

drug strength per volume unit item
type: Class
equivalent class: Class
  intersection of: drug strength item
  intersection of: Restriction
    on property: has part
    some values from: drug product volume value specification
example of usage: "500 mg/mL liquid"
has curation status: IAO_0000120
definition: A drug strength item where the unit quantity is a unit of volume.
definition: Un élément d'information de force médicamenteuse où l'unité de quantité de médicament est une unité de volume. @fr
label: élément d'information de force médicamenteuse par unité de volume @fr

drug strength per mass unit item
type: Class
equivalent class: Class
  intersection of: drug strength item
  intersection of: Restriction
    on property: has part
    some values from: drug product mass value specification
example of usage: "60 mg/g powder"
has curation status: IAO_0000120
definition: A drug strength item where the unit quantity is the mass of the drug product.
definition: Un élément d'information de force médicamenteuse où l'unité de quantité de médicament est une unité de masse. @fr
label: élément d'information de force médicamenteuse par unité de masse @fr

duration of administration specification
type: Class
subclass of: information content entity
subclass of: Restriction
  on property: has part
  some values from: temporal duration specification
editor preferred term: duration of dose administration specification
example of usage: "inject over 30 seconds" "infuse over 12 hours"
has curation status: IAO_0000123
definition: An information content entity that specifies the duration during which a dose should be administered continuously.
definition: Une entité de contenu informationnel qui spécifie la durée pendant laquelle une dose doit être administrée de manière continue. @fr
elucidation: This class is meant to be used in cases where the quantity of drug product to be delivered during a single dose administration is prescribed in advance and the dose administration process has a clear end in time relative to the beginning of the process (such that if one knows the instant it started, one would know the instant it ended and vice versa). e.g. 500cc of NS over 2 hours x1
label: spécification de durée d'administration de dose @fr

initial rate of administration specification
type: Class
subclass of: rate of administration specification
subclass of: Restriction
  on property: has part
  some values from: drug product volumetric flow rate value specification
example of usage: 'begin administration at 50cc/h'
has curation status: IAO_0000123
definition: An information content entity that specifies the initial rate at which a dose should be administered.
definition: Une entité de contenu informationnel qui spécifie le taux initial auquel une dose doit être administrée. @fr
label: spécification de débit initial d'administration de dose @fr

drug active ingredient item
type: Class
subclass of: drug product information item
subclass of: Restriction
  on property: has part
  some values from: active ingredient name
example of usage: "lorazepam" in "This tablet of Ativan 1 mg contains lorazepam" "acetaminophen" in "This tablet of Tylenol 500mg contains acetaminophen"
has curation status: IAO_0000123
definition: A drug product information item that is about an active ingredient in a drug product.
definition: Un élément d'information sur un médicament dénotant un de ses ingrédients. @fr
label: élément d'information d'ingrédient médicamenteux @fr

non-generic drug product proprietary label
type: Class
subclass of: drug product proprietary label
subclass of: Restriction
  on property: is about
  some values from: non-generic drug product
disjoint with: generic drug product proprietary label
example of usage: 'Lopresor'
has curation status: IAO_0000123
definition: A drug product name given to a non-generic drug product by the pharmaceutical company that produces it.
definition: Un nom de médicament non-générique donné par l'entreprise pharmaceutique qui le produit. @fr
label: nom propriétaire d'un médicament non-générique @fr

drug dose form item
type: Class
subclass of: drug product information item
example of usage: eg. oral tablet, topical cream, IV liquid, oral liquid
has curation status: IAO_0000123
definition: A drug product information item that is about a dose form of a drug product.
definition: Un élément d'information sur un médicament concernant sa forme (par exemple pilule orale, crème topique, liquide intraveineux, liquide oral). @fr
editor note: This will need to be divided into an item referring to the 3D configuration of a dose and an item referring to the vehicle that dose is contained in.
alternative term: dose form item
label: élément d'information de forme médicamenteuse @fr

dose administration
type: Class
subclass of: process
example of usage: John Smith swallowing a 1mg lorazepam tablet. The continuous infusion of 450 mg of amiodarone over 12 hours into a vein of Harry Thymia
has curation status: IAO_0000120
definition: A process that has as participants an extended organism and a drug product and that results in a specified portion of the drug product (a single dose) being located in the extended organism.
definition: Un processus ayant comme participants un organisme étendu et un médicament, à l'issue de laquelle une certaine dose du médicament est localisée dans l'organisme étendu. @fr
editor note: This class should be re-classified under DRON:drug administration if it is made a subclass of process. See PDRO note in drug administration.
label: administration de dose @fr

presence of sign condition
type: Class
subclass of: condition
subclass of: Restriction
  on property: is about
  some values from: sign
example of usage: "if patient is agitated"
has curation status: IAO_0000120
definition: Une condition qui est vraie si et seulement si un certain signe est présent chez un individu. @fr
definition: a condition that is true if and only if some sign is present in an individual.
label: condition indiquant la présence d'un signe @fr

less than some time elapsed since previous dose condition
type: Class
subclass of: time elapsed since previous dose condition
has curation status: IAO_0000123
definition: A time elapsed since previous dose condition that is true if and only if the time having elapsed is less than some duration.
definition: Une condition sur le temps écoulé depuis une dose antérieure qui est vraie si et seulement si le temps écoulé est plus petit qu’une certaine durée. @fr
label: condition sur le temps maximal écoulé depuis une précédente administration de dose @fr

drug product name
type: Class
subclass of: textual entity
subclass of: Restriction
  on property: has part
  some values from: drug product proprietary label
subclass of: Restriction
  on property: is about
  some values from: drug product
example of usage: 'Norvasc Tab 5 mg' 'Apo-Metoprolol co 100 mg' 'Apo-Metoprolol 100 mg' 'Apo-Metoprolol'
has curation status: IAO_0000123
definition: A textual entity denoting a class of drug product, that has as parts a drug product label, and typically a dose form specification and a drug strength specification.
definition: Une entité textuelle qui fait référence à un type de médicament. @fr
editor note: Note that this is a name of a drug product, not the name of an active ingredient contained in a drug product.
alternative term: drug name
alternative term: drug product identification
source: Drug Product Database online query from Health Canada
label: nom de médicament @fr

day of the week
type: Class
subclass of: ObsoleteClass
has curation status: IAO_0000423
label: jour de la semaine @fr
deprecated: true

drug dose form specification
type: Class
subclass of: drug product characteristic specification
example of usage: "oral tablet" in "aspirin 80mg oral tablet"
has curation status: IAO_0000123
definition: An information content entity that specifies the dose form of a drug product.
definition: Une entité de contenu informationnelle qui spécifie la forme de dose d’un médicament prescrit. @fr
label: spécification de forme de dose médicamenteuse @fr

drug excipient specification
type: Class
subclass of: drug product characteristic specification
has curation status: IAO_0000123
definition: An information content entity that specifies an excipient of a drug product.
definition: Une entité de contenu informationnel qui spécifie un excipient d’un médicament prescrit. @fr
label: spécification d’excipient de médicament @fr

drug active ingredient specification
type: Class
subclass of: drug product characteristic specification
subclass of: Restriction
  on property: has part
  some values from: active ingredient name
example of usage: "aspirin" in "aspirin 80mg oral tablet" (since 80mg refers to the quantity of aspirin in the drug product, the drug active ingredient specification can also be interpreted as "aspirin 80 mg", i.e., "80 mg of aspirin")
has curation status: IAO_0000123
definition: An information content entity that specifies an active ingredient in a drug product.
definition: Une entité de contenu informationnel qui spécifie un ingrédient actif d’un médicament prescrit. @fr
label: spécification d’ingrédient actif de médicament @fr

generic drug product proprietary label
type: Class
subclass of: drug product proprietary label
subclass of: Restriction
  on property: is about
  some values from: generic drug product
example of usage: Apo-Metoprolol
has curation status: IAO_0000123
definition: A drug product name given to a generic drug product by the pharmaceutical company that produces it.
definition: Un nom de médicament générique donné par l'entreprise pharmaceutique qui le produit. @fr
label: nom propriétaire d'un médicament générique @fr

current time is before some instant condition
type: Class
subclass of: present time instant condition
example of usage: It is before 12 PM on January 1st 2016
definition: A condition that is true if and only if the current time is before some instant.
definition: Une condition qui est vraie si et seulement si l’instant présent est antérieur à un instant donné. @fr
label: condition de borne supérieure sur l’instant présent @fr

current time is after some instant condition
type: Class
subclass of: present time instant condition
example of usage: It is after 12 PM on January 1st 2016
definition: A condition that is true if and only if the current time is after some instant.
definition: Une condition qui est vraie si et seulement si l’instant présent est postérieur à un instant donné. @fr
label: condition situant la période actuelle après un instant @fr

current time is approximately some instant condition
type: Class
subclass of: present time instant condition
example of usage: It is 12 PM on January 1st 2016
definition: A condition which is true if and only if the current time is approximately some instant.
definition: Une condition qui est vraie si et seulement si l’instant présent est approximativement un instant donné. @fr
label: condition affirmant que l'instant présent est approximativement un instant donné @fr

greater than some time elapsed since previous dose condition
type: Class
subclass of: time elapsed since previous dose condition
has curation status: IAO_0000123
definition: A time elapsed since previous dose condition that is true if and only if the time having elapsed is greater than some duration.
definition: Une condition sur le temps écoulé depuis une dose antérieure qui est vraie si et seulement si le temps écoulé est plus grand qu’une certaine durée. @fr
label: condition sur le temps minimal écoulé depuis une précédente administration de dose @fr

exactly some time elapsed since previous dose condition
type: Class
subclass of: time elapsed since previous dose condition
has curation status: IAO_0000123
definition: A time elapsed since previous dose condition that is true if and only if the time having elapsed is equal to some duration.
definition: Une condition sur le temps écoulé depuis une dose antérieure qui est vraie si et seulement si le temps écoulé est égal à une certaine durée. @fr
label: condition sur le temps exactement écoulé depuis une précédente administration de dose @fr

drug product specification
type: Class
subclass of: drug product characterization
subclass of: Restriction
  on property: has part
  some values from: Class
    union of: drug product proprietary label
    union of: active ingredient name
subclass of: Restriction
  on property: is about
  some values from: drug product
editor preferred term: prescription drug product specification
example of usage: "Aspirin 80mg oral tablet" "Amiodarone 50mg/mL injectable solution"
has curation status: IAO_0000123
definition: An drug product characterization specifying a class of drug product.
definition: Une entité de contenu informationelle qui spécifie une classe de médicament prévu pour être administré. @fr
comment: Voir pour label en fr
label: Spécification de produit médicamenteux @fr

time of the day
type: Class
subclass of: ObsoleteClass
has curation status: IAO_0000423
label: moment de la journée @fr
deprecated: true

month of the year
type: Class
subclass of: ObsoleteClass
has curation status: IAO_0000423
label: mois de l'année @fr
deprecated: true

day of the week category specification
type: Class
subclass of: categorical value specification
has curation status: IAO_0000423
definition: A category value specification that specifies one day of the week.
definition: Une spécification de valeur catégorique qui spécifie un jour de la semaine. @fr
label: spécification de catégorie de jour de la semaine @fr

drug excipient item
type: Class
subclass of: drug product information item
has curation status: IAO_0000123
definition: A drug product information item that is about one excipient in a drug product.
definition: Un élément d'information sur un médicament dénotant un de ses excipients. @fr
label: élément d'information d'excipient médicamenteuse @fr

time elapsed since first dose condition
type: Class
subclass of: time elapsed since dose condition
has curation status: IAO_0000123
definition: a condition describing the time elapsed since the first dose administration of some drug administration.
definition: une condition de temps écoulé depuis la première administration de dose d'une certaine administration de médicament. @fr
label: condition indiquant le temps écoulé depuis une première administration de dose @fr

time elapsed since previous dose condition
type: Class
subclass of: time elapsed since dose condition
has curation status: IAO_0000123
definition: a condition describing the time elapsed since the previous dose administration of some drug administration.
definition: une condition de temps écoulé depuis la dernière administration de dose d'une certaine administration de médicament. @fr
label: condition indiquant le temps écoulé depuis une précédente administration de dose @fr

present time instant condition
type: Class
subclass of: current time condition
subclass of: Restriction
  on property: has part
  some values from: temporal instant specification
has curation status: IAO_0000123
definition: A current time condition where the current time is described in relation to a temporal instant.
definition: une condition sur la période actuelle situant la période actuelle relativement à un instant donné. @fr
label: condition sur l’instant présent @fr

pharmacy facility
type: Class
subclass of: health care facility
definition: A health care facility whose function is to store, prepare, dispense, and monitor the usage of pharmaceutical drugs among patients in a given area or encountered in a given health care provider organization.
definition: Un établissement de santé qui a pour fonction d'entreposer, préparer, distribuer et surveiller l'utilisation des médicaments parmi les patients d'une zone géographique donnée ou suivis dans une organisation de soin donnée. @fr
label: établissement de pharmacologie @fr

excipient name
type: Class
subclass of: textual entity
subclass of: Restriction
  on property: denotes
  some values from: excipient
has curation status: IAO_0000123
definition: A textual entity that allows the identification of an excipient.
definition: Une entité textuelle qui permet l'identification d'un excipient. @fr
label: nom d’excipient @fr

number of doses in drug administration condition
type: Class
subclass of: condition
subclass of: Restriction
  on property: has part
  some values from: dose administration count specification
has curation status: IAO_0000124
definition: A condition involving the number of doses administered in some drug administration.
definition: Une condition faisant intervenir le nombre de doses administrées dans une administration de médicament. @fr
label: condition de nombre d’administration de doses @fr

exactly some number of doses in drug administration condition
type: Class
subclass of: number of doses in drug administration condition
has curation status: IAO_0000123
definition: A number of doses in drug administration condition that is true if and only if exactly some number of dose administrations have occurred.
definition: Une condition de nombre de doses d’administration de médicament qui est vraie si et seulement si exactement un certain nombre d’administration de doses ont été effectuées. @fr
label: condition de nombre exact d’administration de doses @fr

drug selection
type: Class
subclass of: planned process
example of usage: A pharmacist selecting a package of Aspirin 81mg oral tablets from the pharmacy inventory shelf. A nurse selecting an ampoule of amiodarone 50mg/mL injectable solution from the ward's stock of drugs. A doctor selecting a sample box of Spiriva 2.5mcg per puff Respimat Inhaler from the free sample drug stock cabinet.
has curation status: IAO_0000123
definition: A process where a health care provider physically selects a particular drug product as specified in a drug product specification.
definition: Un processus dans lequel un fournisseur de soin sélectionne physiquement un médicament particulier comme indiqué sur une spécification de médicament. @fr
editor note: Note that a doctor does not select a particular drug when prescribing unless they provide the actual drug with the prescription. They specify a drug product that is about the collection of drug products that are appropriate for a prescribed drug administration.
label: sélection de médicament @fr

less than some number of doses have occurred condition
type: Class
subclass of: number of doses in drug administration condition
has curation status: IAO_0000123
definition: A number of doses in drug administration condition that is true if and only if less than some number of dose administrations have occurred.
definition: Une condition de nombre de doses d’administration de médicament qui est vraie si et seulement si moins d’un certain nombre d’administration de doses ont été effectuées. @fr
label: condition de nombre d’administration de doses maximum @fr

greater than some number of doses have occurred condition
type: Class
subclass of: number of doses in drug administration condition
has curation status: IAO_0000124
definition: A number of doses in drug administration condition that is true if and only if more than some number of dose administrations have occurred.
definition: Une condition de nombre de doses d’administration de médicament qui est vraie si et seulement si plus d’un certain nombre d’administration de doses ont été effectuées. @fr
label: condition de nombre d’administration de doses minimum @fr

greater than some time elapsed since the previous dispensing condition
type: Class
subclass of: time elapsed since dispensing condition
definition: Une condition qui est vraie si et seulement si le temps écoulé depuis une certaine distribution est plus grand qu’une certaine durée. @fr
definition: a condition that is true if and only if the time elapsed since some dispensing is greater than some duration.
label: condition de temps minimum passé depuis une distribution de médicament @fr

pharmacist role
type: Class
subclass of: health care provider role
has curation status: IAO_0000423
definition: A health care provider role where the service provided is that of identification, preparation, dispensing and monitoring of pharmaceutical drugs.
definition: Un role de prestataire de soin qui fournit un service d'identification, de préparation, de distribution et de contrôle de médicaments. @fr
label: rôle de pharmacien @fr

after some process condition
type: Class
subclass of: condition
example of usage: 'it is the day after the end of the drug administration specified by "Prednisone 10mg PO die x 1 week"'
has curation status: IAO_0000123
definition: A condition that is true if and only if some process has ended.
definition: Une condition qui est vraie si et seulement si un certain processus est fini. @fr
label: condition de fin de processus @fr

after some drug administration condition
type: Class
subclass of: after some process condition
has curation status: IAO_0000123
definition: A condition that is true if and only if some drug administration has ended.
definition: Une condition qui est vraie si et seulement si une certaine administration de médicament est finie. @fr
label: condition de fin d’administration de médicament @fr

after some dose administration condition
type: Class
subclass of: after some process condition
has curation status: IAO_0000123
definition: A condition that is true if and only if some dose administration has ended.
definition: Une condition qui est vraie si et seulement une certaine administration de dose est finie. @fr
label: condition de fin d’administration de dose @fr

after some surgery condition
type: Class
subclass of: after some process condition
has curation status: IAO_0000123
definition: A condition that is true if and only if some surgery has ended.
definition: Une condition qui est vraie si et seulement si une certaine intervention chirurgicale est finie. @fr
label: condition de fin de chirurgie @fr

site of drug administration specification
type: Class
subclass of: information content entity
editor preferred term: anatomical site of dose administration specification
has curation status: IAO_0000123
definition: An information content entity that specifies an anatomical entity which should be in contact with the drug product being administered during a dose administration.
definition: Une entité de contenu informationnel spécifiant une entité anatomique qui doit entrer en contact avec le médicament administré pendant une administration de dose. @fr
label: spécification de site d’administration de médicament @fr

drug dispensing specification
type: Class
subclass of: action specification
example of usage: '12 x 30 tablets' in the drug administration and dispensing specification 'Aspirin 81 mg tablet PO DIE 12 x 30 tablets'
has curation status: IAO_0000123
definition: An action specification that specifies the dispensing of a drug product.
label: spécification de distribution de médicament @fr

Drug Identification Number
type: Class
subclass of: centrally registered identifier symbol
subclass of: Restriction
  on property: is about
  some values from: drug strength specification
subclass of: Restriction
  on property: is about
  some values from: drug product name
subclass of: Restriction
  on property: is about
  some values from: drug dose form specification
subclass of: Restriction
  on property: is about
  some values from: Class
    intersection of: drug product
    intersection of: Restriction
      on property: has disposition
      some values from: Class
        intersection of: disposition
        intersection of: Restriction
has curation status: IAO_0000120
definition: A Drug Identification Number (DIN) is a computer-generated eight digit number assigned by Health Canada to a drug product prior to being marketed in Canada. It uniquely identifies all drug products sold in a dosage form in Canada and is located on the label of prescription and over-the-counter drug products that have been evaluated and authorized for sale in Canada. A DIN uniquely identifies the following product characteristics: manufacturer; product name; active ingredient(s); strength(s) of active ingredient(s); pharmaceutical form; route of administration.
definition: Le numéro d'identification d'une drogue (DIN) est un numéro de huit chiffres généré par un ordinateur qui est attribué par Santé Canada avant d'être commercialisé au Canada. Le DIN est unique et sert a identifier tous les médicaments vendus dans une forme posologique. Il est inscrit sur l'étiquette d'un médicament de prescription ou d'un médicament sans ordonnance qui ont été évalués et approuvés pour la vente au Canada. Un DIN énumère les caractéristiques du produit: fabricant, nom du produit, ingrédient(s), la force de l'ingrédient médicinal, la forme posologique et la voie d'administration. @fr
alternative term: DIN
definition source: https://www.canada.ca/en/health-canada/services/drugs-health-products/drug-products/fact-sheets/drug-identification-number.html
definition source: https://www.canada.ca/fr/sante-canada/services/medicaments-produits-sante/medicaments/feuillets-information/numero-identification-medicament.html
elucidation: From wikipedia: Any product defined as a drug under the Canadian Food and Drugs Act must have an associated Drug Identification Number (or DIN). The Drug Identification Number (DIN) is the 8 digit number located on the label of prescription and over-the-counter drug products that have been evaluated by the Therapeutic Products Directorate (TPD) and approved for sale in Canada. The DIN is typically an eight digit number. Once a drug has been approved, the Therapeutic Products Directorate issues a DIN which permits the manufacturer to market the drug in Canada. For drugs where there is minimal market history in Canada, there is a more stringent review and the drug is required to have a Notice of Compliance and a DIN in order to be marketed in Canada. A DIN lets the user know that the product has undergone and passed a review of its formulation, labeling and instructions for use. A drug product sold in Canada without a DIN is not in compliance with Canadian law. The DIN is also a tool to help in the follow-up of products on the market, recall of products, inspections, and quality monitoring. A drug product can be looked up via its DIN with the Health Canada's Drug Product Database (DPD) to find specific information of drugs approved by the Ministry.
label: Numéro d’identification d’un médicament @fr

metered dose administration count value specification
type: Class
subclass of: scalar value specification
example of usage: '1 metered dose administration of nitroglycerine"
has curation status: IAO_0000123
definition: A scalar value specification that specifies a number of metered dose administrations.
definition: Une spécification de valeur scalaire spécifiant le nombre d’administration de doses mesurées. @fr
label: spécification de nombre de prise de dose @fr

drug dispensing process
type: Class
subclass of: planned process
subclass of: Restriction
  on property: realizes
  some values from: Class
    intersection of: realizable entity
    intersection of: Restriction
      on property: concretizes
      some values from: drug dispensing specification
example of usage: A pharmacy technician providing a package of 30 Aspirin 81mg oral tablets to a patient. A technician working at a hospital pharmacy sending 3 3mL ampoules of amiadorone 50 mg/mL injectable solution to a ward as part of a prescription for inpatient Harry Thymia. A doctor providing a patient with a Respimat Inhaler device containing 60 puffs of Spiriva, 2.5mcg per puff.
has curation status: IAO_0000428
definition: A planned process in which a health care provider or person who is part of a health care organization provides a determinate quantity of a particular drug product for use in a particular patient.
definition: Un processus planifié pendant lequel un professionnel de santé ou une personne faisant partie d'une organisation de santé fournit une quantité déterminée d'un médicament particulier à destination d'un patient particulier. @fr
editor note: The person who is part of a health care organization may be e.g., a representative of an internet company which sends prescribed medication.
label: processus de distribution de médicament @fr

drug perfusion specification
type: Class
subclass of: information content entity
subclass of: Restriction
  on property: part of
  some values from: Class
    intersection of: prescribed dosing specification
    intersection of: Restriction
      on property: has part
      some values from: initial rate of administration specification
example of usage: e.g. start perfusion at 15cc/h. if MAP < 65 mmHg, then increase rate by 5cc/h every 5 minutes. If MAP=>65 mmHg, then decrease rate by 5cc/h every 5 minutes. There are two rate of administration plan specifications here, one for each change specified: 'if MAP < 65 mmHg, then increase rate by 5cc/h every 5 minutes.' and 'If MAP>=65 mmHg, then decrease rate by 5cc/h every 5 minutes'
has curation status: IAO_0000123
definition: An action specification that instructs how the rate at which a dose is administered should be changed based on certain conditions in order to maintain a certain equilibrium or targeted effect.
definition: Une spécification d’action qui indique comment le taux auquel une dose est administrée doit être changé, sur la base de certaines conditions afin de maintenir un certain équilibre ou effet visé. @fr
alternative term: perfusion rate specification
label: spécification de taux de perfusion de médicament @fr

prescribed dosing specification
type: Class
subclass of: directive information entity
subclass of: Restriction
  on property: has part
  some values from: dose administration specification
has curation status: IAO_0000123
definition: A directive information entity that directs the dosing in a drug administration.
definition: Une entité informationnelle directive qui dirige le dosage d’une administration de médicament. @fr
alternative term: Sig.
alternative term: dosing instructions
alternative term: posological instructions
label: spécification de dosage prescrit @fr

dose of drug product
type: Class
subclass of: portion of drug product
has curation status: IAO_0000123
definition: The portion of a drug product that an organism is exposed to.
definition: Une portion de médicament à laquelle un organisme est exposé. @fr
label: dose de médicament @fr

portion of drug product
type: Class
subclass of: material entity
subclass of: Restriction
  on property: part of
  some values from: drug product
has curation status: IAO_0000123
definition: A material entity that is a proper part of a drug product, with a similar composition as the drug product.
definition: Une entité matérielle qui est une partie propre d’un médicament, avec une composition similaire à celle du médicament. @fr
label: portion de médicament @fr

supervising prescriber identification
type: Class
subclass of: prescriber identification
has curation status: IAO_0000123
definition: A written name referring to a supervising prescriber.
definition: Un nom faisant référence à un prescripteur supervisant. @fr
label: identification de prescripteur superviseur @fr

rate of administration specification
type: Class
subclass of: information content entity
has curation status: IAO_0000123
definition: An information content entity specifying a rate of a drug administration.
definition: Une entité de contenu informationnel spécifiant un taux d’administration de médicament. @fr
label: spécification de taux d’administration @fr

site of administration category specification
type: Class
subclass of: categorical value specification
has curation status: IAO_0000123
definition: A category value specification that specifies one site of administration from a standardized list of possible sites.
definition: Une spécification de valeur catégorique qui spécifie le site d'administration. @fr
label: spécification du site d'administration @fr

mass per time unit
type: Class
subclass of: measurement unit label
has curation status: IAO_0000423
definition: A measurement unit label of mass per time.
definition: Une unité de mesure de masse par temps. @fr
label: unité de masse par unité de temps @fr

dose range specification
type: Class
subclass of: information content entity
subclass of: Restriction
  on property: has measurement unit label
  some values from: measurement unit label
subclass of: Restriction
  on property: has minimum range value
  qualified cardinality: 1
  on data range: rational
subclass of: Restriction
  on property: has maximum range value
  qualified cardinality: 1
  on data range: rational
has curation status: IAO_0000123
definition: An information content entity that specifies the minimum and maximum quantities of drug product or active ingredient in a dose administration.
definition: Une entité de contenu informationnel qui spécifie les quantités minimum et maximum de médicament ou d’ingrédient actif dans une administration de dose. @fr
label: spécification d’intervalle de dose @fr

active ingredient aggregate
type: Class
equivalent class: Class
  intersection of: scattered molecular aggregate
  intersection of: Restriction
    on property: has role
    some values from: active ingredient
example of usage: Metoprolol tartrate
has curation status: IAO_0000423
definition: A scattered molecular aggregate with the role of active ingredient.
definition: Un aggrégat de molécule dispersée avec le rôle d'ingrédient actif. @fr
editor note: Should be moved to DRON
label: aggrégat d'ingrédient actif @fr

excipient aggregate
type: Class
equivalent class: Class
  intersection of: scattered molecular aggregate
  intersection of: Restriction
    on property: has role
    some values from: excipient
example of usage: The water in a solution of injectable amiodarone.
has curation status: IAO_0000423
definition: Un aggrégat de molécule dispersée ayant le rôle d'excipient. @fr
definition: scattered molecular aggregate with the role of excipient.
editor note: Should be moved to DRON
label: aggrégat d'excipient @fr

mass per time value specification
type: Class
subclass of: scalar value specification
has curation status: IAO_0000423
definition: A scalar value specification that specifies a mass per time value specification.
definition: Une spécification de valeur scalaire qui spécifie une valeur de masse par unité de temps. @fr
label: spécification de valeur de masse par unité de temps @fr

drug renewal process
type: Class
subclass of: drug dispensing process
example of usage: John Smith being dispensed 60 Ativan 1mg oral tablets a 10th time as specified in the same prescription. John Smith being dispensed in october 30x metoprolol 100 mg oral tablets after having being dispensed in september 30x metoprolol 100 mg oral tablets.
definition: A drug dispensing process that follows an initial drug dispensing process, such that both processes are specified in the same drug prescription.
definition: Un processus de distribution de médicament qui suit un processus de distribution initial, lorsque les deux processus sont indiqués dans la même prescription médicale. @fr
label: processus de renouvellement de médicament @fr

dose quantification specification
type: Class
subclass of: information content entity
has curation status: IAO_0000123
definition: An information content entity that specifies how a dose is quantified in a dose administration.
definition: Une entité de contenu informationnel qui quantifie une dose dans une administration de dose. @fr
elucidation: This part of a prescription usually specifies a fixed amount (like '50 mg' or '500 mL'), but may instead specify a rate in some situations, e.g., in ongiong IV perfusions, where the total dose that will be administered in a single dose is unkown until the administration has ended. In either situation, the dose quantification specification is what enables the calculation of the quantity of active ingredient or drug product in the dose that is administered
label: spécification de quantification de dose @fr

active ingredient quantification specification
type: Class
subclass of: dose quantification specification
has curation status: IAO_0000123
definition: A dose quantification specification that quantifies a dose by referring to the quantity of active ingredient administered in a dose administration.
definition: Une spécification de quantification de dose spécifiant une quantité d’ingrédient actif à administrer lors d’une administration de dose. @fr
label: spécification de quantité d’ingrédient actif dans une dose @fr

drug product quantification specification
type: Class
subclass of: dose quantification specification
has curation status: IAO_0000123
definition: A dose quantification specification that specifies the quantity of drug product administered in a dose administration.
definition: Une spécification de quantification de dose spécifiant la quantité de médicament administrée lors d’une administration de dose. @fr
label: spécification de quantité de médicament dans une dose @fr

active ingredient mass delivery rate value specification
type: Class
subclass of: mass per time value specification
example of usage: 8 mcg/min (of norepinephrine)
has curation status: IAO_0000123
definition: A value specification specifying the value of an active ingredient mass delivery rate.
definition: Une spécification de valeur spécifiant la valeur du taux d’administration de masse d’ingrédient actif. @fr
label: spécification de taux d’administration de masse d’ingrédient actif @fr

continuing drug administration condition
type: Class
subclass of: condition
subclass of: Restriction
  on property: part of
  some values from: prescribed dosing specification
has curation status: IAO_0000123
definition: A condition whose truthfulness is a prerequisite for continuing a drug administration.
definition: Une condition dont la véracité est un pré-requis pour continuer une administration de médicament. @fr
alternative term: continuing condition
label: condition de continuation d’administration de médicament @fr

starting drug administration condition
type: Class
subclass of: condition
example of usage: 'if bronchitis' 'if January 1 2016'
has curation status: IAO_0000123
definition: A condition whose truthfulness is a prerequisite for starting a drug administration.
definition: Une condition dont la véracité est un prérequis pour commencer une administration de médicament. @fr
alternative term: starting condition
label: condition de début d’administration de médicament @fr

condition
type: Class
subclass of: information content entity
has curation status: IAO_0000123
definition: An information content entity that describes some relationships between some entities and whose truthfullness is a prerequisite for something.
definition: Une entité de contenu informationnel qui décrit des relations entre certaines entités et dont la véracité est un prérequis pour quelque chose. @fr

minimum dosing interval condition
type: Class
subclass of: dosing condition
example of usage: 'every 6 hours' in 'every 6 hours PRN'
has curation status: IAO_0000123
definition: A dosing condition that is true if and only if the amount of time that has elapsed since the previous dose is greater than some duration.
definition: Une condition de dosage qui est vraie si et seulement si le temps écoulé depuis la précédente dose est supérieur à une certaine valeur. @fr
editor note: see note for maximum dosage condition. The same applies to this entitiy and 'greater than some time elapsed since previous dose condition'
label: condition d’intervalle de dosage minimum @fr

maximum dosage condition
type: Class
subclass of: dosing condition
example of usage: 'maximum 4g/24h'
has curation status: IAO_0000123
definition: A dosing condition that is true if and only if the amount of drug product administered to a patient has not exceeded a certain amount per unit of time.
definition: Une condition de dosage qui est vraie si et seulement si la quantité de médicament administrée à un patient n’excède pas une certaine quantité par unité de temps. @fr
editor note: an instance of this condition would also be an instance of 'less than or equal to total dosage condition'. TODO: We need to be able to infer this without asserted multiple inheritance. An ideal solution would be introducing some sort of "role" for ICE in order to distinguish what a condition can be used for (what it's truthfulness is a prerequisite for) from it's logical construction (what information it is composed of). -RT
label: condition de dosage maximal @fr

dosing condition
type: Class
subclass of: condition
example of usage: 'less than 3 doses have been taken today' '8 hours have elapsed since the previous dose' 'it is wednesday'
has curation status: IAO_0000123
definition: A condition whose truthfulness is a prerequisite for the instruction of taking of a dose.
definition: Une condition dont la véracité est un prérequis pour une instruction de prise d’une dose. @fr
label: condition de dosage @fr

drug dispensing frequency specification
type: Class
subclass of: frequency value specification
subclass of: Restriction
  on property: part of
  some values from: drug dispensing specification
subclass of: Restriction
  on property: is about
  some values from: drug renewal process
example of usage: "1 dispensing per month" "12 dispensings per year"
has curation status: IAO_0000123
definition: A value specification that specifies the frequency of a drug dispensing.
definition: Une spécification de valeur de fréquence indiquant la fréquence d'un processus de distribution de médicament. Elle a une unité de la forme "distribution de médicament par unité de temps". @fr
elucidation: Has unit label of the form 'drug dispensings per unit time'. nb. "#30 renew x12", has as part a drug dispensing count specification, not a drug dispensing frequency specification. This is because the dispensing process is not specified to occur 'per unit of time'; it is specified to occur 'a number of times'.
label: spécification de fréquence de distribution de médicament @fr

drug dispensing count specification
type: Class
subclass of: scalar value specification
example of usage: "12 dispensings"
has curation status: IAO_0000123
definition: A scalar value specification that specifies a number of dispensing processes.
definition: Une spécification de valeur scalaire qui indique un nombre de distributions de médicaments. @fr
editor note: "Dispense 30 tabs, not renewable" -> 1 dispensing "Dispense 30 tabs, dispense 12 times" -> 12 dispensings "Dispense 30 tabs, repeatable 12 times" ->13 dispensings "Dispense 30 tabs, renew 12 times" -> 13 dispensings "Dispense 30 tabs every month for one year" -> 12 dispensings
label: spécification de nombre de distributions de médicaments @fr

initial drug dispensing process
type: Class
subclass of: drug dispensing process
example of usage: John Smith being dispensed 60x Ativan 1mg oral tablets for the first time
definition: A drug dispensing process that is the first time the patient is being provided with a particular drug following a particular prescription.
definition: Un processus de distribution de médicament tel que ce médicament n'a jamais été fourni au patient auparavant sur la base de cette prescription particulière. @fr
label: processus de distribution de médicament initiale @fr

dose administration specification
type: Class
subclass of: action specification
subclass of: Restriction
  on property: has part
  some values from: dose quantification specification
editor preferred term: drug dose administration specification
example of usage: "1 tablet by mouth" "Mix 4g powder with 1 cup of water and drink slowly" "mix 450mg in 250mL of D5% solution, then administrate IV over 12 hours" "nebulize 2.5mg and administrate inhaled over 5-15 minutes"
has curation status: IAO_0000120
definition: An action specification that describes a dose administration.
definition: Une spécification d'action qui décrit une administration de dose médicamenteuse. @fr
label: spécification d'administration de dose @fr

prescription drug administration specification
type: Class
subclass of: drug administration specification
example of usage: 'Aspirin 81 mg tablet PO DIE' in a prescription written by Dr. Jones for Mr. Fiennes.
definition: A drug administration specification that is part of a drug prescription.

pharmacist dispensing drug administration specification
type: Class
subclass of: drug administration specification
example of usage: 'Aspirin 81 mg, 1 tablet orally 8 am every day' written by the pharmacist Mr. White for the patient Mr. Fiennes on the basis of the drug administration specification 'Aspirin 81 mg tablet PO DIE' written by Dr. Jones for Mr. Fiennes.
definition: A drug administration specification written by a pharmacist on the basis of a drug administration specification written by a prescriber.

prescription drug dispensing specification
type: Class
subclass of: drug dispensing specification
subclass of: Restriction
  on property: part of
  some values from: drug prescription
subclass of: Restriction
  on property: part of
  some values from: drug administration prescription item
example of usage: '12 x 30 tablets' in the drug administration and dispensing specification 'Aspirin 81 mg tablet PO DIE 12 x 30 tablets' written on a prescription by Dr. Jones to Mr. Fiennes.
definition: A drug dispensing specification that is part of a prescription and authorizes the dispensing of a drug product under certain conditions, and usually specifies how much of the drug is to be dispensed at a time and how many times in total.

pharmacist drug dispensing specification
type: Class
subclass of: drug dispensing specification
subclass of: Restriction
  on property: is about
  some values from: drug dispensing process
example of usage: '30 tablets' in 'Aspirin 81 mg tablet PO DIE 30 tablets' in the information system of the pharmacist Mr. White.
definition: A drug dispensing specification that is part of a pharmacist information system and specifies how much of a given drug product has been dispensed to a patient.

drug prescription item
type: Class
subclass of: directive information entity
example of usage: 'Aspirin 81 mg tablet PO DIE 12 x 30 tablets (stroke prevention)' 'Cease metoprolol and aspirin' 'Aspirin 81 mg PO DIE 12 x 30 tablets' on a first prescription for Mr. Fiennes on 2018/01/01. 'Aspirin 81 mg per mouth once a day, 6x2 months' on a second prescription for Mr. Fiennes on 2019/01/01. 'Aspirin 325 mg PO die, 12x1 months' on a third prescription for Mr. Fiennes on 2019/03/01. 'Cease Aspirin' on a fourth prescription for Mr. Fiennes on 2019/04/01.
definition: A directive information entity that is a part of a drug prescription and specifies some action(s) related to one or several drugs. It is intended to direct some actions to be performed by a patient and some pharmacist(s). It may also specify a healthcare objective.

drug administration prescription item
type: Class
subclass of: drug prescription item
subclass of: Restriction
  on property: has part
  some values from: drug administration specification
example of usage: 'Aspirin 81 mg tablet PO DIE 12 x 30 tablets (stroke prevention)'. 'Aspirin 81 mg PO DIE 12 x 30 tablets' on a first prescription for Mr. Fiennes on 2018/01/01. 'Aspirin 81 mg per mouth once a day, 6x2 months' on a second prescription for Mr. Fiennes on 2019/01/01. 'Aspirin 325 mg PO die, 12x1 months' on a third prescription for Mr. Fiennes on 2019/03/01.
definition: A drug prescription item that specifies the administration of a drug. It gives pharmacists the permission to dispense a given drug product to a patient.

drug administration initiation precription item
type: Class
subclass of: drug administration prescription item
example of usage: 'Aspirin 81 mg PO DIE 12 x 30 tablets' on a prescription for Mr. Fiennes on 2018/01/01, who never had to take aspirin daily earlier.
definition: A drug administration prescription item that specifies the initiation of the administration of a drug.

drug administration continuation prescription item
type: Class
subclass of: drug administration prescription item
example of usage: 'Aspirin 81 mg per mouth once a day, 6x2 months' on a second prescription for Mr. Fiennes on 2019/01/01, after a first prescription of 'Aspirin 81 mg PO DIE 12 x 30 tablets' has been written for Mr. Fiennes on 2018/01/01. Note that 'Aspirin 81 mg per mouth once a day' is synonymous with 'Aspirin 81 mg PO die'.
definition: A drug administration prescription item that specifies the continuation of the administration of a drug whose initiation was specified by a former drug prescription. The drug administration specification contained in the continuation prescription item is synonymous with the drug administration specification contained in the initiation prescription item of this former drug prescription.

drug administration modification prescription item
type: Class
subclass of: drug administration prescription item
example of usage: 'Aspirin 325 mg PO die, 12x1 months' on a prescription for Mr. Fiennes on 2019/03/01, after he was prescribed 'Aspirin 81 mg per mouth once a day, 6x2 months' on 2019/01/01. It changes the dose from 81 mg to 325 mg.
definition: A drug administration prescription item that specifies the modification of the administration of a drug product.

drug administration cessation prescription item
type: Class
subclass of: drug prescription item
example of usage: 'Cease Aspirin' on a prescription for Mr. Fiennes on 2019/04/01, after he was prescribed 'Aspirin 325 mg PO die, 12x1 months' on 2019/03/01.
definition: A drug prescription item that specifies the cessation of the administration of a drug.

pharmacist record
type: Class
subclass of: document
subclass of: Restriction
  on property: has part
  some values from: pharmacist record item

pharmacist record item
type: Class
subclass of: directive information entity
subclass of: Restriction
  on property: has part
  qualified cardinality: 1
  on class: drug dispensing specification
subclass of: Restriction
  on property: has part
  qualified cardinality: 1
  on class: drug administration specification
definition: A directive information entity that is a part of a pharmacist report and that specifies some action(s) related to one or several drugs. It is typically intended to direct some actions to be performed by a patient and pharmacist(s).

pharmacist drug dispensing record
type: Class
subclass of: data item
definition: A data item that is part of a pharmacist information system and specifies how much of a given drug product has been dispensed to a patient.

pharmacist drug administration specification instruction
type: Class
subclass of: document
subclass of: Restriction
  on property: has part
  some values from: drug dispensing specification
subclass of: Restriction
  on property: has part
  qualified cardinality: 1
  on class: drug administration specification
subclass of: Restriction
  on property: is about
  qualified cardinality: 1
  on class: Class
    intersection of: drug administration specification
    intersection of: Restriction
      on property: part of
      qualified cardinality: 1
      on class: drug prescription

drug administration modification condition
type: Class
subclass of: condition
label: condition de modification d’administration de médicament @fr

drug administration cessation condition
type: Class
subclass of: condition
label: condition d'arrêt d’administration de médicament @fr

drug dispensing validity period specification
type: Class
subclass of: information content entity
subclass of: Restriction
  on property: part of
  some values from: drug dispensing specification
subclass of: Restriction
  on property: has part
  qualified cardinality: 1
  on class: starting validity temporal specification
subclass of: Restriction
  on property: has part
  qualified cardinality: 1
  on class: ending validity temporal specification
definition: An 'information content entity' that specifies the validity period of a drug dispensing specification.
label: spécification de la période de validité de la distribution d'un médicament @fr

complete drug administration specification
type: Class
subclass of: drug administration specification
definition: WIP An action specification that specifies a drug administration. It specifies: - The drug product - The posology It may also specify a starting drug administration condition

starting validity temporal specification
type: Class
subclass of: textual entity
definition: A textual entity that denotes the starting time of a validity period.
label: spécification de début de période de validité @fr

ending validity temporal specification
type: Class
subclass of: textual entity
definition: A textual entity that denotes the ending time of a validity period.
label: spécification de fin de période de validité @fr

drug product proprietary label
type: Class
subclass of: drug product characteristic specification

Anatomical Therapeutic Chemical code
type: Class
subclass of: centrally registered identifier symbol

drug dispensing ending validity temporal specification
type: Class
equivalent class: Class
  intersection of: ending validity temporal specification
  intersection of: Restriction
    on property: part of
    some values from: drug dispensing validity period specification

drug dispensing starting validity temporal specification
type: Class
equivalent class: Class
  intersection of: starting validity temporal specification
  intersection of: Restriction
    on property: part of
    some values from: drug dispensing validity period specification

drug prescription ending validity temporal specification
type: Class
subclass of: ending validity temporal specification

drug prescription validity period specification
type: Class
subclass of: information content entity
subclass of: Restriction
  on property: part of
  some values from: drug prescription
subclass of: Restriction
  on property: denotes
  some values from: drug prescription validity period
subclass of: Restriction
  on property: has part
  qualified cardinality: 1
  on class: drug prescription ending validity temporal specification
subclass of: Restriction
  on property: has part
  qualified cardinality: 1
  on class: drug prescription starting validity temporal specification

drug prescription starting validity temporal specification
type: Class
subclass of: starting validity temporal specification

health care prescription identifier
type: Class
subclass of: centrally registered identifier symbol
subclass of: Restriction
  on property: part of
  some values from: health care prescription
subclass of: Restriction
  on property: denotes
  qualified cardinality: 1
  on class: health care prescription

dosing frequency specification
type: Class
subclass of: information content entity
subclass of: Restriction
  on property: part of
  some values from: prescribed dosing specification

specification of a part of a drug prescription validity period
type: Class
subclass of: textual entity
subclass of: Restriction
  on property: denotes
  some values from: Class
    intersection of: one-dimensional temporal region
    intersection of: Restriction
      on property: part of
      some values from: drug prescription validity period

drug prescription validity period
type: Class
subclass of: one-dimensional temporal region

drug administration description
type: Class
subclass of: action specification
subclass of: Restriction
  on property: has part
  some values from: drug product characterization
subclass of: Restriction
  on property: is about
  some values from: Class
    intersection of: drug administration
    intersection of: Restriction
      on property: has participant
      some values from: patient
definition: An action specification that describe the administration of a drug, wether it is prescribed or reported by a healthcare provider or self reported by the individual taking said drug.

drug product characterization
type: Class
subclass of: information content entity
definition: An information content entity specifying a drug product, wether by its name, class, family or context of its intake.

reported drug administration description
type: Class
subclass of: drug administration description
definition: A drug administration description that describes the administration of a drug self reported by the individual taking the drug.

frequency value specification
type: Class
subclass of: scalar value specification
subclass of: Restriction
  on property: has measurement unit label
  some values from: frequency unit
has curation status: IAO_0000423
definition: A scalar value specification that specifies the frequency of a process.
definition: Une spécification de valeur scalaire indiquant la fréquence d'un processus. @fr
label: spécification de valeur de fréquence @fr

drug prophylaxis
type: Class
equivalent class: Class
  intersection of: disease prophylaxis
  intersection of: Restriction
    on property: has part
    some values from: dose administration
has curation status: IAO_0000123
definition: A prophylaxis composed of one or more dose administrations.
definition: Une prophylaxie composée d'une ou plusieurs administrations de doses. @fr
label: prophylaxie médicamenteuse @fr

prescribed drug administration
type: Class
subclass of: planned process
subclass of: Restriction
  on property: realizes
  some values from: Class
    intersection of: realizable entity
    intersection of: Restriction
      on property: concretizes
      some values from: Class
        intersection of: plan specification
        intersection of: Restriction
subclass of: Restriction
  on property: has participant
  some values from: Class
    intersection of: Homo sapiens
    intersection of: Restriction
      on property: bearer of
      some values from: patient role
has curation status: IAO_0000123
definition: A process in which the administration of a drug product as prescribed is hypothesized to achieve some health care objective.
definition: Un processus pendant lequel une ou plusieurs administrations de dose est supposée remplir un certain objectif de santé. @fr
editor note: Note that we do not consider all drug administrations to be treatments, as in the case of prophylaxis. A health care objective could concern e.g., treatment, prophylaxis and contraception. We leave open the question of whether it should include objectives such as physician-assisted suicide.
editor note: need to align with DRON
label: administration de médicament @fr

health care objective specification
type: Class
subclass of: objective specification
example of usage: "The alleviation of a symptomatic cough" "The prevention of malaria" "The diagnosis of what ails John Smith"
has curation status: IAO_0000120
definition: An objective specification that specifies the objective of a health care process.
definition: Une spécification d'objectif d'un processus de soin ou d'une de ses parties. @fr
label: spécification d'objectif de santé @fr

drug dispensing amount specification
type: Class
subclass of: information content entity
subclass of: Restriction
  on property: part of
  some values from: drug dispensing specification
subclass of: Restriction
  on property: is about
  some values from: drug dispensing process
subclass of: Restriction
  on property: has value specification
  some values from: Class
    union of: active ingredient mass value specification
    union of: drug product object count specification
    union of: drug product volume value specification
    union of: drug product mass value specification
example of usage: '30 tablets' in 'dispense 30 tablets'
has curation status: IAO_0000120
definition: An information content entity that describes the amount of a drug product to dispense in a single drug dispensing process.
definition: Une entité informationnelle qui indique la quantité de médicament à distribuer pendant un processus de distribution unique. @fr
alternative term: drug dispensing quantity specification
label: spécification de la quantité de médicament à distribuer @fr

treatment objective specification
type: Class
subclass of: health care objective specification
has curation status: IAO_0000123
definition: A health care objective specification that specifies a treatment.
definition: Une spécification d'objectif de santé de traitement. @fr
label: spécification d'objectif de traitement @fr

prophylaxis objective specification
type: Class
subclass of: health care objective specification
has curation status: IAO_0000123
definition: A health care objective specification that specifies a prophylaxis.
definition: Une spécification d'objectif de santé prophylactique. @fr
label: spécification d'objectif prophylactique @fr

diagnostic objective specification
type: Class
subclass of: health care objective specification
has curation status: IAO_0000123
definition: A health care objective specification specifying a diagnostic objective.
definition: Une spécification d'objectif de santé diagnostique. @fr
label: spécification d'objectif diagnostique @fr

drug administration specification
type: Class
subclass of: drug administration description
subclass of: Restriction
  on property: has part
  some values from: drug product specification
subclass of: Restriction
  on property: has part
  some values from: prescribed dosing specification
editor preferred term: prescribed drug administration specification
example of usage: 'take Aspirin 81 mg oral tablet, 1 tablet once daily by mouth, start today' or the synonymous abbreviated version 'Aspirin 81 mg tablet PO DIE'
has curation status: IAO_0000120
definition: A drug administration description that specifies a drug administration prescribed or reported by an healthcare provider. It specifies: - The drug product - The posology It may also specify a starting drug administration condition
definition: Une entité informationnelle directive indiquant l'administration d'un médicament. Elle indique : - le médicament. - le(s) condition(s) de distribution du médicament. - la quantité de médicament à distribuer. - le(s) condition(s) de début d'administration du médicament. - le(s) condition(s) de continuation d'administration du médicament - le(s) condition(s) d'administration d'une dose - comment administrer une dose, ce qui inclut: -- Toute préparation du médicament requise avant l'administration. -- La dose à administrer. -- Le mode d'administration -- Toute particularité dans la manière d'administrer le médicament. @fr
label: spécification d’administration de médicament @fr

drug product object count specification
type: Class
subclass of: scalar value specification
example of usage: "10 capsules" "1 patch" "1/2 tablet"
has curation status: IAO_0000123
definition: A scalar value specification that specifies an amount of drug product objects.
definition: Une spécification de valeur scalaire qui indique un nombre de médicaments. @fr
editor note: The unit label here is a 'discrete drug object' (capsules, tablets, patches, etc.)
label: spécification de nombre de médicaments @fr

drug product volume value specification
type: Class
subclass of: volume value specification
definition: A volume value specification where the volume specified is that of a drug product.
definition: Une spécification de valeur de volume indiquant le volume d'un médicament. @fr
label: spécification de valeur de volume de médicament @fr

drug product mass value specification
type: Class
subclass of: mass value specification
has curation status: IAO_0000123
definition: A mass value specification that specifies the mass of a drug product.
definition: Une spécification de valeur de masse qui indique la masse d'un médicament. @fr
label: spécification de valeur de masse de médicament @fr

statement
type: Class
subclass of: ObsoleteClass
example of usage: e=entity r=relationship "Unicorns exist" e1: a single horned animal e2: an equestrian animal e3: spatial region of universe r1: e1 is a e2 r2: e1 located in e3 "You have chest pain" e1: chest pain e2: patient referred to by 'you' r1: e2 experiencing e1 "The traffic light is green" "You have not taken a dose in the last 6 hours" "less than 12 dispensings have occurred"
definition: An information content entity that describes some relationships between some entities and is intended to be evaluated as true or false.
label: énoncé @fr
deprecated: true

temporal duration specification
type: Class
subclass of: scalar value specification
example of usage: "1 hour" "15 minutes" "30 seconds"
has curation status: IAO_0000423
definition: A scalar value specification that specifies a duration of time.
definition: Une spécification de valeur scalaire qui indique une durée de temps. @fr
label: spécification de durée temporelle @fr

dose administration frequency specification
type: Class
subclass of: frequency value specification
example of usage: "4 dose administrations per day" "2 dose administrations per hour"
has curation status: IAO_0000123
definition: A value specification of the frequency of a dose administration.
definition: Une spécification de valeur de fréquence indiquant la fréquence d'un processus d'administration de dose. Elle a une unité de la forme "administrations de dose par unité de temps". @fr
elucidation: Has a unit label of the form 'dose administrations per unit time'.
label: spécification de fréquence d'administration de dose @fr

pharmacological unit value specification
type: Class
subclass of: scalar value specification
subclass of: Restriction
  on property: has measurement unit label
  some values from: pharmacological unit
subclass of: Restriction
  on property: is about
  some values from: active ingredient aggregate biological activity
example of usage: '5000 units' (of fragmin) '10 units' (of insulin)
has curation status: IAO_0000123
definition: A scalar value specification that specifies the value of an active ingredient aggregate biological activity.
definition: Une spécification de valeur scalaire qui indique la valeur d'activité biologique d'un aggrégat d'ingrédient actif. @fr
label: spécification de valeur d'unité pharmacologique @fr

substance quantity value specification
type: Class
subclass of: scalar value specification
has curation status: IAO_0000423
definition: A scalar value specification that specifies the quantity of an element or compound with uniform disposition.
definition: Une spécification de valeur scalaire qui spécifie la quantité d'un élément ou d'un composé avec une disposition uniforme. @fr
label: spécification de quantité de substance @fr

volumetric flow rate value specification
type: Class
subclass of: scalar value specification
example of usage: '50mL per hour'
has curation status: IAO_0000423
definition: A scalar value specification whose unit label is a volumetric rate unit.
definition: Une spécification de valeur scalaire dont l'unité est une unité de rythme. @fr
label: spécification de valeur de rythme @fr

drug product volumetric flow rate value specification
type: Class
subclass of: volumetric flow rate value specification
example of usage: '80cc per hour' (of NS, which is NaCl + water)
has curation status: IAO_0000123
definition: A rate value specification that specifies the rate at which a drug product is administered during a dose administration.
definition: Une spécification de valeur de rythme qui indique le rythme auquel un médicament est administré pendant une administration de dose. @fr
label: spécification de valeur de rythme de médicament @fr

active ingredient molar value specification
type: Class
subclass of: substance quantity value specification
has curation status: IAO_0000123
definition: A substance value specification where the substance is an active ingredient aggregate.
definition: Une spécification de quantité de substance où la substance est un aggrégat d'ingrédient actif. @fr
label: spécification de valeur molaire d'ingrédient actif @fr

pharmacological unit
type: Class
subclass of: measurement unit label
editor preferred term: pharmacological international unit
example of usage: the "units" in 10 units of insulin
has curation status: IAO_0000120
definition: A measurement unit label for the amount of a substance based on a specified biological activity or effect of that substance.
definition: Un label d'unité de mesure pour la quantité de substance fondé sur une activité biologique spécifiée ou sur un effet de cette substance. @fr
label: unité pharmacologique @fr

dose administration count specification
type: Class
subclass of: scalar value specification
example of usage: "3 dose administration" "1 dose administration"
definition: A scalar value specification that specifies a number of dose administrations.
definition: Une spécification de valeur scalaire qui indique un nombre d'administrations de doses. @fr
label: spécification de nombre d'administrations de doses @fr

presence of symptom condition
type: Class
subclass of: condition
subclass of: Restriction
  on property: is about
  some values from: symptom
example of usage: "You have chest pain" "You are having trouble breathing"
has curation status: IAO_0000120
definition: A condition that is true if and only if some symptom is present in an individual.
definition: Une condition qui est vraie si et seulement si un certain symptôme est présent chez un individu. @fr
label: condition indiquant la présence d'un symptôme @fr

state of consciousness condition
type: Class
subclass of: condition
example of usage: "if patient is asleep"
has curation status: IAO_0000123
definition: Une condition qui est vraie si et seulement si un individu est dans un certain état de conscience. @fr
definition: a condition that is true if and only if an individual is in some specific state of consciousness.
label: condition indiquant un état de concience @fr

current time condition
type: Class
subclass of: condition
has curation status: IAO_0000123
definition: A condition that describes the current time period relative to some other time period.
definition: Une condition situant la période actuelle relativement à une autre période. @fr
label: condition sur le temps présent @fr

time elapsed condition
type: Class
subclass of: condition
subclass of: Restriction
  on property: has part
  some values from: temporal duration specification
example of usage: "2 weeks have elapsed since returning from travel" "14 days have elapsed since the start of treatment" "6 hours have elapsed since the previous dose"
has curation status: IAO_0000123
definition: a condition describing the amount of time that has elapsed since an event.
definition: une condition décrivant le temps écoulé depuis un évènement. @fr
label: condition de temps écoulé @fr

number of doses per unit time condition
type: Class
subclass of: condition
subclass of: Restriction
  on property: has value specification
  some values from: temporal duration specification
subclass of: Restriction
  on property: has value specification
  some values from: dose administration count specification
has curation status: IAO_0000123
definition: a condition describing the number of dose administrations that have occurred over a given duration of time.
definition: une condition décrivant le nombre d'administration de doses qui se sont produites pendant une certaine durée de temps. @fr
label: condition décrivant le nombre de doses par unité de temps @fr

less than some number of doses per unit time condition
type: Class
subclass of: number of doses per unit time condition
example of usage: "less than 3 dose administrations have occurred in the last 15 minutes"
has curation status: IAO_0000123
definition: A number of doses condition that is true if and only if the number of dose administrations having occurred is less than a specified number.
definition: une condition décrivant le nombre de doses par unité de temps comme étant inférieur à un certain nombre d'administration de doses. @fr
label: condition indiquant que le nombre de doses par unité de temps est inférieur à @fr

greater than some number of doses per unit time condition
type: Class
subclass of: number of doses per unit time condition
example of usage: "greater than 1 dose has occurred in the last 6 hours"
has curation status: IAO_0000123
definition: A number of doses condition that is true if and only if the number of dose administrations having occurred is greater than a specified number.
definition: une condition décrivant le nombre de doses par unité de temps comme étant supérieur à un certain nombre d'administration de doses. @fr
label: condition indiquant que le nombre de doses par unité de temps est supérieur à @fr

exactly some number of doses per unit time condition
type: Class
subclass of: number of doses per unit time condition
example of usage: "1 dose administration has occurred in the last day"
has curation status: IAO_0000123
definition: A number of doses condition that is true if and only if a specified number of dose administrations have occurred.
definition: une condition décrivant le nombre de doses par unité de temps comme étant égal à un certain nombre d'administration de doses. @fr
label: condition indiquant que le nombre de doses par unité de temps est égal à @fr

number of dispensings condition
type: Class
subclass of: condition
subclass of: Restriction
  on property: has part
  some values from: drug dispensing count specification
has curation status: IAO_0000123
definition: A condition describing the number of dispensings that have occurred as directed by a certain prescription.
definition: Une condition d'une prescription décrivant un nombre de distributions passées. @fr
label: condition indiquant un nombre de distributions passées @fr

less than some number of dispensings condition
type: Class
subclass of: number of dispensings condition
example of usage: "if less than one dispensing has occurred"
has curation status: IAO_0000123
definition: A number of dispensings condition that is true if and only if the number of dispensings having occurred is less than a specified number.
definition: Un condition de nombre de distributions indiquant qu'un nombre de distributions passées est plus petit qu'un certain nombre. @fr
label: condition indiquant qu'un nombre de distributions passées est plus petit qu'un certain nombre @fr

total dosage condition
type: Class
subclass of: condition
subclass of: Class
  intersection of: Restriction
    on property: has part
    some values from: temporal duration specification
  intersection of: Restriction
    on property: has part
    some values from: Class
      union of: active ingredient mass value specification
      union of: drug product object count specification
      union of: drug product volume value specification
      union of: drug product mass value specification
      union of: pharmacological unit value specification
      union of: active ingredient molar value specification
example of usage: "10 units of insulin have been administered in the last hour"
has curation status: IAO_0000120
definition: a condition describing the amount of drug product or active ingredient that has been administered in a given duration of time.
definition: une condition décrivant la quantité de médicament ou d'ingrédient actif qui a été administrée pendant une certaine période de temps. @fr
label: condition de dosage total @fr

less than or equal to total dosage condition
type: Class
subclass of: total dosage condition
has curation status: IAO_0000120
definition: A total dosage condition that is true if and only if the total dosage administered is less or equal to a specified amount.
definition: une condition de dosage total où le dosage total administré est inférieur ou égal à une certaine quantité. @fr
label: condition de dosage total inférieur ou égal à une certaine quantité @fr

greater than total dosage condition
type: Class
subclass of: total dosage condition
has curation status: IAO_0000120
definition: A total dosage condition that is true if and only if the total dosage administered is greater than a specified amount.
definition: une condition de dosage total où le dosage total administré est supérieur à une certaine quantité. @fr
label: condition de dosage total supérieur à une certaine quantité @fr

equal to total dosage condition
type: Class
subclass of: total dosage condition
has curation status: IAO_0000120
definition: A total dosage condition that is true if and only if the total dosage administered is equal to a specified amount.
definition: une condition de dosage total où le dosage total administré est égal à une certaine quantité. @fr
label: condition de dosage total égal à une certaine quantité @fr

time elapsed since dose condition
type: Class
subclass of: time elapsed condition
example of usage: "6 hours have elapsed since the previous dose of metoprolol 50mg oral tablets"
has curation status: IAO_0000123
definition: Une condition décrivant le temps écoulé depuis une administration de dose. @fr
definition: a condition describing the time elapsed since a dose administration.
label: condition indiquant le temps écoulé depuis une administration de dose @fr

route of administration category specification
type: Class
subclass of: categorical value specification
has curation status: IAO_0000123
definition: A category value specification that specifies one route of administration from a standardized list of possible routes.
definition: Une spécification de valeur catégorique qui spécifie une voie d'administration. @fr
label: spécification de la catégorie de la voie d'administration @fr

non-generic drug product
type: Class
subclass of: drug product
disjoint with: generic drug product
has curation status: IAO_0000123
definition: A drug product that is not a generic drug product.
definition: Un médicament qui n’est pas un médicament générique. @fr
label: médicament non-générique @fr

generic drug product
type: Class
subclass of: drug product
has curation status: IAO_0000123
definition: A drug product that was approved and commercialized after the patent for that drug product expired.
definition: Une médicament qui a été approuvé et commercialisé après l'expiration du brevet correspondant. @fr
label: médicament générique @fr

INN name
type: Class
subclass of: active ingredient name
editor preferred term: International Nonproprietary Name
has curation status: IAO_0000123
definition: An active ingredient name that is an International Nonproprietary Name.
definition: Un nom d'ingrédient actif qui est un International Nonproprietary Name. @fr
editor note: We may require the addition of an INNM class in the future.
definition source: http://www.who.int/medicines/services/inn/innguidance/en/
elucidation: "INN are selected in principle only for single, well-defined substances that can be unequivocally characterized by a chemical name (or formula). It is the policy of the INN programme not to select names for mixtures of substances, while substances that are not fully characterized are included in the INN system in exceptional cases only. INN are not selected for herbal substances (vegetable drugs) or for homoeopathic products. It is also the policy of the INN programme not to select names for those substances that have a long history of use for medical purposes under well-established names such as those of alkaloids (e.g. morphine, codeine), or trivial chemical names (e.g. acetic acid). An INN is usually designated for the active part of the molecule only, to avoid the multiplication of entries in cases where several salts, esters, etc. are actually used. In such cases, the user of the INN has to create a modified INN (INNM) himself ; mepyramine maleate (a salt of mepyramine with maleic acid) is an example of an INNM. When the creation of an INNM would require the use of a long or inconvenient name for the radical part of the INNM, the INN programme will select a short name for such a radical (for example, mesilate for methanesulfonate)."
label: nom INN @fr

active ingredient name
type: Class
subclass of: textual entity
subclass of: Restriction
  on property: denotes
  some values from: active ingredient
has curation status: IAO_0000123
definition: A textual entity that allows the identification of an active ingredient.
definition: Une entité textuelle qui permet l'identification d'un ingrédient actif. @fr
label: nom d'ingrédient actif @fr

drug preparation
type: Class
subclass of: planned process
example of usage: A nurse injecting 9mL of amiodarone 50mg/mL in 250 mL of D5 solution. A patient mixing 4g of cholestyramine powder in a glass of orange juice.
has curation status: IAO_0000120
definition: A process in which a drug product is modified in order to render it more suitable for patient administration.
definition: Un processus dans lequel un médicament est modifié de manière à le rendre plus approprié pour une administration au patient. @fr
label: préparation de médicament @fr

administration dose form
type: Class
subclass of: configuration
subclass of: Restriction
  on property: inheres in
  some values from: drug product
example of usage: The configuration of a tablet after it has been crushed and dissolved in a glass of water. The configuration of a tablet before it has been administered
has curation status: IAO_0000123
definition: La configuration d'un médicament juste avant qu'il soit administré. @fr
definition: The configuration of a drug product just before it is administered.
editor note: This configuration may have been the result of some drug preparation.
label: forme de la dose d'administration @fr

drug product dose form
type: Class
subclass of: configuration
subclass of: Restriction
  on property: inheres in
  some values from: drug product
has curation status: IAO_0000123
definition: La configuration d'un médicament à la fin d'un processus de production pharmaceutique. @fr
definition: The configuration of a drug product at the end of a pharmaceutical production process.
editor note: This needs to be eventually distinguished with drug product vehicles.
label: forme de dose médicamenteuse @fr

active ingredient aggregate biological activity
type: Class
subclass of: quality
subclass of: Restriction
  on property: inheres in
  some values from: active ingredient aggregate
example of usage: The active ingredient aggregate strength in the active ingredient aggregate of 10 units of Humalog insulin
has curation status: IAO_0000120
definition: A quality inhering in an active ingredient aggregate by virtue of the magnitude of a standardized biological effect of that active ingredient.
definition: Une qualité inhérent dans un aggrégat d'ingrédient actif en vertu d'une magnitude d'effet biologique standardisé de cet ingrédient actif. @fr
elucidation: This is to represent the qualities that inhere in drugs measured by a standardized pharmacological unit. E.g. 1 unit of heparin is the quantity required to keep 1 mL of cat's blood fluid for 24 hours at 0°C. 1 unit of insulin is the amount required to reduce the concentration of blood glucose in a fasting rabbit to 45 mg/dl (2.5 mmol/L).
label: activité biologique d'un aggrégat d'ingrédient actif @fr

mass unit
type: Class
subclass of: measurement unit label
comment: "A unit which is a standard measure of the amount of matter/energy of a physical object." [Wikipedia:Wikipedia]

time unit
type: Class
subclass of: measurement unit label
comment: "A unit which is a standard measure of the dimension in which events occur in sequence." [Wikipedia:Wikipedia]

substance unit
type: Class
subclass of: measurement unit label
comment: "A unit which is a standardised quantity of an element or compound with uniform composition." [Wikipedia:Wikipedia]

volume unit
type: Class
subclass of: measurement unit label
comment: "A unit which is a standard measure of the amount of space occupied by any substance, whether solid, liquid, or gas." [NIST:NIST]

frequency unit
type: Class
subclass of: measurement unit label
comment: "A unit which is a standard measure of the number of repetitive actions in a particular time." [NIST:NIST]

volumetric flow rate unit
type: Class
subclass of: measurement unit label
comment: "A unit which is a standard measure of the volume of fluid which passes through a given surface per unit time ." [Wikipedia:Wikipedia]

qualified cardinality: 1