<?xml version="1.0"?>
<?xml-stylesheet type="text/xsl" href="https://ontobee.org/ontology/view/SLSO?iri=http://purl.obolibrary.org/obo/BFO_0000015"?>
<rdf:RDF xmlns="http://www.w3.org/2002/07/owl#"
     xml:base="http://www.w3.org/2002/07/owl"
     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
     xmlns:owl="http://www.w3.org/2002/07/owl#"
     xmlns:oboInOwl="http://www.geneontology.org/formats/oboInOwl#"
     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
     xmlns:skos="http://www.w3.org/2004/02/skos/core#"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
     xmlns:ns4="http://purl.obolibrary.org/obo/"
     xmlns:foaf="http://xmlns.com/foaf/0.1/"
     xmlns:dc="http://purl.org/dc/elements/1.1/">
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Annotation properties
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    <AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000602"/>
    <AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000116"/>
    <AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000115"/>
    <AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/BFO_0000179"/>
    <AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/BFO_0000180"/>
    <AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000112"/>
    <AnnotationProperty rdf:about="http://www.geneontology.org/formats/oboInOwl#id"/>
    <AnnotationProperty rdf:about="http://www.w3.org/2004/02/skos/core#altLabel"/>
    <AnnotationProperty rdf:about="http://www.w3.org/2004/02/skos/core#example"/>
    <AnnotationProperty rdf:about="http://www.geneontology.org/formats/oboInOwl#hasOBONamespace"/>
    <AnnotationProperty rdf:about="http://www.w3.org/2004/02/skos/core#definition"/>
    <AnnotationProperty rdf:about="http://purl.org/dc/elements/1.1/identifier"/>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Datatypes
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Object Properties
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- http://purl.obolibrary.org/obo/BFO_0000117 -->

    <ObjectProperty rdf:about="http://purl.obolibrary.org/obo/BFO_0000117">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
        <rdfs:label xml:lang="en">has occurrent part</rdfs:label>
    </ObjectProperty>
    


    <!-- http://purl.obolibrary.org/obo/BFO_0000132 -->

    <ObjectProperty rdf:about="http://purl.obolibrary.org/obo/BFO_0000132">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
        <rdfs:label xml:lang="en">occurrent part of</rdfs:label>
    </ObjectProperty>
    


    <!-- http://purl.obolibrary.org/obo/BFO_0000139 -->

    <ObjectProperty rdf:about="http://purl.obolibrary.org/obo/BFO_0000139">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
        <rdfs:label xml:lang="en">temporal part of</rdfs:label>
    </ObjectProperty>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Classes
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- http://purl.obolibrary.org/obo/BFO_0000003 -->

    <Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000003">
        <rdfs:label>occurrent</rdfs:label>
        <rdfs:label xml:lang="en">occurrent</rdfs:label>
    </Class>
    


    <!-- http://purl.obolibrary.org/obo/BFO_0000015 -->

    <Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000015">
        <rdfs:label>process</rdfs:label>
        <rdfs:label xml:lang="en">process</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000003"/>
        <rdfs:subClassOf>
            <Restriction>
                <onProperty rdf:resource="http://purl.obolibrary.org/obo/BFO_0000117"/>
                <allValuesFrom>
                    <Class>
                        <unionOf rdf:parseType="Collection">
                            <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000015"/>
                            <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000035"/>
                        </unionOf>
                    </Class>
                </allValuesFrom>
            </Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <Restriction>
                <onProperty rdf:resource="http://purl.obolibrary.org/obo/BFO_0000132"/>
                <allValuesFrom rdf:resource="http://purl.obolibrary.org/obo/BFO_0000015"/>
            </Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <Restriction>
                <onProperty rdf:resource="http://purl.obolibrary.org/obo/BFO_0000139"/>
                <allValuesFrom rdf:resource="http://purl.obolibrary.org/obo/BFO_0000015"/>
            </Restriction>
        </rdfs:subClassOf>
        <oboInOwl:id>BFO:0000015</oboInOwl:id>
        <skos:definition xml:lang="en">(Elucidation) p is a process means p is an occurrent that has some temporal proper part and for some time t, p has some material entity as participant</skos:definition>
        <dc:identifier>083-BFO</dc:identifier>
        <ns4:IAO_0000602>(iff (Process a) (and (Occurrent a) (exists (b) (properTemporalPartOf b a)) (exists (c t) (and (MaterialEntity c) (specificallyDependsOnAt a c t))))) // axiom label in BFO2 CLIF: [083-003] </ns4:IAO_0000602>
        <oboInOwl:hasOBONamespace>source</oboInOwl:hasOBONamespace>
        <ns4:BFO_0000179>process</ns4:BFO_0000179>
        <ns4:BFO_0000180>Process</ns4:BFO_0000180>
        <skos:example xml:lang="en">An act of selling; the life of an organism; a process of sleeping; a process of cell-division; a beating of the heart; a process of meiosis; the taxiing of an aircraft; the programming of a computer</skos:example>
        <ns4:IAO_0000115 xml:lang="en">An occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t.</ns4:IAO_0000115>
        <rdfs:comment xml:lang="en">An occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t.</rdfs:comment>
        <ns4:IAO_0000116 xml:lang="en">BFO 2 Reference: The realm of occurrents is less pervasively marked by the presence of natural units than is the case in the realm of independent continuants. Thus there is here no counterpart of ‘object’. In BFO 1.0 ‘process’ served as such a counterpart. In BFO 2.0 ‘process’ is, rather, the occurrent counterpart of ‘material entity’. Those natural – as contrasted with engineered, which here means: deliberately executed – units which do exist in the realm of occurrents are typically either parasitic on the existence of natural units on the continuant side, or they are fiat in nature. Thus we can count lives; we can count football games; we can count chemical reactions performed in experiments or in chemical manufacturing. We cannot count the processes taking place, for instance, in an episode of insect mating behavior.Even where natural units are identifiable, for example cycles in a cyclical process such as the beating of a heart or an organism’s sleep/wake cycle, the processes in question form a sequence with no discontinuities (temporal gaps) of the sort that we find for instance where billiard balls or zebrafish or planets are separated by clear spatial gaps. Lives of organisms are process units, but they too unfold in a continuous series from other, prior processes such as fertilization, and they unfold in turn in continuous series of post-life processes such as post-mortem decay. Clear examples of boundaries of processes are almost always of the fiat sort (midnight, a time of death as declared in an operating theater or on a death certificate, the initiation of a state of war)</ns4:IAO_0000116>
        <ns4:IAO_0000112 xml:lang="en">a process of cell-division, \ a beating of the heart</ns4:IAO_0000112>
        <ns4:IAO_0000112 xml:lang="en">a process of meiosis</ns4:IAO_0000112>
        <ns4:IAO_0000112 xml:lang="en">a process of sleeping</ns4:IAO_0000112>
        <skos:altLabel xml:lang="en">event</skos:altLabel>
        <ns4:IAO_0000115 xml:lang="en">p is a process = Def. p is an occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. (axiom label in BFO2 Reference: [083-003])</ns4:IAO_0000115>
        <ns4:IAO_0000112 xml:lang="en">the course of a disease</ns4:IAO_0000112>
        <ns4:IAO_0000112 xml:lang="en">the flight of a bird</ns4:IAO_0000112>
        <ns4:IAO_0000112 xml:lang="en">the life of an organism</ns4:IAO_0000112>
        <ns4:IAO_0000112 xml:lang="en">your process of aging.</ns4:IAO_0000112>
        <rdfs:isDefinedBy rdf:resource="http://purl.obolibrary.org/obo/bfo.owl"/>
    </Class>
    


    <!-- http://purl.obolibrary.org/obo/BFO_0000035 -->

    <Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000035">
        <rdfs:label xml:lang="en">process boundary</rdfs:label>
    </Class>
</rdf:RDF>



<!-- Generated by the OWL API (version 3.2.4.1806) http://owlapi.sourceforge.net -->



