<?xml version="1.0" encoding="UTF-8"?> <rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:obo_purl="http://purl.obolibrary.org/obo/" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:metadata_def="http://data.bioontology.org/metadata/def/" xmlns:metadata="http://data.bioontology.org/metadata/"> <owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000027"> <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000040"/> <metadata_def:mappingSameURI rdf:resource="http://purl.obolibrary.org/obo/BFO_0000027"/> <metadata_def:mappingLoom>objectaggregate</metadata_def:mappingLoom> <metadata_def:prefLabel>object aggregate</metadata_def:prefLabel> <metadata:prefixIRI>BFO:0000027</metadata:prefixIRI> <rdfs:isDefinedBy rdf:resource="http://purl.obolibrary.org/obo/bfo.owl"/> <rdfs:label xml:lang="en">object aggregate</rdfs:label> <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 </obo_purl:IAO_0000116> <obo_purl:IAO_0000116 xml:lang="en">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).</obo_purl:IAO_0000116> <obo_purl:IAO_0000600 xml:lang="en">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])</obo_purl:IAO_0000600> <obo_purl:IAO_0000112 xml:lang="en">your collection of Meissen ceramic plates.</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="en">the aggregate of blood cells in your body</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="en">defined via attributive delimitations such as: the patients in this hospital</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="en">a swarm of bees is an aggregate of members who are linked together through natural bonds</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="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)</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="en">the restaurants in Palo Alto</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="en">a collection of cells in a blood biobank.</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="en">defined by fiat: the aggregate of members of an organization</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="en">defined through physical attachment: the aggregate of atoms in a lump of granite</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="en">the aggregate of bearings in a constant velocity axle joint</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="en">the nitrogen atoms in the atmosphere</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="en">defined through physical containment: the aggregate of molecules of carbon dioxide in a sealed container</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="en">a symphony orchestra</obo_purl:IAO_0000112> <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_0000119> <obo_purl:BFO_0000180>ObjectAggregate</obo_purl:BFO_0000180> <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] </obo_purl:IAO_0000602> <obo_purl:BFO_0000179>object-aggregate</obo_purl:BFO_0000179> </owl:Class> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/PCO_0000000"> <rdfs:subClassOf> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000027"> <metadata_def:mappingSameURI rdf:resource="http://purl.obolibrary.org/obo/BFO_0000027"/> </rdf:Description> </rdfs:subClassOf> </rdf:Description> </rdf:RDF>
<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:obo_purl="http://purl.obolibrary.org/obo/" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:metadata_def="http://data.bioontology.org/metadata/def/" xmlns:metadata="http://data.bioontology.org/metadata/">
  <owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000027">
    <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000040"/>
    <metadata_def:mappingSameURI rdf:resource="http://purl.obolibrary.org/obo/BFO_0000027"/>
    <metadata_def:mappingLoom>objectaggregate</metadata_def:mappingLoom>
    <metadata_def:prefLabel>object aggregate</metadata_def:prefLabel>
    <metadata:prefixIRI>BFO:0000027</metadata:prefixIRI>
    <rdfs:isDefinedBy rdf:resource="http://purl.obolibrary.org/obo/bfo.owl"/>
    <rdfs:label xml:lang="en">object aggregate</rdfs:label>
    <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 </obo_purl:IAO_0000116>
    <obo_purl:IAO_0000116 xml:lang="en">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).</obo_purl:IAO_0000116>
    <obo_purl:IAO_0000600 xml:lang="en">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])</obo_purl:IAO_0000600>
    <obo_purl:IAO_0000112 xml:lang="en">your collection of Meissen ceramic plates.</obo_purl:IAO_0000112>
    <obo_purl:IAO_0000112 xml:lang="en">the aggregate of blood cells in your body</obo_purl:IAO_0000112>
    <obo_purl:IAO_0000112 xml:lang="en">defined via attributive delimitations such as: the patients in this hospital</obo_purl:IAO_0000112>
    <obo_purl:IAO_0000112 xml:lang="en">a swarm of bees is an aggregate of members who are linked together through natural bonds</obo_purl:IAO_0000112>
    <obo_purl:IAO_0000112 xml:lang="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)</obo_purl:IAO_0000112>
    <obo_purl:IAO_0000112 xml:lang="en">the restaurants in Palo Alto</obo_purl:IAO_0000112>
    <obo_purl:IAO_0000112 xml:lang="en">a collection of cells in a blood biobank.</obo_purl:IAO_0000112>
    <obo_purl:IAO_0000112 xml:lang="en">defined by fiat: the aggregate of members of an organization</obo_purl:IAO_0000112>
    <obo_purl:IAO_0000112 xml:lang="en">defined through physical attachment: the aggregate of atoms in a lump of granite</obo_purl:IAO_0000112>
    <obo_purl:IAO_0000112 xml:lang="en">the aggregate of bearings in a constant velocity axle joint</obo_purl:IAO_0000112>
    <obo_purl:IAO_0000112 xml:lang="en">the nitrogen atoms in the atmosphere</obo_purl:IAO_0000112>
    <obo_purl:IAO_0000112 xml:lang="en">defined through physical containment: the aggregate of molecules of carbon dioxide in a sealed container</obo_purl:IAO_0000112>
    <obo_purl:IAO_0000112 xml:lang="en">a symphony orchestra</obo_purl:IAO_0000112>
    <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_0000119>
    <obo_purl:BFO_0000180>ObjectAggregate</obo_purl:BFO_0000180>
    <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] </obo_purl:IAO_0000602>
    <obo_purl:BFO_0000179>object-aggregate</obo_purl:BFO_0000179>
  </owl:Class>
  <rdf:Description rdf:about="http://purl.obolibrary.org/obo/PCO_0000000">
    <rdfs:subClassOf>
      <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000027">
        <metadata_def:mappingSameURI rdf:resource="http://purl.obolibrary.org/obo/BFO_0000027"/>
      </rdf:Description>
    </rdfs:subClassOf>
  </rdf:Description>
</rdf:RDF>