@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . @prefix obo_purl: <http://purl.obolibrary.org/obo/> . @prefix owl: <http://www.w3.org/2002/07/owl#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @prefix metadata_def: <http://data.bioontology.org/metadata/def/> . @prefix metadata: <http://data.bioontology.org/metadata/> . @prefix ns0: <ISBN:978-3-938793-98-5pp124-158#Thomas\u0020Bittner\u0020and\u0020Barry\u0020Smith,\u0020'A\u0020Theory\u0020of\u0020Granular\u0020Partitions',\u0020in\u0020K.\u0020Munn\u0020and\u0020B.\u0020Smith\u0020(eds.),\u0020Applied\u0020Ontology:\u0020An\u0020Introduction,\u0020Frankfurt/> . @prefix ns1: <(forall\u0020(x)\u0020(if\u0020(ObjectAggregate\u0020x)\u0020(and\u0020(MaterialEntity\u0020x)\u0020(forall\u0020(t)\u0020(if\u0020(existsAt\u0020x\u0020t)\u0020(exists\u0020(y\u0020z)\u0020(and\u0020(Object\u0020y)\u0020(Object\u0020z)\u0020(memberPartOfAt\u0020y\u0020x\u0020t)\u0020(memberPartOfAt\u0020z\u0020x\u0020t)\u0020(not\u0020(=\u0020y\u0020z))))))\u0020(not\u0020(exists\u0020(w\u0020t_1)\u0020(and\u0020(memberPartOfAt\u0020w\u0020x\u0020t_1)\u0020(not\u0020(Object\u0020w))))))))\u0020//> . obo_purl:BFO_0000027 metadata_def:mappingLoom "objectaggregate" ; metadata_def:mappingSameURI obo_purl:BFO_0000027 ; metadata_def:prefLabel "object aggregate" ; metadata:prefixIRI "BFO:0000027" ; obo_purl:BFO_0000179 "object-aggregate" ; obo_purl:BFO_0000180 "ObjectAggregate" ; obo_purl:IAO_0000112 "a collection of cells in a blood biobank."@en, "a swarm of bees is an aggregate of members who are linked together through natural bonds"@en, "a symphony orchestra"@en, "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)"@en, "defined by fiat: the aggregate of members of an organization"@en, "defined through physical attachment: the aggregate of atoms in a lump of granite"@en, "defined through physical containment: the aggregate of molecules of carbon dioxide in a sealed container"@en, "defined via attributive delimitations such as: the patients in this hospital"@en, "the aggregate of bearings in a constant velocity axle joint"@en, "the aggregate of blood cells in your body"@en, "the nitrogen atoms in the atmosphere"@en, "the restaurants in Palo Alto"@en, "your collection of Meissen ceramic plates."@en ; obo_purl:IAO_0000116 "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)."@en ; obo_purl:IAO_0000119 "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." ; obo_purl:IAO_0000600 "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])"@en ; obo_purl:IAO_0000602 "(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] " ; a owl:Class ; rdfs:isDefinedBy <http://purl.obolibrary.org/obo/bfo.owl> ; rdfs:label "object aggregate"@en ; rdfs:subClassOf obo_purl:BFO_0000040 .