Link to this page
Allotrope Merged Ontology Suite
Last uploaded:
December 18, 2024
Jump to:
| Id | http://purl.obolibrary.org/obo/BFO_0000027
http://purl.obolibrary.org/obo/BFO_0000027
|
|---|---|
| Preferred Name | object aggregate |
| Definitions |
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. [BFO]
|
| Type | http://www.w3.org/2002/07/owl#Class |
All Properties
| definition | 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. [BFO] |
|---|---|
| preferred label |
object aggregate
|
| label |
object aggregate
|
| 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]
|
| 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
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).
|
| note |
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. [BFO]
|
| isDefinedBy | |
| 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])
|
| 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.
|
| BFO OWL specification label |
object-aggregate
|
| prefixIRI |
BFO:0000027
|
| subClassOf | |
| type | |
| example of usage |
your collection of Meissen ceramic plates.
the nitrogen atoms in the atmosphere
the aggregate of bearings in a constant velocity axle joint
a collection of cells in a blood biobank.
the restaurants in Palo Alto
defined via attributive delimitations such as: the patients in this hospital
a symphony orchestra
the aggregate of blood cells in your body
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
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
a swarm of bees is an aggregate of members who are linked together through natural bonds
See more
See less
|
| BFO CLIF specification label |
ObjectAggregate
|
Add comment
| Delete | Subject | Author | Type | Created |
|---|---|---|---|---|
| No notes to display |