1. Home
  2. Entities
  3. Properties
  4. is proper part of

is proper part of

URI

http://semanticscience.org/resource/isProperPartOf

Label

is proper part of

Description

is proper part of is an asymmetric, irreflexive (normally transitive) relation between a part and its distinct whole.

Inherits from

  • is part of
  • is located in
  • is spatiotemporally related to
  • is related to

    • Sub Property

  • is boundary of
  • is direct part of
  • is ordered part of

    • Usage

    DOMAINPROPERTYRANGE
    owl:Thing (inferred) is proper part of 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/> .

sio:isProperPartOf a owl:AsymmetricProperty,
        owl:IrreflexiveProperty,
        owl:ObjectProperty ;
    rdfs:label "is proper part of"@en ;
    dct:description "is proper part of is an asymmetric, irreflexive (normally transitive) relation between a part and its distinct whole."@en ;
    sio:equivalentTo "OBO_REL:proper_part_of" ;
    sio:subset "core" ;
    rdfs:isDefinedBy <http://semanticscience.org/ontology/sio/v1.53/sio-subset-labels.owl> ;
    rdfs:subPropertyOf sio:isPartOf .