dol:proper-part-of

dol:part-of
- dol:proper-part-of
  - dol:boundary-of
  - dol:temporary-proper-part-of

URI

http://www.loa-cnr.it/ontologies/DOLCE-Lite#proper-part-of

Label

proper-part-of

Inherits from

dol:part-of

dol:immediate-relation-i

Sub Property

dol:boundary-of

dol:temporary-proper-part-of

Usage

DOMAIN	PROPERTY	RANGE
dol:particular	dol:proper-part-of	dol:particular

Implementation

@prefix dol: <http://www.loa-cnr.it/ontologies/DOLCE-Lite#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

dol:proper-part-of a owl:ObjectProperty,
        owl:TransitiveProperty ;
    rdfs:domain dol:particular ;
    rdfs:range dol:particular ;
    rdfs:subPropertyOf dol:part-of ;
    owl:inverseOf dol:proper-part .