<?xml version="1.0"?>
<?xml-stylesheet type="text/xsl" href="https://ontobee.org/ontology/view/TXPO?iri=http://purl.obolibrary.org/obo/BFO_0000004"?>
<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:rdfs="http://www.w3.org/2000/01/rdf-schema#"
     xmlns:foaf="http://xmlns.com/foaf/0.1/"
     xmlns:dc="http://purl.org/dc/elements/1.1/"
     xmlns:ns3="http://purl.obolibrary.org/obo/">
    


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

    <AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000602"/>
    <AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000601"/>
    <AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000115"/>
    <AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000112"/>
    


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

    


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

    


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

    <Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000002">
        <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">continuant</rdfs:label>
    </Class>
    


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

    <Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000004">
        <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">independent continuant</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000002"/>
        <disjointWith rdf:resource="http://purl.obolibrary.org/obo/BFO_0000020"/>
        <disjointWith rdf:resource="http://purl.obolibrary.org/obo/BFO_0000031"/>
        <ns3:IAO_0000601 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">For any independent continuant b and any time t there is some spatial region r such that b is located_in r at t. (axiom label in BFO2 Reference: [134-001])</ns3:IAO_0000601>
        <ns3:IAO_0000601 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">For every independent continuant b and time t during the region of time spanned by its life, there are entities which s-depends_on b during t. (axiom label in BFO2 Reference: [018-002])</ns3:IAO_0000601>
        <ns3:IAO_0000112 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">a chair</ns3:IAO_0000112>
        <ns3:IAO_0000112 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">a heart</ns3:IAO_0000112>
        <ns3:IAO_0000112 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">a leg</ns3:IAO_0000112>
        <ns3:IAO_0000112 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">a molecule</ns3:IAO_0000112>
        <ns3:IAO_0000112 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">a spatial region</ns3:IAO_0000112>
        <ns3:IAO_0000112 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">an atom</ns3:IAO_0000112>
        <ns3:IAO_0000112 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">an orchestra.</ns3:IAO_0000112>
        <ns3:IAO_0000112 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">an organism</ns3:IAO_0000112>
        <ns3:IAO_0000115 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">b is an independent continuant = Def. b is a continuant which is such that there is no c and no t such that b s-depends_on c at t. (axiom label in BFO2 Reference: [017-002])</ns3:IAO_0000115>
        <ns3:IAO_0000112 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">the bottom right portion of a human torso</ns3:IAO_0000112>
        <ns3:IAO_0000112 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">the interior of your mouth</ns3:IAO_0000112>
        <ns3:IAO_0000602>(iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002]</ns3:IAO_0000602>
        <ns3:IAO_0000602>(forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001]</ns3:IAO_0000602>
        <ns3:IAO_0000602>(forall (x t) (if (and (IndependentContinuant x) (existsAt x t)) (exists (y) (and (Entity y) (specificallyDependsOnAt y x t))))) // axiom label in BFO2 CLIF: [018-002]</ns3:IAO_0000602>
        <rdfs:isDefinedBy rdf:resource="http://purl.obolibrary.org/obo/bfo.owl"/>
    </Class>
    


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

    <Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000020">
        <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">specifically dependent continuant</rdfs:label>
    </Class>
    


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

    <Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000031">
        <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">generically dependent continuant</rdfs:label>
    </Class>
</rdf:RDF>



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



