http://semanticscience.org/resource/hasProperPart
has proper part is an antisymmetric, irreflexive (normally transitive) relation between a whole and a distinct part.
@prefix dct: <http://purl.org/dc/terms/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sio: <http://semanticscience.org/resource/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
sio:hasProperPart a owl:AsymmetricProperty,
owl:IrreflexiveProperty,
owl:ObjectProperty ;
rdfs:label "has proper part"@en ;
dct:description "has proper part is an antisymmetric, irreflexive (normally transitive) relation between a whole and a distinct part."@en ;
rdfs:isDefinedBy <http://semanticscience.org/ontology/sio/v1.53/sio-subset-labels.owl> ;
rdfs:subPropertyOf sio:hasPart ;
owl:inverseOf sio:isProperPartOf ;
skos:example "a car has an engine as a proper part; a car has a piston as a proper part;"@en .