@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix ns0: <http://purl.org/dc/elements/1.1/> .
@prefix sio: <http://semanticscience.org/resource/> .

sio:SIO_000028
    rdfs:label "has part"@en .

sio:SIO_000053
    ns0:identifier "SIO_000053" ;
    dc:description "has proper part is an antisymmetric, irreflexive (normally transitive) relation between a whole and a distinct part."@en ;
    dc:identifier "SIO:000053" ;
    sio:example "a car has an engine as a proper part; a car has a piston as a proper part;"@en ;
    a owl:AsymmetricProperty, owl:IrreflexiveProperty, owl:ObjectProperty ;
    rdfs:isDefinedBy <http://semanticscience.org/ontology/sio.owl> ;
    rdfs:label "has proper part"@en ;
    rdfs:subPropertyOf sio:SIO_000028 ;
    owl:EquivalentProperty sio:has-proper-part ;
    owl:inverseOf sio:SIO_000093 .

<http://semanticscience.org/resource/SIO_000053.rdf>
    dc:subject sio:SIO_000053 ;
    a owl:Ontology ;
    rdfs:label "Summary document for SIO_000053" ;
    owl:imports <http://semanticscience.org/ontology/sio.owl> .

sio:SIO_000054
    rdfs:label "has boundary"@en ;
    rdfs:subPropertyOf sio:SIO_000053 .

sio:SIO_000093
    rdfs:label "is proper part of"@en .

sio:SIO_000273
    rdfs:label "has direct part"@en ;
    rdfs:subPropertyOf sio:SIO_000053 .

sio:SIO_000974
    rdfs:label "has ordered part"@en ;
    rdfs:subPropertyOf sio:SIO_000053 .

sio:has-proper-part
    owl:EquivalentProperty sio:SIO_000053 .