<?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_0000035"> <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000003"/> <metadata_def:prefLabel>process boundary</metadata_def:prefLabel> <obo_purl:IAO_0000115 xml:lang="en">p is a process boundary =Def. p is a temporal part of a process &amp; p has no proper temporal parts. (axiom label in BFO2 Reference: [084-001])</obo_purl:IAO_0000115> <metadata:prefixIRI>BFO:0000035</metadata:prefixIRI> <rdfs:isDefinedBy rdf:resource="http://purl.obolibrary.org/obo/bfo.owl"/> <rdfs:label xml:lang="en">process boundary</rdfs:label> <obo_purl:IAO_0000112 xml:lang="en">the boundary between the 2nd and 3rd year of your life.</obo_purl:IAO_0000112> <obo_purl:BFO_0000180>ProcessBoundary</obo_purl:BFO_0000180> <obo_purl:IAO_0000602>(iff (ProcessBoundary a) (exists (p) (and (Process p) (temporalPartOf a p) (not (exists (b) (properTemporalPartOf b a)))))) // axiom label in BFO2 CLIF: [084-001] </obo_purl:IAO_0000602> <obo_purl:IAO_0000602>(forall (x) (if (ProcessBoundary x) (exists (y) (and (ZeroDimensionalTemporalRegion y) (occupiesTemporalRegion x y))))) // axiom label in BFO2 CLIF: [085-002] </obo_purl:IAO_0000602> <obo_purl:BFO_0000179>p-boundary</obo_purl:BFO_0000179> <obo_purl:IAO_0000601 xml:lang="en">Every process boundary occupies_temporal_region a zero-dimensional temporal region. (axiom label in BFO2 Reference: [085-002])</obo_purl:IAO_0000601> </owl:Class> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000008"> <owl:disjointWith rdf:resource="http://purl.obolibrary.org/obo/BFO_0000035"/> </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_0000035">
    <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000003"/>
    <metadata_def:prefLabel>process boundary</metadata_def:prefLabel>
    <obo_purl:IAO_0000115 xml:lang="en">p is a process boundary =Def. p is a temporal part of a process &amp; p has no proper temporal parts. (axiom label in BFO2 Reference: [084-001])</obo_purl:IAO_0000115>
    <metadata:prefixIRI>BFO:0000035</metadata:prefixIRI>
    <rdfs:isDefinedBy rdf:resource="http://purl.obolibrary.org/obo/bfo.owl"/>
    <rdfs:label xml:lang="en">process boundary</rdfs:label>
    <obo_purl:IAO_0000112 xml:lang="en">the boundary between the 2nd and 3rd year of your life.</obo_purl:IAO_0000112>
    <obo_purl:BFO_0000180>ProcessBoundary</obo_purl:BFO_0000180>
    <obo_purl:IAO_0000602>(iff (ProcessBoundary a) (exists (p) (and (Process p) (temporalPartOf a p) (not (exists (b) (properTemporalPartOf b a)))))) // axiom label in BFO2 CLIF: [084-001] </obo_purl:IAO_0000602>
    <obo_purl:IAO_0000602>(forall (x) (if (ProcessBoundary x) (exists (y) (and (ZeroDimensionalTemporalRegion y) (occupiesTemporalRegion x y))))) // axiom label in BFO2 CLIF: [085-002] </obo_purl:IAO_0000602>
    <obo_purl:BFO_0000179>p-boundary</obo_purl:BFO_0000179>
    <obo_purl:IAO_0000601 xml:lang="en">Every process boundary occupies_temporal_region a zero-dimensional temporal region. (axiom label in BFO2 Reference: [085-002])</obo_purl:IAO_0000601>
  </owl:Class>
  <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000008">
    <owl:disjointWith rdf:resource="http://purl.obolibrary.org/obo/BFO_0000035"/>
  </rdf:Description>
</rdf:RDF>