The Ethnicity Ontology (EO) has been developed by extending using Basic Formal Ontology 2 standard in order to have a common reference for ethnicity concepts for semantic integration of datasets. It attempts to utilise iterated proxy markers for ethnicity such language spoken and interpreter requirements in order to support health care research studies.
David Burleigh
Harshana Liyanage
Simon de Lusignan
Zayed Tippu
Relates an entity in the ontology to the name of the variable that is used to represent it in the code that generates the BFO OWL file from the lispy specification.
Really of interest to developers only
BFO OWL specification label
Relates an entity in the ontology to the term that is used to represent it in the the CLIF specification of BFO2
Person:Alan Ruttenberg
Really of interest to developers only
BFO CLIF specification label
editor preferred term
example of usage
definition
editor note
term editor
alternative term
definition source
curator note
imported from
elucidation
has associated axiom(nl)
has associated axiom(fol)
has axiom label
XE2Nt
F-02BCB
BFO:0000001
entity
Entity
Julius Caesar
Verdi’s Requiem
the Second World War
your body mass index
BFO 2 Reference: In all areas of empirical inquiry we encounter general terms of two sorts. First are general terms which refer to universals or types:animaltuberculosissurgical procedurediseaseSecond, are general terms used to refer to groups of entities which instantiate a given universal but do not correspond to the extension of any subuniversal of that universal because there is nothing intrinsic to the entities in question by virtue of which they – and only they – are counted as belonging to the given group. Examples are: animal purchased by the Emperortuberculosis diagnosed on a Wednesdaysurgical procedure performed on a patient from Stockholmperson identified as candidate for clinical trial #2056-555person who is signatory of Form 656-PPVpainting by Leonardo da VinciSuch terms, which represent what are called ‘specializations’ in [81
Entity doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example Werner Ceusters 'portions of reality' include 4 sorts, entities (as BFO construes them), universals, configurations, and relations. It is an open question as to whether entities as construed in BFO will at some point also include these other portions of reality. See, for example, 'How to track absolutely everything' at http://www.referent-tracking.com/_RTU/papers/CeustersICbookRevised.pdf
An entity is anything that exists or has existed or will exist. (axiom label in BFO2 Reference: [001-001])
entity
Entity doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example Werner Ceusters 'portions of reality' include 4 sorts, entities (as BFO construes them), universals, configurations, and relations. It is an open question as to whether entities as construed in BFO will at some point also include these other portions of reality. See, for example, 'How to track absolutely everything' at http://www.referent-tracking.com/_RTU/papers/CeustersICbookRevised.pdf
per discussion with Barry Smith
An entity is anything that exists or has existed or will exist. (axiom label in BFO2 Reference: [001-001])
BFO:0000002
continuant
Continuant
BFO 2 Reference: Continuant entities are entities which can be sliced to yield parts only along the spatial dimension, yielding for example the parts of your table which we call its legs, its top, its nails. ‘My desk stretches from the window to the door. It has spatial parts, and can be sliced (in space) in two. With respect to time, however, a thing is a continuant.’ [60, p. 240
Continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example, in an expansion involving bringing in some of Ceuster's other portions of reality, questions are raised as to whether universals are continuants
A continuant is an entity that persists, endures, or continues to exist through time while maintaining its identity. (axiom label in BFO2 Reference: [008-002])
if b is a continuant and if, for some t, c has_continuant_part b at t, then c is a continuant. (axiom label in BFO2 Reference: [126-001])
if b is a continuant and if, for some t, cis continuant_part of b at t, then c is a continuant. (axiom label in BFO2 Reference: [009-002])
if b is a material entity, then there is some temporal interval (referred to below as a one-dimensional temporal region) during which b exists. (axiom label in BFO2 Reference: [011-002])
(forall (x y) (if (and (Continuant x) (exists (t) (continuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [009-002]
(forall (x y) (if (and (Continuant x) (exists (t) (hasContinuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [126-001]
(forall (x) (if (Continuant x) (Entity x))) // axiom label in BFO2 CLIF: [008-002]
(forall (x) (if (Material Entity x) (exists (t) (and (TemporalRegion t) (existsAt x t))))) // axiom label in BFO2 CLIF: [011-002]
continuant
(forall (x y) (if (and (Continuant x) (exists (t) (hasContinuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [126-001]
(forall (x) (if (Continuant x) (Entity x))) // axiom label in BFO2 CLIF: [008-002]
(forall (x) (if (Material Entity x) (exists (t) (and (TemporalRegion t) (existsAt x t))))) // axiom label in BFO2 CLIF: [011-002]
Continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example, in an expansion involving bringing in some of Ceuster's other portions of reality, questions are raised as to whether universals are continuants
A continuant is an entity that persists, endures, or continues to exist through time while maintaining its identity. (axiom label in BFO2 Reference: [008-002])
if b is a continuant and if, for some t, c has_continuant_part b at t, then c is a continuant. (axiom label in BFO2 Reference: [126-001])
if b is a continuant and if, for some t, cis continuant_part of b at t, then c is a continuant. (axiom label in BFO2 Reference: [009-002])
if b is a material entity, then there is some temporal interval (referred to below as a one-dimensional temporal region) during which b exists. (axiom label in BFO2 Reference: [011-002])
(forall (x y) (if (and (Continuant x) (exists (t) (continuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [009-002]
BFO:0000003
occurrent
Occurrent
BFO 2 Reference: every occurrent that is not a temporal or spatiotemporal region is s-dependent on some independent continuant that is not a spatial region
BFO 2 Reference: s-dependence obtains between every process and its participants in the sense that, as a matter of necessity, this process could not have existed unless these or those participants existed also. A process may have a succession of participants at different phases of its unfolding. Thus there may be different players on the field at different times during the course of a football game; but the process which is the entire game s-depends_on all of these players nonetheless. Some temporal parts of this process will s-depend_on on only some of the players.
Occurrent doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. An example would be the sum of a process and the process boundary of another process.
Simons uses different terminology for relations of occurrents to regions: Denote the spatio-temporal location of a given occurrent e by 'spn[e]' and call this region its span. We may say an occurrent is at its span, in any larger region, and covers any smaller region. Now suppose we have fixed a frame of reference so that we can speak not merely of spatio-temporal but also of spatial regions (places) and temporal regions (times). The spread of an occurrent, (relative to a frame of reference) is the space it exactly occupies, and its spell is likewise the time it exactly occupies. We write 'spr[e]' and `spl[e]' respectively for the spread and spell of e, omitting mention of the frame.
An occurrent is an entity that unfolds itself in time or it is the instantaneous boundary of such an entity (for example a beginning or an ending) or it is a temporal or spatiotemporal region which such an entity occupies_temporal_region or occupies_spatiotemporal_region. (axiom label in BFO2 Reference: [077-002])
Every occurrent occupies_spatiotemporal_region some spatiotemporal region. (axiom label in BFO2 Reference: [108-001])
b is an occurrent entity iff b is an entity that has temporal parts. (axiom label in BFO2 Reference: [079-001])
(forall (x) (if (Occurrent x) (exists (r) (and (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion x r))))) // axiom label in BFO2 CLIF: [108-001]
(forall (x) (iff (Occurrent x) (and (Entity x) (exists (y) (temporalPartOf y x))))) // axiom label in BFO2 CLIF: [079-001]
occurrent
Occurrent doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. An example would be the sum of a process and the process boundary of another process.
per discussion with Barry Smith
Simons uses different terminology for relations of occurrents to regions: Denote the spatio-temporal location of a given occurrent e by 'spn[e]' and call this region its span. We may say an occurrent is at its span, in any larger region, and covers any smaller region. Now suppose we have fixed a frame of reference so that we can speak not merely of spatio-temporal but also of spatial regions (places) and temporal regions (times). The spread of an occurrent, (relative to a frame of reference) is the space it exactly occupies, and its spell is likewise the time it exactly occupies. We write 'spr[e]' and `spl[e]' respectively for the spread and spell of e, omitting mention of the frame.
An occurrent is an entity that unfolds itself in time or it is the instantaneous boundary of such an entity (for example a beginning or an ending) or it is a temporal or spatiotemporal region which such an entity occupies_temporal_region or occupies_spatiotemporal_region. (axiom label in BFO2 Reference: [077-002])
Every occurrent occupies_spatiotemporal_region some spatiotemporal region. (axiom label in BFO2 Reference: [108-001])
b is an occurrent entity iff b is an entity that has temporal parts. (axiom label in BFO2 Reference: [079-001])
(forall (x) (if (Occurrent x) (exists (r) (and (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion x r))))) // axiom label in BFO2 CLIF: [108-001]
(forall (x) (iff (Occurrent x) (and (Entity x) (exists (y) (temporalPartOf y x))))) // axiom label in BFO2 CLIF: [079-001]
BFO:0000004
ic
IndependentContinuant
a chair
a heart
a leg
a molecule
a spatial region
an atom
an orchestra.
an organism
the bottom right portion of a human torso
the interior of your mouth
b is an independent continuant = Def. b is a continuant which is such that there is no c and no t such that b s-depends_on c at t. (axiom label in BFO2 Reference: [017-002])
For any independent continuant b and any time t there is some spatial region r such that b is located_in r at t. (axiom label in BFO2 Reference: [134-001])
For every independent continuant b and time t during the region of time spanned by its life, there are entities which s-depends_on b during t. (axiom label in BFO2 Reference: [018-002])
(forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001]
(forall (x t) (if (and (IndependentContinuant x) (existsAt x t)) (exists (y) (and (Entity y) (specificallyDependsOnAt y x t))))) // axiom label in BFO2 CLIF: [018-002]
(iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002]
independent continuant
b is an independent continuant = Def. b is a continuant which is such that there is no c and no t such that b s-depends_on c at t. (axiom label in BFO2 Reference: [017-002])
For any independent continuant b and any time t there is some spatial region r such that b is located_in r at t. (axiom label in BFO2 Reference: [134-001])
For every independent continuant b and time t during the region of time spanned by its life, there are entities which s-depends_on b during t. (axiom label in BFO2 Reference: [018-002])
(forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001]
(forall (x t) (if (and (IndependentContinuant x) (existsAt x t)) (exists (y) (and (Entity y) (specificallyDependsOnAt y x t))))) // axiom label in BFO2 CLIF: [018-002]
(iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002]
BFO:0000006
s-region
SpatialRegion
BFO 2 Reference: Spatial regions do not participate in processes.
Spatial region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the union of a spatial point and a spatial line that doesn't overlap the point, or two spatial lines that intersect at a single point. In both cases the resultant spatial region is neither 0-dimensional, 1-dimensional, 2-dimensional, or 3-dimensional.
A spatial region is a continuant entity that is a continuant_part_of spaceR as defined relative to some frame R. (axiom label in BFO2 Reference: [035-001])
All continuant parts of spatial regions are spatial regions. (axiom label in BFO2 Reference: [036-001])
(forall (x y t) (if (and (SpatialRegion x) (continuantPartOfAt y x t)) (SpatialRegion y))) // axiom label in BFO2 CLIF: [036-001]
(forall (x) (if (SpatialRegion x) (Continuant x))) // axiom label in BFO2 CLIF: [035-001]
spatial region
Spatial region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the union of a spatial point and a spatial line that doesn't overlap the point, or two spatial lines that intersect at a single point. In both cases the resultant spatial region is neither 0-dimensional, 1-dimensional, 2-dimensional, or 3-dimensional.
per discussion with Barry Smith
A spatial region is a continuant entity that is a continuant_part_of spaceR as defined relative to some frame R. (axiom label in BFO2 Reference: [035-001])
All continuant parts of spatial regions are spatial regions. (axiom label in BFO2 Reference: [036-001])
(forall (x y t) (if (and (SpatialRegion x) (continuantPartOfAt y x t)) (SpatialRegion y))) // axiom label in BFO2 CLIF: [036-001]
(forall (x) (if (SpatialRegion x) (Continuant x))) // axiom label in BFO2 CLIF: [035-001]
BFO:0000008
t-region
TemporalRegion
Temporal region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the mereological sum of a temporal instant and a temporal interval that doesn't overlap the instant. In this case the resultant temporal region is neither 0-dimensional nor 1-dimensional
A temporal region is an occurrent entity that is part of time as defined relative to some reference frame. (axiom label in BFO2 Reference: [100-001])
All parts of temporal regions are temporal regions. (axiom label in BFO2 Reference: [101-001])
Every temporal region t is such that t occupies_temporal_region t. (axiom label in BFO2 Reference: [119-002])
(forall (r) (if (TemporalRegion r) (occupiesTemporalRegion r r))) // axiom label in BFO2 CLIF: [119-002]
(forall (x y) (if (and (TemporalRegion x) (occurrentPartOf y x)) (TemporalRegion y))) // axiom label in BFO2 CLIF: [101-001]
(forall (x) (if (TemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [100-001]
temporal region
Temporal region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the mereological sum of a temporal instant and a temporal interval that doesn't overlap the instant. In this case the resultant temporal region is neither 0-dimensional nor 1-dimensional
per discussion with Barry Smith
A temporal region is an occurrent entity that is part of time as defined relative to some reference frame. (axiom label in BFO2 Reference: [100-001])
All parts of temporal regions are temporal regions. (axiom label in BFO2 Reference: [101-001])
Every temporal region t is such that t occupies_temporal_region t. (axiom label in BFO2 Reference: [119-002])
(forall (r) (if (TemporalRegion r) (occupiesTemporalRegion r r))) // axiom label in BFO2 CLIF: [119-002]
(forall (x y) (if (and (TemporalRegion x) (occurrentPartOf y x)) (TemporalRegion y))) // axiom label in BFO2 CLIF: [101-001]
(forall (x) (if (TemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [100-001]
BFO:0000009
2d-s-region
TwoDimensionalSpatialRegion
an infinitely thin plane in space.
the surface of a sphere-shaped part of space
A two-dimensional spatial region is a spatial region that is of two dimensions. (axiom label in BFO2 Reference: [039-001])
(forall (x) (if (TwoDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [039-001]
two-dimensional spatial region
A two-dimensional spatial region is a spatial region that is of two dimensions. (axiom label in BFO2 Reference: [039-001])
(forall (x) (if (TwoDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [039-001]
BFO:0000011
st-region
SpatiotemporalRegion
the spatiotemporal region occupied by a human life
the spatiotemporal region occupied by a process of cellular meiosis.
the spatiotemporal region occupied by the development of a cancer tumor
A spatiotemporal region is an occurrent entity that is part of spacetime. (axiom label in BFO2 Reference: [095-001])
All parts of spatiotemporal regions are spatiotemporal regions. (axiom label in BFO2 Reference: [096-001])
Each spatiotemporal region at any time t projects_onto some spatial region at t. (axiom label in BFO2 Reference: [099-001])
Each spatiotemporal region projects_onto some temporal region. (axiom label in BFO2 Reference: [098-001])
Every spatiotemporal region occupies_spatiotemporal_region itself.
Every spatiotemporal region s is such that s occupies_spatiotemporal_region s. (axiom label in BFO2 Reference: [107-002])
(forall (r) (if (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion r r))) // axiom label in BFO2 CLIF: [107-002]
(forall (x t) (if (SpatioTemporalRegion x) (exists (y) (and (SpatialRegion y) (spatiallyProjectsOntoAt x y t))))) // axiom label in BFO2 CLIF: [099-001]
(forall (x y) (if (and (SpatioTemporalRegion x) (occurrentPartOf y x)) (SpatioTemporalRegion y))) // axiom label in BFO2 CLIF: [096-001]
(forall (x) (if (SpatioTemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [095-001]
(forall (x) (if (SpatioTemporalRegion x) (exists (y) (and (TemporalRegion y) (temporallyProjectsOnto x y))))) // axiom label in BFO2 CLIF: [098-001]
spatiotemporal region
A spatiotemporal region is an occurrent entity that is part of spacetime. (axiom label in BFO2 Reference: [095-001])
All parts of spatiotemporal regions are spatiotemporal regions. (axiom label in BFO2 Reference: [096-001])
Each spatiotemporal region at any time t projects_onto some spatial region at t. (axiom label in BFO2 Reference: [099-001])
Each spatiotemporal region projects_onto some temporal region. (axiom label in BFO2 Reference: [098-001])
Every spatiotemporal region s is such that s occupies_spatiotemporal_region s. (axiom label in BFO2 Reference: [107-002])
(forall (r) (if (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion r r))) // axiom label in BFO2 CLIF: [107-002]
(forall (x t) (if (SpatioTemporalRegion x) (exists (y) (and (SpatialRegion y) (spatiallyProjectsOntoAt x y t))))) // axiom label in BFO2 CLIF: [099-001]
(forall (x y) (if (and (SpatioTemporalRegion x) (occurrentPartOf y x)) (SpatioTemporalRegion y))) // axiom label in BFO2 CLIF: [096-001]
(forall (x) (if (SpatioTemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [095-001]
(forall (x) (if (SpatioTemporalRegion x) (exists (y) (and (TemporalRegion y) (temporallyProjectsOnto x y))))) // axiom label in BFO2 CLIF: [098-001]
BFO:0000015
process
Process
a process of cell-division, \ a beating of the heart
a process of meiosis
a process of sleeping
the course of a disease
the flight of a bird
the life of an organism
your process of aging.
p is a process = Def. p is an occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. (axiom label in BFO2 Reference: [083-003])
BFO 2 Reference: The realm of occurrents is less pervasively marked by the presence of natural units than is the case in the realm of independent continuants. Thus there is here no counterpart of ‘object’. In BFO 1.0 ‘process’ served as such a counterpart. In BFO 2.0 ‘process’ is, rather, the occurrent counterpart of ‘material entity’. Those natural – as contrasted with engineered, which here means: deliberately executed – units which do exist in the realm of occurrents are typically either parasitic on the existence of natural units on the continuant side, or they are fiat in nature. Thus we can count lives; we can count football games; we can count chemical reactions performed in experiments or in chemical manufacturing. We cannot count the processes taking place, for instance, in an episode of insect mating behavior.Even where natural units are identifiable, for example cycles in a cyclical process such as the beating of a heart or an organism’s sleep/wake cycle, the processes in question form a sequence with no discontinuities (temporal gaps) of the sort that we find for instance where billiard balls or zebrafish or planets are separated by clear spatial gaps. Lives of organisms are process units, but they too unfold in a continuous series from other, prior processes such as fertilization, and they unfold in turn in continuous series of post-life processes such as post-mortem decay. Clear examples of boundaries of processes are almost always of the fiat sort (midnight, a time of death as declared in an operating theater or on a death certificate, the initiation of a state of war)
(iff (Process a) (and (Occurrent a) (exists (b) (properTemporalPartOf b a)) (exists (c t) (and (MaterialEntity c) (specificallyDependsOnAt a c t))))) // axiom label in BFO2 CLIF: [083-003]
process
p is a process = Def. p is an occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. (axiom label in BFO2 Reference: [083-003])
(iff (Process a) (and (Occurrent a) (exists (b) (properTemporalPartOf b a)) (exists (c t) (and (MaterialEntity c) (specificallyDependsOnAt a c t))))) // axiom label in BFO2 CLIF: [083-003]
BFO:0000016
disposition
Disposition
an atom of element X has the disposition to decay to an atom of element Y
certain people have a predisposition to colon cancer
children are innately disposed to categorize objects in certain ways.
the cell wall is disposed to filter chemicals in endocytosis and exocytosis
BFO 2 Reference: Dispositions exist along a strength continuum. Weaker forms of disposition are realized in only a fraction of triggering cases. These forms occur in a significant number of cases of a similar type.
b is a disposition means: b is a realizable entity & b’s bearer is some material entity & b is such that if it ceases to exist, then its bearer is physically changed, & b’s realization occurs when and because this bearer is in some special physical circumstances, & this realization occurs in virtue of the bearer’s physical make-up. (axiom label in BFO2 Reference: [062-002])
If b is a realizable entity then for all t at which b exists, b s-depends_on some material entity at t. (axiom label in BFO2 Reference: [063-002])
(forall (x t) (if (and (RealizableEntity x) (existsAt x t)) (exists (y) (and (MaterialEntity y) (specificallyDepends x y t))))) // axiom label in BFO2 CLIF: [063-002]
(forall (x) (if (Disposition x) (and (RealizableEntity x) (exists (y) (and (MaterialEntity y) (bearerOfAt x y t)))))) // axiom label in BFO2 CLIF: [062-002]
disposition
b is a disposition means: b is a realizable entity & b’s bearer is some material entity & b is such that if it ceases to exist, then its bearer is physically changed, & b’s realization occurs when and because this bearer is in some special physical circumstances, & this realization occurs in virtue of the bearer’s physical make-up. (axiom label in BFO2 Reference: [062-002])
If b is a realizable entity then for all t at which b exists, b s-depends_on some material entity at t. (axiom label in BFO2 Reference: [063-002])
(forall (x t) (if (and (RealizableEntity x) (existsAt x t)) (exists (y) (and (MaterialEntity y) (specificallyDepends x y t))))) // axiom label in BFO2 CLIF: [063-002]
(forall (x) (if (Disposition x) (and (RealizableEntity x) (exists (y) (and (MaterialEntity y) (bearerOfAt x y t)))))) // axiom label in BFO2 CLIF: [062-002]
BFO:0000017
realizable
RealizableEntity
the disposition of this piece of metal to conduct electricity.
the disposition of your blood to coagulate
the function of your reproductive organs
the role of being a doctor
the role of this boundary to delineate where Utah and Colorado meet
To say that b is a realizable entity is to say that b is a specifically dependent continuant that inheres in some independent continuant which is not a spatial region and is of a type instances of which are realized in processes of a correlated type. (axiom label in BFO2 Reference: [058-002])
All realizable dependent continuants have independent continuants that are not spatial regions as their bearers. (axiom label in BFO2 Reference: [060-002])
(forall (x t) (if (RealizableEntity x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (bearerOfAt y x t))))) // axiom label in BFO2 CLIF: [060-002]
(forall (x) (if (RealizableEntity x) (and (SpecificallyDependentContinuant x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (inheresIn x y)))))) // axiom label in BFO2 CLIF: [058-002]
realizable entity
To say that b is a realizable entity is to say that b is a specifically dependent continuant that inheres in some independent continuant which is not a spatial region and is of a type instances of which are realized in processes of a correlated type. (axiom label in BFO2 Reference: [058-002])
All realizable dependent continuants have independent continuants that are not spatial regions as their bearers. (axiom label in BFO2 Reference: [060-002])
(forall (x t) (if (RealizableEntity x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (bearerOfAt y x t))))) // axiom label in BFO2 CLIF: [060-002]
(forall (x) (if (RealizableEntity x) (and (SpecificallyDependentContinuant x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (inheresIn x y)))))) // axiom label in BFO2 CLIF: [058-002]
BFO:0000018
0d-s-region
ZeroDimensionalSpatialRegion
A zero-dimensional spatial region is a point in space. (axiom label in BFO2 Reference: [037-001])
(forall (x) (if (ZeroDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [037-001]
zero-dimensional spatial region
A zero-dimensional spatial region is a point in space. (axiom label in BFO2 Reference: [037-001])
(forall (x) (if (ZeroDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [037-001]
BFO:0000019
quality
Quality
the ambient temperature of this portion of air
the color of a tomato
the length of the circumference of your waist
the mass of this piece of gold.
the shape of your nose
the shape of your nostril
a quality is a specifically dependent continuant that, in contrast to roles and dispositions, does not require any further process in order to be realized. (axiom label in BFO2 Reference: [055-001])
If an entity is a quality at any time that it exists, then it is a quality at every time that it exists. (axiom label in BFO2 Reference: [105-001])
(forall (x) (if (Quality x) (SpecificallyDependentContinuant x))) // axiom label in BFO2 CLIF: [055-001]
(forall (x) (if (exists (t) (and (existsAt x t) (Quality x))) (forall (t_1) (if (existsAt x t_1) (Quality x))))) // axiom label in BFO2 CLIF: [105-001]
quality
a quality is a specifically dependent continuant that, in contrast to roles and dispositions, does not require any further process in order to be realized. (axiom label in BFO2 Reference: [055-001])
If an entity is a quality at any time that it exists, then it is a quality at every time that it exists. (axiom label in BFO2 Reference: [105-001])
(forall (x) (if (Quality x) (SpecificallyDependentContinuant x))) // axiom label in BFO2 CLIF: [055-001]
(forall (x) (if (exists (t) (and (existsAt x t) (Quality x))) (forall (t_1) (if (existsAt x t_1) (Quality x))))) // axiom label in BFO2 CLIF: [105-001]
BFO:0000020
sdc
SpecificallyDependentContinuant
Reciprocal specifically dependent continuants: the function of this key to open this lock and the mutually dependent disposition of this lock: to be opened by this key
of one-sided specifically dependent continuants: the mass of this tomato
of relational dependent continuants (multiple bearers): John’s love for Mary, the ownership relation between John and this statue, the relation of authority between John and his subordinates.
the disposition of this fish to decay
the function of this heart: to pump blood
the mutual dependence of proton donors and acceptors in chemical reactions [79
the mutual dependence of the role predator and the role prey as played by two organisms in a given interaction
the pink color of a medium rare piece of grilled filet mignon at its center
the role of being a doctor
the shape of this hole.
the smell of this portion of mozzarella
b is a specifically dependent continuant = Def. b is a continuant & there is some independent continuant c which is not a spatial region and which is such that b s-depends_on c at every time t during the course of b’s existence. (axiom label in BFO2 Reference: [050-003])
Specifically dependent continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. We're not sure what else will develop here, but for example there are questions such as what are promises, obligation, etc.
(iff (SpecificallyDependentContinuant a) (and (Continuant a) (forall (t) (if (existsAt a t) (exists (b) (and (IndependentContinuant b) (not (SpatialRegion b)) (specificallyDependsOnAt a b t))))))) // axiom label in BFO2 CLIF: [050-003]
specifically dependent continuant
b is a specifically dependent continuant = Def. b is a continuant & there is some independent continuant c which is not a spatial region and which is such that b s-depends_on c at every time t during the course of b’s existence. (axiom label in BFO2 Reference: [050-003])
Specifically dependent continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. We're not sure what else will develop here, but for example there are questions such as what are promises, obligation, etc.
per discussion with Barry Smith
(iff (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]
BFO:0000023
role
Role
John’s role of husband to Mary is dependent on Mary’s role of wife to John, and both are dependent on the object aggregate comprising John and Mary as member parts joined together through the relational quality of being married.
the priest role
the role of a boundary to demarcate two neighboring administrative territories
the role of a building in serving as a military target
the role of a stone in marking a property boundary
the role of subject in a clinical trial
the student role
BFO 2 Reference: One major family of examples of non-rigid universals involves roles, and ontologies developed for corresponding administrative purposes may consist entirely of representatives of entities of this sort. Thus ‘professor’, defined as follows,b instance_of professor at t =Def. there is some c, c instance_of professor role & c inheres_in b at t.denotes a non-rigid universal and so also do ‘nurse’, ‘student’, ‘colonel’, ‘taxpayer’, and so forth. (These terms are all, in the jargon of philosophy, phase sortals.) By using role terms in definitions, we can create a BFO conformant treatment of such entities drawing on the fact that, while an instance of professor may be simultaneously an instance of trade union member, no instance of the type professor role is also (at any time) an instance of the type trade union member role (any more than any instance of the type color is at any time an instance of the type length).If an ontology of employment positions should be defined in terms of roles following the above pattern, this enables the ontology to do justice to the fact that individuals instantiate the corresponding universals – professor, sergeant, nurse – only during certain phases in their lives.
b is a role means: b is a realizable entity & b exists because there is some single bearer that is in some special physical, social, or institutional set of circumstances in which this bearer does not have to be& b is not such that, if it ceases to exist, then the physical make-up of the bearer is thereby changed. (axiom label in BFO2 Reference: [061-001])
(forall (x) (if (Role x) (RealizableEntity x))) // axiom label in BFO2 CLIF: [061-001]
role
b is a role means: b is a realizable entity & b exists because there is some single bearer that is in some special physical, social, or institutional set of circumstances in which this bearer does not have to be& b is not such that, if it ceases to exist, then the physical make-up of the bearer is thereby changed. (axiom label in BFO2 Reference: [061-001])
(forall (x) (if (Role x) (RealizableEntity x))) // axiom label in BFO2 CLIF: [061-001]
BFO:0000024
fiat-object-part
FiatObjectPart
or with divisions drawn by cognitive subjects for practical reasons, such as the division of a cake (before slicing) into (what will become) slices (and thus member parts of an object aggregate). However, this does not mean that fiat object parts are dependent for their existence on divisions or delineations effected by cognitive subjects. If, for example, it is correct to conceive geological layers of the Earth as fiat object parts of the Earth, then even though these layers were first delineated in recent times, still existed long before such delineation and what holds of these layers (for example that the oldest layers are also the lowest layers) did not begin to hold because of our acts of delineation.Treatment of material entity in BFOExamples viewed by some as problematic cases for the trichotomy of fiat object part, object, and object aggregate include: a mussel on (and attached to) a rock, a slime mold, a pizza, a cloud, a galaxy, a railway train with engine and multiple carriages, a clonal stand of quaking aspen, a bacterial community (biofilm), a broken femur. Note that, as Aristotle already clearly recognized, such problematic cases – which lie at or near the penumbra of instances defined by the categories in question – need not invalidate these categories. The existence of grey objects does not prove that there are not objects which are black and objects which are white; the existence of mules does not prove that there are not objects which are donkeys and objects which are horses. It does, however, show that the examples in question need to be addressed carefully in order to show how they can be fitted into the proposed scheme, for example by recognizing additional subdivisions [29
the FMA:regional parts of an intact human body.
the Western hemisphere of the Earth
the division of the brain into regions
the division of the planet into hemispheres
the dorsal and ventral surfaces of the body
the upper and lower lobes of the left lung
BFO 2 Reference: Most examples of fiat object parts are associated with theoretically drawn divisions
b is a fiat object part = Def. b is a material entity which is such that for all times t, if b exists at t then there is some object c such that b proper continuant_part of c at t and c is demarcated from the remainder of c by a two-dimensional continuant fiat boundary. (axiom label in BFO2 Reference: [027-004])
(forall (x) (if (FiatObjectPart x) (and (MaterialEntity x) (forall (t) (if (existsAt x t) (exists (y) (and (Object y) (properContinuantPartOfAt x y t)))))))) // axiom label in BFO2 CLIF: [027-004]
fiat object part
b is a fiat object part = Def. b is a material entity which is such that for all times t, if b exists at t then there is some object c such that b proper continuant_part of c at t and c is demarcated from the remainder of c by a two-dimensional continuant fiat boundary. (axiom label in BFO2 Reference: [027-004])
(forall (x) (if (FiatObjectPart x) (and (MaterialEntity x) (forall (t) (if (existsAt x t) (exists (y) (and (Object y) (properContinuantPartOfAt x y t)))))))) // axiom label in BFO2 CLIF: [027-004]
BFO:0000026
1d-s-region
OneDimensionalSpatialRegion
an edge of a cube-shaped portion of space.
A one-dimensional spatial region is a line or aggregate of lines stretching from one point in space to another. (axiom label in BFO2 Reference: [038-001])
(forall (x) (if (OneDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [038-001]
one-dimensional spatial region
A one-dimensional spatial region is a line or aggregate of lines stretching from one point in space to another. (axiom label in BFO2 Reference: [038-001])
(forall (x) (if (OneDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [038-001]
BFO:0000027
object-aggregate
ObjectAggregate
a collection of cells in a blood biobank.
a swarm of bees is an aggregate of members who are linked together through natural bonds
a symphony orchestra
an organization is an aggregate whose member parts have roles of specific types (for example in a jazz band, a chess club, a football team)
defined by fiat: the aggregate of members of an organization
defined through physical attachment: the aggregate of atoms in a lump of granite
defined through physical containment: the aggregate of molecules of carbon dioxide in a sealed container
defined via attributive delimitations such as: the patients in this hospital
the aggregate of bearings in a constant velocity axle joint
the aggregate of blood cells in your body
the nitrogen atoms in the atmosphere
the restaurants in Palo Alto
your collection of Meissen ceramic plates.
An entity a is an object aggregate if and only if there is a mutually exhaustive and pairwise disjoint partition of a into objects
BFO 2 Reference: object aggregates may gain and lose parts while remaining numerically identical (one and the same individual) over time. This holds both for aggregates whose membership is determined naturally (the aggregate of cells in your body) and aggregates determined by fiat (a baseball team, a congressional committee).
ISBN:978-3-938793-98-5pp124-158#Thomas Bittner and Barry Smith, 'A Theory of Granular Partitions', in K. Munn and B. Smith (eds.), Applied Ontology: An Introduction, Frankfurt/Lancaster: ontos, 2008, 125-158.
b is an object aggregate means: b is a material entity consisting exactly of a plurality of objects as member_parts at all times at which b exists. (axiom label in BFO2 Reference: [025-004])
(forall (x) (if (ObjectAggregate x) (and (MaterialEntity x) (forall (t) (if (existsAt x t) (exists (y z) (and (Object y) (Object z) (memberPartOfAt y x t) (memberPartOfAt z x t) (not (= y z)))))) (not (exists (w t_1) (and (memberPartOfAt w x t_1) (not (Object w)))))))) // axiom label in BFO2 CLIF: [025-004]
object aggregate
An entity a is an object aggregate if and only if there is a mutually exhaustive and pairwise disjoint partition of a into objects
An entity a is an object aggregate if and only if there is a mutually exhaustive and pairwise disjoint partition of a into objects
ISBN:978-3-938793-98-5pp124-158#Thomas Bittner and Barry Smith, 'A Theory of Granular Partitions', in K. Munn and B. Smith (eds.), Applied Ontology: An Introduction, Frankfurt/Lancaster: ontos, 2008, 125-158.
b is an object aggregate means: b is a material entity consisting exactly of a plurality of objects as member_parts at all times at which b exists. (axiom label in BFO2 Reference: [025-004])
(forall (x) (if (ObjectAggregate x) (and (MaterialEntity x) (forall (t) (if (existsAt x t) (exists (y z) (and (Object y) (Object z) (memberPartOfAt y x t) (memberPartOfAt z x t) (not (= y z)))))) (not (exists (w t_1) (and (memberPartOfAt w x t_1) (not (Object w)))))))) // axiom label in BFO2 CLIF: [025-004]
BFO:0000028
3d-s-region
ThreeDimensionalSpatialRegion
a cube-shaped region of space
a sphere-shaped region of space,
A three-dimensional spatial region is a spatial region that is of three dimensions. (axiom label in BFO2 Reference: [040-001])
(forall (x) (if (ThreeDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [040-001]
three-dimensional spatial region
A three-dimensional spatial region is a spatial region that is of three dimensions. (axiom label in BFO2 Reference: [040-001])
(forall (x) (if (ThreeDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [040-001]
BFO:0000029
site
Site
Manhattan Canyon)
a hole in the interior of a portion of cheese
a rabbit hole
an air traffic control region defined in the airspace above an airport
the Grand Canyon
the Piazza San Marco
the cockpit of an aircraft
the hold of a ship
the interior of a kangaroo pouch
the interior of the trunk of your car
the interior of your bedroom
the interior of your office
the interior of your refrigerator
the lumen of your gut
your left nostril (a fiat part – the opening – of your left nasal cavity)
b is a site means: b is a three-dimensional immaterial entity that is (partially or wholly) bounded by a material entity or it is a three-dimensional immaterial part thereof. (axiom label in BFO2 Reference: [034-002])
(forall (x) (if (Site x) (ImmaterialEntity x))) // axiom label in BFO2 CLIF: [034-002]
site
b is a site means: b is a three-dimensional immaterial entity that is (partially or wholly) bounded by a material entity or it is a three-dimensional immaterial part thereof. (axiom label in BFO2 Reference: [034-002])
(forall (x) (if (Site x) (ImmaterialEntity x))) // axiom label in BFO2 CLIF: [034-002]
BFO:0000030
object
Object
atom
cell
cells and organisms
engineered artifacts
grain of sand
molecule
organelle
organism
planet
solid portions of matter
star
BFO 2 Reference: BFO rests on the presupposition that at multiple micro-, meso- and macroscopic scales reality exhibits certain stable, spatially separated or separable material units, combined or combinable into aggregates of various sorts (for example organisms into what are called ‘populations’). Such units play a central role in almost all domains of natural science from particle physics to cosmology. Many scientific laws govern the units in question, employing general terms (such as ‘molecule’ or ‘planet’) referring to the types and subtypes of units, and also to the types and subtypes of the processes through which such units develop and interact. The division of reality into such natural units is at the heart of biological science, as also is the fact that these units may form higher-level units (as cells form multicellular organisms) and that they may also form aggregates of units, for example as cells form portions of tissue and organs form families, herds, breeds, species, and so on. At the same time, the division of certain portions of reality into engineered units (manufactured artifacts) is the basis of modern industrial technology, which rests on the distributed mass production of engineered parts through division of labor and on their assembly into larger, compound units such as cars and laptops. The division of portions of reality into units is one starting point for the phenomenon of counting.
BFO 2 Reference: Each object is such that there are entities of which we can assert unproblematically that they lie in its interior, and other entities of which we can assert unproblematically that they lie in its exterior. This may not be so for entities lying at or near the boundary between the interior and exterior. This means that two objects – for example the two cells depicted in Figure 3 – may be such that there are material entities crossing their boundaries which belong determinately to neither cell. Something similar obtains in certain cases of conjoined twins (see below).
BFO 2 Reference: To say that b is causally unified means: b is a material entity which is such that its material parts are tied together in such a way that, in environments typical for entities of the type in question,if c, a continuant part of b that is in the interior of b at t, is larger than a certain threshold size (which will be determined differently from case to case, depending on factors such as porosity of external cover) and is moved in space to be at t at a location on the exterior of the spatial region that had been occupied by b at t, then either b’s other parts will be moved in coordinated fashion or b will be damaged (be affected, for example, by breakage or tearing) in the interval between t and t.causal changes in one part of b can have consequences for other parts of b without the mediation of any entity that lies on the exterior of b. Material entities with no proper material parts would satisfy these conditions trivially. Candidate examples of types of causal unity for material entities of more complex sorts are as follows (this is not intended to be an exhaustive list):CU1: Causal unity via physical coveringHere the parts in the interior of the unified entity are combined together causally through a common membrane or other physical covering\. The latter points outwards toward and may serve a protective function in relation to what lies on the exterior of the entity [13, 47
BFO 2 Reference: an object is a maximal causally unified material entity
BFO 2 Reference: ‘objects’ are sometimes referred to as ‘grains’ [74
b is an object means: b is a material entity which manifests causal unity of one or other of the types CUn listed above & is of a type (a material universal) instances of which are maximal relative to this criterion of causal unity. (axiom label in BFO2 Reference: [024-001])
object
b is an object means: b is a material entity which manifests causal unity of one or other of the types CUn listed above & is of a type (a material universal) instances of which are maximal relative to this criterion of causal unity. (axiom label in BFO2 Reference: [024-001])
BFO:0000031
gdc
GenericallyDependentContinuant
The entries in your database are patterns instantiated as quality instances in your hard drive. The database itself is an aggregate of such patterns. When you create the database you create a particular instance of the generically dependent continuant type database. Each entry in the database is an instance of the generically dependent continuant type IAO: information content entity.
the pdf file on your laptop, the pdf file that is a copy thereof on my laptop
the sequence of this protein molecule; the sequence that is a copy thereof in that protein molecule.
b is a generically dependent continuant = Def. b is a continuant that g-depends_on one or more other entities. (axiom label in BFO2 Reference: [074-001])
(iff (GenericallyDependentContinuant a) (and (Continuant a) (exists (b t) (genericallyDependsOnAt a b t)))) // axiom label in BFO2 CLIF: [074-001]
generically dependent continuant
b is a generically dependent continuant = Def. b is a continuant that g-depends_on one or more other entities. (axiom label in BFO2 Reference: [074-001])
(iff (GenericallyDependentContinuant a) (and (Continuant a) (exists (b t) (genericallyDependsOnAt a b t)))) // axiom label in BFO2 CLIF: [074-001]
BFO:0000034
function
Function
the function of a hammer to drive in nails
the function of a heart pacemaker to regulate the beating of a heart through electricity
the function of amylase in saliva to break down starch into sugar
BFO 2 Reference: In the past, we have distinguished two varieties of function, artifactual function and biological function. These are not asserted subtypes of BFO:function however, since the same function – for example: to pump, to transport – can exist both in artifacts and in biological entities. The asserted subtypes of function that would be needed in order to yield a separate monoheirarchy are not artifactual function, biological function, etc., but rather transporting function, pumping function, etc.
A function is a disposition that exists in virtue of the bearer’s physical make-up and this physical make-up is something the bearer possesses because it came into being, either through evolution (in the case of natural biological entities) or through intentional design (in the case of artifacts), in order to realize processes of a certain sort. (axiom label in BFO2 Reference: [064-001])
(forall (x) (if (Function x) (Disposition x))) // axiom label in BFO2 CLIF: [064-001]
function
A function is a disposition that exists in virtue of the bearer’s physical make-up and this physical make-up is something the bearer possesses because it came into being, either through evolution (in the case of natural biological entities) or through intentional design (in the case of artifacts), in order to realize processes of a certain sort. (axiom label in BFO2 Reference: [064-001])
(forall (x) (if (Function x) (Disposition x))) // axiom label in BFO2 CLIF: [064-001]
BFO:0000035
p-boundary
ProcessBoundary
the boundary between the 2nd and 3rd year of your life.
p is a process boundary =Def. p is a temporal part of a process & p has no proper temporal parts. (axiom label in BFO2 Reference: [084-001])
Every process boundary occupies_temporal_region a zero-dimensional temporal region. (axiom label in BFO2 Reference: [085-002])
(forall (x) (if (ProcessBoundary x) (exists (y) (and (ZeroDimensionalTemporalRegion y) (occupiesTemporalRegion x y))))) // axiom label in BFO2 CLIF: [085-002]
(iff (ProcessBoundary a) (exists (p) (and (Process p) (temporalPartOf a p) (not (exists (b) (properTemporalPartOf b a)))))) // axiom label in BFO2 CLIF: [084-001]
process boundary
p is a process boundary =Def. p is a temporal part of a process & p has no proper temporal parts. (axiom label in BFO2 Reference: [084-001])
Every process boundary occupies_temporal_region a zero-dimensional temporal region. (axiom label in BFO2 Reference: [085-002])
(forall (x) (if (ProcessBoundary x) (exists (y) (and (ZeroDimensionalTemporalRegion y) (occupiesTemporalRegion x y))))) // axiom label in BFO2 CLIF: [085-002]
(iff (ProcessBoundary a) (exists (p) (and (Process p) (temporalPartOf a p) (not (exists (b) (properTemporalPartOf b a)))))) // axiom label in BFO2 CLIF: [084-001]
BFO:0000038
1d-t-region
OneDimensionalTemporalRegion
the temporal region during which a process occurs.
BFO 2 Reference: A temporal interval is a special kind of one-dimensional temporal region, namely one that is self-connected (is without gaps or breaks).
A one-dimensional temporal region is a temporal region that is extended. (axiom label in BFO2 Reference: [103-001])
(forall (x) (if (OneDimensionalTemporalRegion x) (TemporalRegion x))) // axiom label in BFO2 CLIF: [103-001]
one-dimensional temporal region
A one-dimensional temporal region is a temporal region that is extended. (axiom label in BFO2 Reference: [103-001])
(forall (x) (if (OneDimensionalTemporalRegion x) (TemporalRegion x))) // axiom label in BFO2 CLIF: [103-001]
BFO:0000040
material
MaterialEntity
a flame
a forest fire
a human being
a hurricane
a photon
a puff of smoke
a sea wave
a tornado
an aggregate of human beings.
an energy wave
an epidemic
the undetached arm of a human being
BFO 2 Reference: Material entities (continuants) can preserve their identity even while gaining and losing material parts. Continuants are contrasted with occurrents, which unfold themselves in successive temporal parts or phases [60
BFO 2 Reference: Object, Fiat Object Part and Object Aggregate are not intended to be exhaustive of Material Entity. Users are invited to propose new subcategories of Material Entity.
BFO 2 Reference: ‘Matter’ is intended to encompass both mass and energy (we will address the ontological treatment of portions of energy in a later version of BFO). A portion of matter is anything that includes elementary particles among its proper or improper parts: quarks and leptons, including electrons, as the smallest particles thus far discovered; baryons (including protons and neutrons) at a higher level of granularity; atoms and molecules at still higher levels, forming the cells, organs, organisms and other material entities studied by biologists, the portions of rock studied by geologists, the fossils studied by paleontologists, and so on.Material entities are three-dimensional entities (entities extended in three spatial dimensions), as contrasted with the processes in which they participate, which are four-dimensional entities (entities extended also along the dimension of time).According to the FMA, material entities may have immaterial entities as parts – including the entities identified below as sites; for example the interior (or ‘lumen’) of your small intestine is a part of your body. BFO 2.0 embodies a decision to follow the FMA here.
A material entity is an independent continuant that has some portion of matter as proper or improper continuant part. (axiom label in BFO2 Reference: [019-002])
Every entity which has a material entity as continuant part is a material entity. (axiom label in BFO2 Reference: [020-002])
every entity of which a material entity is continuant part is also a material entity. (axiom label in BFO2 Reference: [021-002])
(forall (x) (if (MaterialEntity x) (IndependentContinuant x))) // axiom label in BFO2 CLIF: [019-002]
(forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt x y t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [021-002]
(forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt y x t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [020-002]
material entity
(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]
A material entity is an independent continuant that has some portion of matter as proper or improper continuant part. (axiom label in BFO2 Reference: [019-002])
Every entity which has a material entity as continuant part is a material entity. (axiom label in BFO2 Reference: [020-002])
every entity of which a material entity is continuant part is also a material entity. (axiom label in BFO2 Reference: [021-002])
(forall (x) (if (MaterialEntity x) (IndependentContinuant x))) // axiom label in BFO2 CLIF: [019-002]
(forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt x y t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [021-002]
BFO:0000140
cf-boundary
ContinuantFiatBoundary
b is a continuant fiat boundary = Def. b is an immaterial entity that is of zero, one or two dimensions and does not include a spatial region as part. (axiom label in BFO2 Reference: [029-001])
BFO 2 Reference: In BFO 1.1 the assumption was made that the external surface of a material entity such as a cell could be treated as if it were a boundary in the mathematical sense. The new document propounds the view that when we talk about external surfaces of material objects in this way then we are talking about something fiat. To be dealt with in a future version: fiat boundaries at different levels of granularity.More generally, the focus in discussion of boundaries in BFO 2.0 is now on fiat boundaries, which means: boundaries for which there is no assumption that they coincide with physical discontinuities. The ontology of boundaries becomes more closely allied with the ontology of regions.
BFO 2 Reference: a continuant fiat boundary is a boundary of some material entity (for example: the plane separating the Northern and Southern hemispheres; the North Pole), or it is a boundary of some immaterial entity (for example of some portion of airspace). Three basic kinds of continuant fiat boundary can be distinguished (together with various combination kinds [29
Continuant fiat boundary doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. An example would be the mereological sum of two-dimensional continuant fiat boundary and a one dimensional continuant fiat boundary that doesn't overlap it. The situation is analogous to temporal and spatial regions.
Every continuant fiat boundary is located at some spatial region at every time at which it exists
(iff (ContinuantFiatBoundary a) (and (ImmaterialEntity a) (exists (b) (and (or (ZeroDimensionalSpatialRegion b) (OneDimensionalSpatialRegion b) (TwoDimensionalSpatialRegion b)) (forall (t) (locatedInAt a b t)))) (not (exists (c t) (and (SpatialRegion c) (continuantPartOfAt c a t)))))) // axiom label in BFO2 CLIF: [029-001]
continuant fiat boundary
b is a continuant fiat boundary = Def. b is an immaterial entity that is of zero, one or two dimensions and does not include a spatial region as part. (axiom label in BFO2 Reference: [029-001])
Continuant fiat boundary doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. An example would be the mereological sum of two-dimensional continuant fiat boundary and a one dimensional continuant fiat boundary that doesn't overlap it. The situation is analogous to temporal and spatial regions.
(iff (ContinuantFiatBoundary a) (and (ImmaterialEntity a) (exists (b) (and (or (ZeroDimensionalSpatialRegion b) (OneDimensionalSpatialRegion b) (TwoDimensionalSpatialRegion b)) (forall (t) (locatedInAt a b t)))) (not (exists (c t) (and (SpatialRegion c) (continuantPartOfAt c a t)))))) // axiom label in BFO2 CLIF: [029-001]
BFO:0000141
immaterial
ImmaterialEntity
BFO 2 Reference: Immaterial entities are divided into two subgroups:boundaries and sites, which bound, or are demarcated in relation, to material entities, and which can thus change location, shape and size and as their material hosts move or change shape or size (for example: your nasal passage; the hold of a ship; the boundary of Wales (which moves with the rotation of the Earth) [38, 7, 10
immaterial entity
BFO:0000142
1d-cf-boundary
OneDimensionalContinuantFiatBoundary
The Equator
all geopolitical boundaries
all lines of latitude and longitude
the line separating the outer surface of the mucosa of the lower lip from the outer surface of the skin of the chin.
the median sulcus of your tongue
a one-dimensional continuant fiat boundary is a continuous fiat line whose location is defined in relation to some material entity. (axiom label in BFO2 Reference: [032-001])
(iff (OneDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (OneDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [032-001]
one-dimensional continuant fiat boundary
a one-dimensional continuant fiat boundary is a continuous fiat line whose location is defined in relation to some material entity. (axiom label in BFO2 Reference: [032-001])
(iff (OneDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (OneDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [032-001]
BFO:0000144
process-profile
ProcessProfile
On a somewhat higher level of complexity are what we shall call rate process profiles, which are the targets of selective abstraction focused not on determinate quality magnitudes plotted over time, but rather on certain ratios between these magnitudes and elapsed times. A speed process profile, for example, is represented by a graph plotting against time the ratio of distance covered per unit of time. Since rates may change, and since such changes, too, may have rates of change, we have to deal here with a hierarchy of process profile universals at successive levels
One important sub-family of rate process profiles is illustrated by the beat or frequency profiles of cyclical processes, illustrated by the 60 beats per minute beating process of John’s heart, or the 120 beats per minute drumming process involved in one of John’s performances in a rock band, and so on. Each such process includes what we shall call a beat process profile instance as part, a subtype of rate process profile in which the salient ratio is not distance covered but rather number of beat cycles per unit of time. Each beat process profile instance instantiates the determinable universal beat process profile. But it also instantiates multiple more specialized universals at lower levels of generality, selected from rate process profilebeat process profileregular beat process profile3 bpm beat process profile4 bpm beat process profileirregular beat process profileincreasing beat process profileand so on.In the case of a regular beat process profile, a rate can be assigned in the simplest possible fashion by dividing the number of cycles by the length of the temporal region occupied by the beating process profile as a whole. Irregular process profiles of this sort, for example as identified in the clinic, or in the readings on an aircraft instrument panel, are often of diagnostic significance.
The simplest type of process profiles are what we shall call ‘quality process profiles’, which are the process profiles which serve as the foci of the sort of selective abstraction that is involved when measurements are made of changes in single qualities, as illustrated, for example, by process profiles of mass, temperature, aortic pressure, and so on.
b is a process_profile =Def. there is some process c such that b process_profile_of c (axiom label in BFO2 Reference: [093-002])
b process_profile_of c holds when b proper_occurrent_part_of c& there is some proper_occurrent_part d of c which has no parts in common with b & is mutually dependent on b& is such that b, c and d occupy the same temporal region (axiom label in BFO2 Reference: [094-005])
(forall (x y) (if (processProfileOf x y) (and (properContinuantPartOf x y) (exists (z t) (and (properOccurrentPartOf z y) (TemporalRegion t) (occupiesSpatioTemporalRegion x t) (occupiesSpatioTemporalRegion y t) (occupiesSpatioTemporalRegion z t) (not (exists (w) (and (occurrentPartOf w x) (occurrentPartOf w z))))))))) // axiom label in BFO2 CLIF: [094-005]
(iff (ProcessProfile a) (exists (b) (and (Process b) (processProfileOf a b)))) // axiom label in BFO2 CLIF: [093-002]
process profile
b is a process_profile =Def. there is some process c such that b process_profile_of c (axiom label in BFO2 Reference: [093-002])
b process_profile_of c holds when b proper_occurrent_part_of c& there is some proper_occurrent_part d of c which has no parts in common with b & is mutually dependent on b& is such that b, c and d occupy the same temporal region (axiom label in BFO2 Reference: [094-005])
(forall (x y) (if (processProfileOf x y) (and (properContinuantPartOf x y) (exists (z t) (and (properOccurrentPartOf z y) (TemporalRegion t) (occupiesSpatioTemporalRegion x t) (occupiesSpatioTemporalRegion y t) (occupiesSpatioTemporalRegion z t) (not (exists (w) (and (occurrentPartOf w x) (occurrentPartOf w z))))))))) // axiom label in BFO2 CLIF: [094-005]
(iff (ProcessProfile a) (exists (b) (and (Process b) (processProfileOf a b)))) // axiom label in BFO2 CLIF: [093-002]
BFO:0000145
r-quality
RelationalQuality
John’s role of husband to Mary is dependent on Mary’s role of wife to John, and both are dependent on the object aggregate comprising John and Mary as member parts joined together through the relational quality of being married.
a marriage bond, an instance of love, an obligation between one person and another.
b is a relational quality = Def. for some independent continuants c, d and for some time t: b quality_of c at t & b quality_of d at t. (axiom label in BFO2 Reference: [057-001])
(iff (RelationalQuality a) (exists (b c t) (and (IndependentContinuant b) (IndependentContinuant c) (qualityOfAt a b t) (qualityOfAt a c t)))) // axiom label in BFO2 CLIF: [057-001]
relational quality
b is a relational quality = Def. for some independent continuants c, d and for some time t: b quality_of c at t & b quality_of d at t. (axiom label in BFO2 Reference: [057-001])
(iff (RelationalQuality a) (exists (b c t) (and (IndependentContinuant b) (IndependentContinuant c) (qualityOfAt a b t) (qualityOfAt a c t)))) // axiom label in BFO2 CLIF: [057-001]
BFO:0000146
2d-cf-boundary
TwoDimensionalContinuantFiatBoundary
a two-dimensional continuant fiat boundary (surface) is a self-connected fiat surface whose location is defined in relation to some material entity. (axiom label in BFO2 Reference: [033-001])
(iff (TwoDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (TwoDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [033-001]
two-dimensional continuant fiat boundary
a two-dimensional continuant fiat boundary (surface) is a self-connected fiat surface whose location is defined in relation to some material entity. (axiom label in BFO2 Reference: [033-001])
(iff (TwoDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (TwoDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [033-001]
BFO:0000147
0d-cf-boundary
ZeroDimensionalContinuantFiatBoundary
the geographic North Pole
the point of origin of some spatial coordinate system.
the quadripoint where the boundaries of Colorado, Utah, New Mexico, and Arizona meet
zero dimension continuant fiat boundaries are not spatial points. Considering the example 'the quadripoint where the boundaries of Colorado, Utah, New Mexico, and Arizona meet' : There are many frames in which that point is zooming through many points in space. Whereas, no matter what the frame, the quadripoint is always in the same relation to the boundaries of Colorado, Utah, New Mexico, and Arizona.
a zero-dimensional continuant fiat boundary is a fiat point whose location is defined in relation to some material entity. (axiom label in BFO2 Reference: [031-001])
(iff (ZeroDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (ZeroDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [031-001]
zero-dimensional continuant fiat boundary
zero dimension continuant fiat boundaries are not spatial points. Considering the example 'the quadripoint where the boundaries of Colorado, Utah, New Mexico, and Arizona meet' : There are many frames in which that point is zooming through many points in space. Whereas, no matter what the frame, the quadripoint is always in the same relation to the boundaries of Colorado, Utah, New Mexico, and Arizona.
requested by Melanie Courtot
a zero-dimensional continuant fiat boundary is a fiat point whose location is defined in relation to some material entity. (axiom label in BFO2 Reference: [031-001])
(iff (ZeroDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (ZeroDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [031-001]
BFO:0000148
0d-t-region
ZeroDimensionalTemporalRegion
a temporal region that is occupied by a process boundary
right now
the moment at which a child is born
the moment at which a finger is detached in an industrial accident
the moment of death.
temporal instant.
A zero-dimensional temporal region is a temporal region that is without extent. (axiom label in BFO2 Reference: [102-001])
(forall (x) (if (ZeroDimensionalTemporalRegion x) (TemporalRegion x))) // axiom label in BFO2 CLIF: [102-001]
zero-dimensional temporal region
A zero-dimensional temporal region is a temporal region that is without extent. (axiom label in BFO2 Reference: [102-001])
(forall (x) (if (ZeroDimensionalTemporalRegion x) (TemporalRegion x))) // axiom label in BFO2 CLIF: [102-001]
BFO:0000182
history
History
A history is a process that is the sum of the totality of processes taking place in the spatiotemporal region occupied by a material entity or site, including processes on the surface of the entity or within the cavities to which it serves as host. (axiom label in BFO2 Reference: [138-001])
history
A history is a process that is the sum of the totality of processes taking place in the spatiotemporal region occupied by a material entity or site, including processes on the surface of the entity or within the cavities to which it serves as host. (axiom label in BFO2 Reference: [138-001])
XUmR9
R-FB000
XUN2i
S-62010
XUARe
S-65010
XUmRA
13u4
13u4.00
R-FB001
9S3..
XUcEu
9iC..00
9iC
S-62000
S-0004E
XU7xK
S-62310
XaG2E
1342.
F-022C4
F-024A2
9iC..00
9iC
XUmRB
13u5
13u5.00
R-FB002
XUApd
S-64010
XaJOq
13lc
13lc.00
F-04A75
XUN5W
S-63010
XaJDK
13lS
13lS.00
F-04A42
9i2K
9i2K.00
XU9Vk
S-63020
XaG2D
F-022C1
XUcEv
S-0004F
XaJOr
13ld
13ld.00
F-04A61
XUDrV
S-66010
XUK7T
S-63030
XUNHv
9iF0
9iF9.00
S-61010
XaG5p
13l0
13l0.00
F-025B8
13wc
XUmUv
13u6
13u6.00
R-FB0EA
XUNHv
S-61010
XaG2C
F-022BE
XaFwz
F-02223
1343.
XM1Za
F-024B9
F-01A83
XUmUw
13u7
13u7.00
R-FB0EB
XUKkF
S-63040
XUCuT
S-63050
XaG2G
F-022C8
XaG2F
F-022C6
XUE3f
XUcEx
S-66300
S-00052
XUIxc
S-61030
XUmUx
13u8
R-FB0EC
XU3FR
S-63060
XUmUy
13u9
R-FB0ED
XUIqX
S-63274
XUEfM
S-66020
9i2G
9i2G.00
XUm21
F-DB521
9S8..
9i9
9i9..00
9S8..
9i9..00
F-00188
Xa6hP
S-62020
XUGud
S-62030
XUmUz
R-FB0EE
XUmRC
13uB
R-FB003
XUEQ3
S-61040
XUA5J
S-62040
XUmRD
13uH
R-FB004
XUGVv
S-61050
XaG5q
13l1
13l1.00
13Z61
13Z6100
F-025BB
XUAzs
S-64020
XUmRE
R-FB005
XUmV0
R-FB0EF
9S3..
9S3..
S-62000
XUcF0
XaFwH
2262
9iD2
9iD2.00
S-00055
F-0220F
XaIB6
F-02671
XM1S4
F-00855
9S41.
9S41.
F-00175
XaIB5
F-02670
9S2..
XE2Nt
9S2..
F-00173
F-02BCB
XE2Nt
9S45.
9SA6.
9iA7
9iA7.00
9iA3
9iA3.00
F-02BCB
XM1S6
XM1SD
F-00857
F-0085E
9S46.
9S46.
F-00179
XM1S7
XM1SE
F-0085F
XM1S5
F-00856
XUD6R
S-62350
9S43.
XM1S3
F-00854
XE2Nu
F0056B
9i61
9i61.00
9S48.
9S44.
9S44.
F-00176
9S5..
9S5..
9iD3
9iD3.00
F-0017D
9S4..
9S4..
F-00174
XUIQK
S-63080
XUBrB
S-63090
XUF35
S-64030
XaG2b
F-022CA
XaG2c
F-022CB
XaG2d
F-022CC
XaG2e
F-022DA
XaG2f
F-022DD
XaG2G
F-022C8
XaG2h
F-022E3
XaG2i
F-022E4
XaG2j
1346.
F-022E5
F-024BC
XaG2k
F-022E6
XaG2l
F-022F4
XaG2m
F-022F6
XaG2n
F-022F8
XaG2o
F-022FA
XaG2p
F-022FC
XaG2q
F-022FD
XaG2r
F-022FE
XaG2s
F-022FF
XaG2t
F-02300
XaG2u
F-02310
XaG2v
F-02313
XaG2w
F-02316
XaG2x
F-02318
XaG2y
F-0231A
XaG2z
F-0231B
XaG30
F-0231C
XaG31
F-0231D
XaG32
F-0231E
XaG33
F-0232F
XaG34
F-02331
XaG35
F-02334
XaG36
F-02336
XaG37
F-02338
XaG38
F-02339
XaG39
F-0233A
XaG3A
F-0233B
XaG3B
F-0233C
XaG3C
F-0234B
XaG3D
F-0234E
XaG3E
F-02350
XaG3F
F-02352
XaG3G
F-02354
XaG3H
F-02355
XaG3I
F-02356
XaG3J
F-02357
XaG3K
F-02358
XaG3L
F-02367
XaG3N
F-0236D
XaG3O
F-0236E
XaG3P
F-02370
XaG3Q
F-02371
XaG3R
F-02372
XaG3S
F-02373
XaG3T
F-02374
XaG3U
F-02375
XaG3V
F-02380
XaG3W
F-02382
XaG3X
F-02383
XaG3Y
F-02384
XaG3Z
F-02385
XaG3a
F-02386
XaG3b
F-02387
XaG3c
F-02388
XaG3d
F-02389
XaG3e
F-023B1
XaG3f
F-023B3
XaG3g
F-023B5
XaG3h
F-023B7
XaG3i
F-023B8
XaG3j
F-023B9
XaG3k
F-023BA
XaG3l
F-023BB
XaG3m
F-023BC
XaG3n
F-023C7
XaG3o
F-023C9
XaG3p
F-023CC
XaG3q
F-023CE
XaG3r
1347.
F-023CF
F-024BD
XaG3s
F-023D0
XaG3t
F-023D1
XaG3u
F-023D2
XaG3v
F-023D3
XaG3w
F-023E8
XaG3x
F-023EB
XaG3y
F-023EE
XaG3z
F-023F1
XaG40
F-023F2
XaG41
F-023F3
XaG42
F-023F4
XaG43
F-023F5
XaG44
F-023F6
XaG45
F-02407
XaG46
F-02409
XaG47
F-0240C
XaG48
F-0240E
XaG49
F-02410
XaG4A
F-02411
XaG4B
F-02412
XaG4C
F-02413
XaG4D
F-02414
XaG4E
F-02426
XaG4F
F-02429
XaG4G
F-0242B
XaG4H
F-0242D
XaG4I
F-0242F
XaG4J
F-02430
XaG4K
F-02431
XaG4L
F-02442
XaG4M
F-02445
XaG4N
F-02448
XaG4O
F-0244A
XaG4P
F-0244C
XaG4Q
F-0244D
XaG4R
F-0244E
XaG4S
F-0244F
XaG4T
F-02463
XaG4U
F-02466
XaG4V
F-02468
XaG4W
F-0246A
XaG4X
F-0246C
XaG4Y
F-0246D
XaG4Z
F-0246E
XaG4a
F-0246F
XaG4b
F-02470
XaG4c
F-02471
XaG4d
F-02486
XaG4e
F-02488
XaG4f
F-02489
XaG4g
F-0248B
XaG4h
F-0248C
XaG4i
F-0248D
XaG4j
F-0248E
XaG4k
F-0248F
XaG4l
F-02490
XaG4m
F-024AB
XaG4n
F-024B0
XaG4o
F-024B2
XaG4p
F-024B3
XaG4q
F-024B4
XaG4r
F-024B5
XaG4s
F-024B6
XaG4t
F-024B7
XaG4u
F-024B8
XaG4v
F-024C9
XaG4w
F-024CB
XaG4x
F-024CD
XaG4y
F-024CE
XaG4z
F-024CF
XaG50
F-024D0
XaG51
F-024D1
XaG52
F-024D2
XaG53
F-024D3
XaG54
F-02531
XaG55
F-02533
XaG56
F-02535
XaG57
F-02538
XaG58
F-02539
XaG59
F-0253A
XaG5A
F-0253B
XaG5B
F-0253C
XaG5C
F-0253D
XaG5D
F-02543
XaG5E
F-02545
XaG5F
F-02547
XaG5G
F-02549
XaG5H
F-0254B
XaG5I
F-0254C
XaG5J
F-0254D
XaG5K
F-0254E
XaG5L
F-0254F
XaG5M
F-0255D
XaG5N
F-02560
XaG5O
F-02562
XaG5Q
F-02566
XaG5R
F-02567
XaG5S
F-02568
XaG5T
F-02569
XaG5U
F-0256A
XaG5V
F-0257D
XaG5W
F-02580
XaG5X
F-02583
XaG5Y
F-02585
XaG5Z
F-02587
XaG5a
F-02588
XaG5b
F-02589
XaG5c
F-0258A
XaG5d
F-0258B
XaG5e
F-0259A
XaG5f
F-0259D
XaG5g
F-025A0
XaG5h
F-025A2
XaG5i
F-025A4
XaG5j
F-025A5
XaI8P
F-025FA
XaG5l
F-025A6
XaG5m
F-025A7
XaG5n
F-025A8
XaG5o
F-025B6
XUD2n
S-63070
9i2L
9i2L.00
XaJOs
13le
F-04A66
XUJjE
S-63100
XUmRF
R-FB006
9SA1.
9SA1.
F-0018C
9SA2.
9SA2.
F-0018E
9i0
9i0.00
XUElo
S-64040
XUmm1
13u0
13u0.00
R-FB50E
XUBAA
S-61060
XUDM5
S-64050
XUmV1
13uG
R-FB0F0
XUMKe
S-62050
XUJxp
S-63120
XaG5r
13l2
13l2.00
13b1
F-025BD
XUDhF
S-65020
XM1S8
9iB..00
9iB
F-00859
XUmV2
13uK
R-FB0F1
XumV3
13uJ
R-FB0F2
XUGmf
S-66030
9S9..
9iE..00
9iE
9i64
9i64.00
9T1C.
S-64060
9T1C.
S-64060
9i63
9i63.00
XUJeR
S-63110
CUI1e
S-63130
XUmVj
R-FB11C
9i2H
9i2H.00
XUFjI
S-62060
9T15.
S-60006
9i23
9i23.00
XUmRG
13uM
R-FB007
XaG2A
XUTNY
F-022BE
F-014F1
XU3FS
S-63140
XaJDL
13lT
13lT.00
F-04A44
9i2M
9i2M.00
XUDwl
S-63150
9i26
9i26.00
XaG5s
13l3
13l3.00
F-025BF
XUB0u
S-61070
XU7jt
S-61080
XUmV4
13uN
13uN.00
R-FB0F3
XUm22
13wA
13wA.00
F-DB522
XUE7B
S-63160
XaJOt
13lf
13lf.00
F-04A7A
XUOSB
S-61090
XUBmo
S-64070
9SA6.
XUB3k
S-65030
XU8qN
S-61100
XUHK0
S-65040
XaG5t
13l4
13l4.00
F-025C0
XUASO
9i20
9i20.00
S-61110
9i0..
9i20
9i20.00
13Z60
F-028DD
XUMMf
S-63170
XUmV6
13uP
R-FB0F5
XUmRH
13uQ
13uQ.00
R-FB008
XU8hr
S-61120
9i...
226
226.00
262-1
226..11
XUcF6
XUcEz
226Z
226Z.00
9iG..00
9iG
S-00041
S-00054
XaJOu
13lg
13lg.00
F-04A68
XaG2B
F-022B2
XUcEy
2261
S-00053
1341.
F-0249F
XU01P
S-62070
1349.
F-024C0
XUmRI
R-FB009
XaIpr
13lO
13lO.00
F-02B5E
XUmV7
13uS
13uS.00
R-FB0F6
9T19.
S-650650
13w4
13w4.00
XUKbQ
9iF2
9iF2.00
S-64080
XaKIL
13uT
13uT.00
F-04C92
XU0KP
S-61130
13Z69
13Z6000
XaJOv
13lh
13lh.00
F-04A6D
XaG5u
13l5
13l5.00
F-025C1
XaJOw
13li
13li.00
13b3
13b3.00
F-04A6E
XU8ww
S-61140
XUmRJ
13uV
R-FB00A
XUCqu
S-62080
XaJOx
13lj
F-04A6F
XUmRK
13uW.00
R-FB00B
XUNSE
S-62090
XUmV8
13uX
R-FB0F7
XUBh9
S-61150
XaJD6
13lR
13lR.00
F-04A3E
XUKdb
S-61160
XUCmJ
S-62100
XUNM2
S-64090
XUF9d
S-65060
XaJDM
13lV
13lV.00
F-04A4A
XM1SG
9i28
9i28.00
F-00861
9SAA.
XU7on
XM1SF
9i27
9i27.00
S-61170
F-00860
XU0n6
S-65070
XUmV9
13uZ
R-FB0F8
XaG5v
13l6
13l6.00
13Z62
13Z6200
F-025C2
XM1SA
F-0085B
XUDMK
9i2E
9i2E.00
9i2D
9i2D.00
S-61180
9i2C
9i2C.00
9i2E
9i2E.00
XaJOy
13lk
13lk.00
F-04A70
XaG5w
13l7
13l7.00
F-025D3
XU9Gd
S-65080
XaJOz
13ll
F-04A72
XUIAk
XaG5x
13l8
13l8.00
13Z63
13Z6300
S-61210
F-025D8
13w9.00
XUcFA
S-00045
XUcFC
S-00047
XUcFD
S-00048
XUcFB
S-00046
XUJhM
S-62110
XUFfB
S-62120
XUIYD
S-63190
XUKcj
S-63200
XUmVA
13ua
13ua.00
R-FB0F9
XUIDF
S-61190
XUAjR
S-62130
XaG5y
F-025DA
13l9-1
XUHAe
S-62140
XUJp6
S-61200
XUmRL
13ub
R-FB00C
XaJP0
13lm
13lm.00
F-04A67
XUGVD
S-63210
9S6..
XUcF4
9S6..
9i7.00
9i7..00
F-00186
S-0003E
9SA7.
9SA7.
F-00197
9i7
9i7..00
XumVB
13uc
R-FB0FA
XU9hO
S-64100
XUmRM
XUmVC
13ud
13ue
R-FB00D
R-FB0FB
XaI8W
F-025FB
XUmRN
13ug
R-FB00E
XUmRO
13uf
R-FB00F
XUJG9
9iFD
9iFD.00
S-61230
XUApt
S-61380
9SA9.
9i1
9i1..00
9SA9.
9SA9.
F-00199
9i1
9i1..00
XaFx2
F-0222B
XUmRP
13uh
13uh.00
R-FB010
XUM1Z
S-66040
9iFC
XaJD5
13lQ
13lQ.00
F-04A3C
XUBc9
9i2B
9i2B..00
S-61220
XaJDN
13l..00
13lW
13lW.00
13ui
F-04A4C
XUcF3
9iF1
9iF1.00
F-04C47
XU9O8
S-64120
XUmVD
R-FB0FC
XUmV5
R-FB0F4
XUmVE
13uY
R-FB0FD
XUmVF
R-FB0FE
13uj
13uj.00
XU87C
S-65090
XUmVG
13uk
R-FB0FF
9iA2.00
9iA2
XUmRQ
13ul
R-FB011
XU4VK
S-62150
XUJhz
S-62160
13um
XUFwr
S-64130
XUmVI
R-FB101
XUm23
13wb
F-DB523
XaJDO
13lX
13lX.00
F-04A4D
XUCx8
S-64140
9i2J.00
9i2J
XaIps
13lN
13lN.00
F-02B5F
9iFE
9iFE.00
XaG5z
13lA
13lA.00
F-025DC
XUKmL
S-63220
XUKJk
S-63230
XU9Kt
S-63240
XUUSm
13n
13n..00
F-94930
13Z6Z
13Z6Z00
XUmRR
13up
R-FB012
XUIhO
S-64150
9iFG
9iFG.00
XUmVJ
13ur
13ur.00
R-FB102
XUNbh
S-62170
XaJP1
13ln
13ln.00
F-04A76
XaJDP
13lY
13lY.00
F-04A4E
XaJP2
13lo
13lo.00
F-04A78
XULxA
S-62180
XUmRS
13us
R-FB013
XU9fn
S-62190
13l
13l..00
13Z6
13Z6.00
XUmRT
13ut
R-FB014
XUmRU
13uu
13uu.00
R-FB015
XaJP3
13lp
13lp.00
F-04A7C
XU7XN
S-64160
9iF3
9iF3.00
XUmVK
13uv
13uv.00
R-FB103
XaG60
13lB
13lB.00
F-025DD
XUmRV
R-FB016
XUK0Z
S-65100
XUKJR
S-63250
XUDvu
S-66050
XUmRW
13ux
13ux.00
R-FB017
XUHDP
S-65110
9iFJ
9iFJ.00
XUHy0
S-63260
XUcF5
XUA0P
S-0003F
S-65130
XUK5q
S-65120
XUEmn
S-63270
XUCg8
S-65140
9iFB
9iFB.00
1348.
F-024BE
13b4
13b4.00
9iA9
9iA9.00
XUmVL
13uy
R-FB104
XUmRX
13uz
R-FB018
9iFF
9iFF.00
XUDYC
S-62200
XUIkX
S-62210
XE2Nx
9SA4.
F-0056E
XULbS
S-66060
XUmVM
R-FB105
XUGoN
S-63280
XUmVN
13wE
R-FB106
XUmRY
13w1
13w1.00
R-FB019
XUNaY
S-65150
XUC9F
S-65160
XUI1g
S-65170
9T1..
S-60002
9T11.
S-60003
9T13.
S-60005
XUMkH
S-63290
9iD1
9iD1.00
XUN4R
S-62220
9T17.
S-60007
XaI8Y
13Z6700
13nB.00
F-0260F
9iFA
9iFA.00
XM1SB
F-0085C
1344.
F-024BA
9i24
9i24.00
XaJP4
13lq
13lq.00
F-04A7E
XU8PQ
S-61240
XUmVO
13w2
R-FB107
XU195
S-66080
XUNWo
S-66070
XUcF9
F-04C48
XUFg5
S-61250
XUmVP
13w3
R-FB108
XUmVQ
13u2
R-FB109
9iFK
9iFK.00
9SA5.
9SA5.
F-00192
XaFx0
9SA8.
9SA8.
9iA..00
9iA
9iAA
9iAA..00
9SH..
F-02229
F-00198
XM1S3
9SG..
9iD
9iD..00
9iD4
9iD4.00
F-00854
9S47.
9S52.
9S47.
9i60.00
9i60
9S52.
F-0017B
F-00185
9S51.
9SB1.
9S51.
9SB1.
9S5..
F-00184
F-0019E
9SAC.
9SAC.
F-0019A
9SB..
9SB..
9i6..00
9i6
9i65
9i65.00
F-0019C
9i2
9i2..00
9i2T
9i2T.00
9i2T
XUZFo
9S14.
F-02C0F
9SB2.
9SB2.
F-001A0
9SA..
9SA..
9SJ..
9SAD.
9iF..00
9iF
F-0018A
9SB3.
9SB3.
9i2Q
9i2Q.00
9i2S.00
9i2R
9i2R.00
9i2S
9i2S.00
F-001A2
9SB4.
9SB4.
F-001A4
XaG2H
F-022C9
XUAke
S-63300
9S7..
9S7..
9i8
9i8..00
F-00187
9i8
9i8.00
XUDTq
S-65180
XU8Y5
S-65190
XaJP5
13lr
13lr.00
13z64
13Z6400
F-04A83
XaJP6
13ls.00
13ls
F-04A88
XULZA
S-63310
13lO-1
13lO.11
XaG61
13lC
13lC.00
F-025DE
XUBOP
9i2F.00
9i2F
S-61270
XUA08
S-65200
XaG62
13lD
13lD.00
F-025DF
XULHW
13lD
S-61280
XUBzG
S-63320
XaG63
13lE-1
13lE.11
13lE
13lE.00
13Z65
13Z6500
F-025E0
9iA1
9iA1.00
XUJUo
S-62230
XUmRZ
13w5
R-FB01A
XUEzQ
S-63340
13nT
XaIMR
13n0
13n0.00
F-00E65
XaIMQ
13n8
F-00E64
13ng
13nh
XaIMP
13n9
13n9.00
F-00E63
XaIMO
13nE
13nE.00
13nJ
F-00E62
13nV
XaIMN
13nA
F-00E61
XaIMM
13nB
13nB.00
F-00E60
XaKc1
13nH
F-94932
XaIMK
13nC
F-00E5F
13nS
13nW
13nK
13nK.00
XaIMJ
13nD
13nD.00
F-00E53
13nR
13nX
13nQ
13nb
XaJW4
13nG
F-94931
13nm
13no
13nc
XaIMI
13nF
13nF.00
F-00E52
XaIMH
13n1
13n1.00
F-00E51
XaIMG
F-00E50
XaIMF
13n3
F-00E4F
13nd
13ne
XaIME
13n4
13n4.00
F-00E4E
XaIMD
F-00E4D
13nN
XaIMC
13n6
13n6.00
F-00E4C
13nf
13nY
XaIMA
13n7
13n7.00
F-00E4B
13nZ
9i2P
9i2P.00
XUmRa
13u1
13u1.00
R-FB01B
XUjxX
S-0006C
XUmVR
13w6
R-FB10A
XUmVH
R-FB100
XUmRb
13uo
13uo.00
R-FB01C
XaG64
13lF
13lF.00
F-025E1
XUMHc
S-61290
XU8o7
S-65210
XUmRc
13w7
R-FB01D
9T14.
S-65220
XUmVS
R-FB10B
9i21
9i21.00
XUEzQ
S-63340
XUCux
S-62240
XUFOW
S-64170
XaJP7
13lt
13lt.00
F-04A89
XUFzy
S-61360
9i2N
9i2N.00
13lt-1
13lT-1
XULfO
XaIpt
13lP
13lP.00
S-62250
F-02B60
XU9hZ
S-63350
XUB3O
S-64180
XUmVT
13wD
R-FB10C
XaJP8
13lu
13lu.00
F-04A6B
13lu-1
13lu.11
9iA6
9iA6.00
XUmVU
13uL
13uL.00
R-FB10D
XUCY7
S-61370
XUmVV
13wG
13wG.00
R-FB10E
XUEyV
S-65230
XaG65
13lG
13lG.00
F-025EE
9iD0.00
9iD0
XUEXt
S-62260
1345.
F-024BB
XUAX9
S-66000
9iFH
9iFH.00
XUmVW
13wB
13wB.00
R-FB10F
XUAyO
S-61300
XaG66
13lH
13lH.00
F-025F2
9iA4.00
9iA4
XUmRd
13wH
R-FB01E
XUN3H
S-62270
13u
13u.00
13w
13w..00
XaG67
13lI
13lI.00
F-025F4
XUmVX
13wF
R-FB110
XULW5
S-61310
XaJP9
13lv
13lv.00
F-04A69
XUKZ7
S-61320
XaG68
13lJ
13lJ.00
F-025F6
13b2
XUHC3
S-61330
XaJPA
13lw
13lw.00
F-04A6A
XUmRe
13wJ
13wJ.00
R-FB01F
XaG69
13lK.00
13lK
F-025F7
XU6WI
S-66090
9iA5
9iA5.00
XU7Xz
S-62280
XUmVY
13wK
R-FB111
XUNVH
S-64200
XUmVZ
13wL
13wL.00
R-FB112
XUm24
F-DB524
XaJPB
13lx
13lx.00
F-04A6C
XULuG
S-64210
XUI1j
S-64190
XUmVa
13wM
R-FB113
XaJPC
13ly
13ly.00
F-04A85
XUKOG
S-63360
XULUT
S-66100
9T18.
S-60008
XUmVb
13wN
R-FB114
9T16.
S-65240
9T18.
S-60008
XUBut
S-65250
XUmRf
R-FB020
XUmRg
13wC
R-FB021
XaJDQ
13lZ
13lZ.00
F-04A4F
XM1SI
F-00863
9i2A
9i2A.00
XUEEF
XM1SH
9i29.00
9i29
S-64220
F-00862
9SAB.
XUmVc
13wQ
R-FB115
XU7oD
S-62290
XUmRh
13wR
13wR.00
R-FB022
XUKbU
S-62300
XUmVd
13wS
R-FB116
XaJDR
13la
13la.00
F-04A51
9i25
9i25.00
XUjt5
F-05222
XULRS
XaG6A
13lL
13lL.00
13Z66
13Z6600
F-025F8
S-61260
XUCHf
S-63370
XUmVe
13wT
R-FB117
XUHnp
S-63380
XaE4A
9SC..
S-60001
XaJDS
13lb
13lb.00
13b0
13b0.00
F-04A53
134K.
XaBz7
XaBz8
9S42.
9SA3.
F-0347D
F-02A70
F-02A71
XaJPD
13lz
13lz.00
F-04A84
XU7vs
9i22
9i22.00
S-61350
XULTx
S-62320
XM1S9
F-0085A
134A.
F-024C2
XU7hz
9S1..
XUcF2
9S1..
S-61000
F-00172
S-0003D
XaFwD
9S10.
9i00.00
9i0..00
9i00
F-021FC
XaFwE
9S11.
9i10
9i10.00
F-021FD
XUZFn
9S13.
F-02C0E
9i5
9i5..00
XUcF1
9i62
9i62.00
S-0003C
9SB6.
9i4
94..00
9SB5.
9i3
9i3..00
XUmVg
13wW
R-FB119
XU8iu
S-63390
XUmVh
13wX
R-FB11A
XULLP
S-62330
XUKXW
S-63400
XUEwW
S-65260
XaI8Y
F-0260F
9Nn
9NU
9Nm
XUmVi
R-FB11B
XaG6B
13lM
13lM.00
F-025F9
XUmVk
13wa
R-FB11D
XUKUw
S-62340
XUcEw
2263-1
2236.11
9iA8
9iA8.00
S-00051
XaG3M
F-0236A
XUcF7
S-00043
Person:Alan Ruttenberg
To say that each spatiotemporal region s temporally_projects_onto some temporal region t is to say that t is the temporal extension of s. (axiom label in BFO2 Reference: [080-003])
To say that spatiotemporal region s spatially_projects_onto spatial region r at t is to say that r is the spatial extent of s at t. (axiom label in BFO2 Reference: [081-003])
To say that each spatiotemporal region s temporally_projects_onto some temporal region t is to say that t is the temporal extension of s. (axiom label in BFO2 Reference: [080-003])
To say that spatiotemporal region s spatially_projects_onto spatial region r at t is to say that r is the spatial extent of s at t. (axiom label in BFO2 Reference: [081-003])
Zayed Tippu
Harshana Liyanage
David Burleigh
The Ethnicity Ontology (EO) has been developed by extending using Basic Formal Ontology 2 standard in order to have a common reference for ethnicity concepts for semantic integration of datasets. It attempts to utilise iterated proxy markers for ethnicity such language spoken and interpreter requirements in order to support health care research studies.
Simon de Lusignan