@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix obo: <http://purl.obolibrary.org/obo/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix oboInOwl: <http://www.geneontology.org/formats/oboInOwl#> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix ns4: <http://purl.org/dc/terms/> .

<http://semanticscience.org/ontology/sio.owl>
    a owl:Ontology .

<http://semanticscience.org/resource/SIO_000053>
    a owl:AsymmetricProperty, owl:IrreflexiveProperty, owl:ObjectProperty ;
    rdfs:label "has proper part"@en .

<http://semanticscience.org/resource/SIO_000217>
    a owl:InverseFunctionalProperty, owl:ObjectProperty ;
    rdfs:label "has quality"@en .

<http://semanticscience.org/resource/SIO_000259>
    a owl:Class ;
    rdfs:label "argument"@en .

<http://semanticscience.org/resource/SIO_000262>
    a owl:Class ;
    rdfs:label "conclusion"@en .

<http://semanticscience.org/resource/SIO_000267>
    dc:identifier "SIO_000267" ;
    ns4:description "An invalid argument is an argument where the truth of the conclusion is false because it is not a logical consequence of the premises."@en ;
    a owl:Class ;
    rdfs:isDefinedBy <http://semanticscience.org/ontology/sio.owl> ;
    rdfs:label "invalid argument"@en ;
    rdfs:subClassOf <http://semanticscience.org/resource/SIO_000259>, [
        dc:identifier ":arc6de1b140" ;
        a owl:Restriction ;
        owl:onProperty <http://semanticscience.org/resource/SIO_000053> ;
        owl:someValuesFrom [
            dc:identifier ":arc6de1b141" ;
            a owl:Class ;
            owl:intersectionOf [
                dc:identifier ":arc6de1b142" ;
                rdf:first <http://semanticscience.org/resource/SIO_000262> ;
                rdf:rest [
                    dc:identifier ":arc6de1b144" ;
                    rdf:first [
                        dc:identifier ":arc6de1b143" ;
                        a owl:Restriction ;
                        owl:onProperty <http://semanticscience.org/resource/SIO_000217> ;
                        owl:someValuesFrom <http://semanticscience.org/resource/SIO_000270>
                    ] ;
                    rdf:rest rdf:nil
                ]
            ]
        ]
    ] .

<http://semanticscience.org/resource/SIO_000270>
    a owl:Class ;
    rdfs:label "false"@en .

