<?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_0000003"> <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000001"/> <metadata_def:mappingSameURI rdf:resource="http://purl.obolibrary.org/obo/BFO_0000003"/> <metadata_def:mappingLoom>occurrent</metadata_def:mappingLoom> <metadata_def:prefLabel>occurrent</metadata_def:prefLabel> <metadata:prefixIRI>BFO:0000003</metadata:prefixIRI> <rdfs:isDefinedBy rdf:resource="http://purl.obolibrary.org/obo/bfo.owl"/> <rdfs:label xml:lang="en">occurrent</rdfs:label> <obo_purl:IAO_0000116>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.</obo_purl:IAO_0000116> <obo_purl:IAO_0000116 xml:lang="en">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.</obo_purl:IAO_0000116> <obo_purl:IAO_0000116 xml:lang="en">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.</obo_purl:IAO_0000116> <obo_purl:IAO_0000116 xml:lang="en">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</obo_purl:IAO_0000116> <obo_purl:IAO_0000600 xml:lang="en">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])</obo_purl:IAO_0000600> <obo_purl:BFO_0000180>Occurrent</obo_purl:BFO_0000180> <obo_purl:IAO_0000602>(forall (x) (iff (Occurrent x) (and (Entity x) (exists (y) (temporalPartOf y x))))) // axiom label in BFO2 CLIF: [079-001] </obo_purl:IAO_0000602> <obo_purl:IAO_0000602>(forall (x) (if (Occurrent x) (exists (r) (and (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion x r))))) // axiom label in BFO2 CLIF: [108-001] </obo_purl:IAO_0000602> <obo_purl:BFO_0000179>occurrent</obo_purl:BFO_0000179> <obo_purl:IAO_0000601 xml:lang="en">Every occurrent occupies_spatiotemporal_region some spatiotemporal region. (axiom label in BFO2 Reference: [108-001])</obo_purl:IAO_0000601> <obo_purl:IAO_0000601 xml:lang="en">b is an occurrent entity iff b is an entity that has temporal parts. (axiom label in BFO2 Reference: [079-001])</obo_purl:IAO_0000601> </owl:Class> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000002"> <owl:disjointWith> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000003"> <metadata_def:mappingSameURI rdf:resource="http://purl.obolibrary.org/obo/BFO_0000003"/> </rdf:Description> </owl:disjointWith> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000008"> <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000003"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000011"> <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000003"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000015"> <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000003"/> </rdf:Description> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000035"> <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000003"/> </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_0000003">
    <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000001"/>
    <metadata_def:mappingSameURI rdf:resource="http://purl.obolibrary.org/obo/BFO_0000003"/>
    <metadata_def:mappingLoom>occurrent</metadata_def:mappingLoom>
    <metadata_def:prefLabel>occurrent</metadata_def:prefLabel>
    <metadata:prefixIRI>BFO:0000003</metadata:prefixIRI>
    <rdfs:isDefinedBy rdf:resource="http://purl.obolibrary.org/obo/bfo.owl"/>
    <rdfs:label xml:lang="en">occurrent</rdfs:label>
    <obo_purl:IAO_0000116>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.</obo_purl:IAO_0000116>
    <obo_purl:IAO_0000116 xml:lang="en">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.</obo_purl:IAO_0000116>
    <obo_purl:IAO_0000116 xml:lang="en">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.</obo_purl:IAO_0000116>
    <obo_purl:IAO_0000116 xml:lang="en">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</obo_purl:IAO_0000116>
    <obo_purl:IAO_0000600 xml:lang="en">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])</obo_purl:IAO_0000600>
    <obo_purl:BFO_0000180>Occurrent</obo_purl:BFO_0000180>
    <obo_purl:IAO_0000602>(forall (x) (iff (Occurrent x) (and (Entity x) (exists (y) (temporalPartOf y x))))) // axiom label in BFO2 CLIF: [079-001] </obo_purl:IAO_0000602>
    <obo_purl:IAO_0000602>(forall (x) (if (Occurrent x) (exists (r) (and (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion x r))))) // axiom label in BFO2 CLIF: [108-001] </obo_purl:IAO_0000602>
    <obo_purl:BFO_0000179>occurrent</obo_purl:BFO_0000179>
    <obo_purl:IAO_0000601 xml:lang="en">Every occurrent occupies_spatiotemporal_region some spatiotemporal region. (axiom label in BFO2 Reference: [108-001])</obo_purl:IAO_0000601>
    <obo_purl:IAO_0000601 xml:lang="en">b is an occurrent entity iff b is an entity that has temporal parts. (axiom label in BFO2 Reference: [079-001])</obo_purl:IAO_0000601>
  </owl:Class>
  <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000002">
    <owl:disjointWith>
      <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000003">
        <metadata_def:mappingSameURI rdf:resource="http://purl.obolibrary.org/obo/BFO_0000003"/>
      </rdf:Description>
    </owl:disjointWith>
  </rdf:Description>
  <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000008">
    <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000003"/>
  </rdf:Description>
  <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000011">
    <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000003"/>
  </rdf:Description>
  <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000015">
    <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000003"/>
  </rdf:Description>
  <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000035">
    <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000003"/>
  </rdf:Description>
</rdf:RDF>