<?xml version="1.0"?>
<?xml-stylesheet type="text/xsl" href="https://ontobee.org/ontology/view/TXPO?iri=http://purl.obolibrary.org/obo/BFO_0000147"?>
<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:ns2="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_0000600"/>
    <AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000112"/>
    


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

    


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

    


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

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


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

    <Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000147">
        <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">zero-dimensional continuant fiat boundary</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000140"/>
        <ns2:IAO_0000600 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">a zero-dimensional continuant fiat boundary is a fiat point whose location is defined in relation to some material entity. (axiom label in BFO2 Reference: [031-001])</ns2:IAO_0000600>
        <ns2:IAO_0000112 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">the geographic North Pole</ns2:IAO_0000112>
        <ns2:IAO_0000112 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">the point of origin of some spatial coordinate system.</ns2:IAO_0000112>
        <ns2:IAO_0000112 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">the quadripoint where the boundaries of Colorado, Utah, New Mexico, and Arizona meet</ns2:IAO_0000112>
        <ns2:IAO_0000116 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">zero dimension continuant fiat boundaries are not spatial points. Considering the example &#39;the quadripoint where the boundaries of Colorado, Utah, New Mexico, and Arizona meet&#39; : There are many frames in which that point is zooming through many points in space. Whereas, no matter what the frame, the quadripoint is always in the same relation to the boundaries of Colorado, Utah, New Mexico, and Arizona.</ns2:IAO_0000116>
        <ns2:IAO_0000602>(iff (ZeroDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (ZeroDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [031-001]</ns2:IAO_0000602>
        <rdfs:isDefinedBy rdf:resource="http://purl.obolibrary.org/obo/bfo.owl"/>
    </Class>
</rdf:RDF>



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



