has part


URI

http://semanticscience.org/resource/hasPart

Label

has part

Description

has part is a transitive, reflexive and antisymmetric relation between a whole and itself or a whole and its part.

Sub Property

Usage

DOMAINPROPERTYRANGE
owl:Thing (inferred) has part owl:Thing (inferred)

Implementation

@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:hasPart a owl:ObjectProperty,
        owl:ReflexiveProperty,
        owl:TransitiveProperty ;
    rdfs:label "has part"@en ;
    dct:description "has part is a transitive, reflexive and antisymmetric relation between a whole and itself or a whole and its part."@en ;
    rdfs:isDefinedBy <http://semanticscience.org/ontology/sio/v1.53/sio-subset-labels.owl> ;
    rdfs:subPropertyOf sio:isLocationOf ;
    owl:inverseOf sio:isPartOf ;
    skos:example "a collection of cars has as a car as a part;a car has an engine as a part; a car has a piston as a part;"@en .