Not logged in : Login
(Sponging disallowed)

About: object aggregate     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Class, within Data Space : linkeddata.uriburner.com associated with source document(s)
QRcode icon
http://linkeddata.uriburner.com/describe/?url=http%3A%2F%2Fpurl.obolibrary.org%2Fobo%2FBFO_0000027

AttributesValues
Type
subClassOf
example of usage
  • 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)
  • a swarm of bees is an aggregate of members who are linked together through natural bonds
  • defined via attributive delimitations such as: the patients in this hospital
  • a collection of cells in a blood biobank.
  • a symphony orchestra
  • the aggregate of blood cells in your body
  • the nitrogen atoms in the atmosphere
  • the restaurants in Palo Alto
  • the aggregate of bearings in a constant velocity axle joint
  • your collection of Meissen ceramic plates.
  • defined through physical attachment: the aggregate of atoms in a lump of granite
  • defined by fiat: the aggregate of members of an organization
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).
  • An entity a is an object aggregate if and only if there is a mutually exhaustive and pairwise disjoint partition of a into objects
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.
imported from
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]
has a SPARQL endpoint at
BFO OWL specification label
  • object-aggregate
BFO CLIF specification label
  • ObjectAggregate
label
  • object aggregate
isDefinedBy
preferred label
  • object aggregate
topic
described by
Identifier
  • 025-BFO
definition
  • (Elucidation) an object aggregate is a material entity consisting exactly of a plurality (≥1) of objects as member parts which together form a unit
example
  • A symphony orchestra, the aggregate of bearings in a constant velocity axle joint, the nitrogen atoms in the atmosphere, a collection of cells in a blood biobank. NOTE 1: 'Exactly' means that there are no parts of the object aggregate other than its member parts. NOTE 2: The unit can, at certain times, consist of exactly one object, for example, when a fire brigade loses all but one of its members, but it must at some time have a plurality of member parts.
is subClassOf of
is annotatedSource of
is http://vocab.deri.ie/void#inDataset of
is first of
is domain of
is range of
is someValuesFrom of
is topic of
Faceted Search & Find service v1.17_git51 as of Jun 26 2020


Alternative Linked Data Documents: PivotViewer | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3318 as of Jul 10 2020, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (378 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2020 OpenLink Software