<?xml version="1.0"?>
<?xml-stylesheet type="text/xsl" href="https://ontobee.org/ontology/view/AFO?iri=http://purl.allotrope.org/ontologies/result%23AFR_0001056"?>
<rdf:RDF xmlns="http://www.w3.org/2002/07/owl#"
     xml:base="http://www.w3.org/2002/07/owl"
     xmlns:result="http://purl.allotrope.org/ontologies/result#"
     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:obo="http://purl.obolibrary.org/obo/"
     xmlns:foaf="http://xmlns.com/foaf/0.1/"
     xmlns:dc="http://purl.org/dc/elements/1.1/"
     xmlns:ns3="http://purl.allotrope.org/ontologies/property#">
    


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

    <AnnotationProperty rdf:about="http://www.w3.org/2004/02/skos/core#definition"/>
    <AnnotationProperty rdf:about="http://purl.allotrope.org/ontologies/property#AFX_0002818"/>
    <AnnotationProperty rdf:about="http://www.w3.org/2004/02/skos/core#prefLabel"/>
    


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

    


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

    


    <!-- http://purl.allotrope.org/ontologies/property#AFX_0002803 -->

    <ObjectProperty rdf:about="http://purl.allotrope.org/ontologies/property#AFX_0002803">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
        <rdfs:label>has facet</rdfs:label>
    </ObjectProperty>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Data properties
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- http://purl.allotrope.org/ontologies/property#AFX_0000690 -->

    <DatatypeProperty rdf:about="http://purl.allotrope.org/ontologies/property#AFX_0000690">
        <rdfs:label>has value</rdfs:label>
    </DatatypeProperty>
    


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

    


    <!-- http://purl.allotrope.org/ontologies/result#AFR_0000936 -->

    <Class rdf:about="http://purl.allotrope.org/ontologies/result#AFR_0000936">
        <rdfs:label>size</rdfs:label>
    </Class>
    


    <!-- http://purl.allotrope.org/ontologies/result#AFR_0001046 -->

    <Class rdf:about="http://purl.allotrope.org/ontologies/result#AFR_0001046">
        <rdfs:label>tuple</rdfs:label>
    </Class>
    


    <!-- http://purl.allotrope.org/ontologies/result#AFR_0001056 -->

    <Class rdf:about="http://purl.allotrope.org/ontologies/result#AFR_0001056">
        <rdfs:label>2-tuple</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://purl.allotrope.org/ontologies/result#AFR_0001046"/>
        <rdfs:subClassOf>
            <Restriction>
                <onProperty rdf:resource="http://purl.allotrope.org/ontologies/property#AFX_0002803"/>
                <someValuesFrom>
                    <Class>
                        <intersectionOf rdf:parseType="Collection">
                            <rdf:Description rdf:about="http://purl.allotrope.org/ontologies/result#AFR_0000936"/>
                            <Restriction>
                                <onProperty rdf:resource="http://purl.allotrope.org/ontologies/property#AFX_0000690"/>
                                <hasValue rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">2</hasValue>
                            </Restriction>
                        </intersectionOf>
                    </Class>
                </someValuesFrom>
            </Restriction>
        </rdfs:subClassOf>
        <ns3:AFX_0002818 rdf:datatype="http://www.w3.org/2001/XMLSchema#boolean">true</ns3:AFX_0002818>
        <skos:definition>A 2-tuple is a tuple that is an ordered pair. [Wikipedia]</skos:definition>
        <skos:prefLabel>2-tuple</skos:prefLabel>
        <rdfs:isDefinedBy rdf:resource="http://purl.allotrope.org/voc/afo/REC/2025/12/aft"/>
    </Class>
</rdf:RDF>



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



