1. Home
  2. Entities
  3. Properties
  4. DOLCEbasic:properPartOf

DOLCEbasic:properPartOf leaf node

URI

https://w3id.org/DOLCE/OWL/DOLCEbasic#properPartOf

Types

owl:Class, owl:Class, owl:ObjectProperty, owl:TransitiveProperty

Label

proper part of

Description

properPartOf is the irreflexive specialization of the partOf relation. (Irreflexivity not captured here, as transitivity is favored)

Inherits from

Usage

DOMAINPROPERTYRANGE
Blank node (see implementation) DOLCEbasic:properPartOf Blank node (see implementation)

Implementation

@prefix : <https://w3id.org/DOLCE/OWL/DOLCEbasic#> .
@prefix ace_lexicon: <http://attempto.ifi.uzh.ch/ace_lexicon#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

:properPartOf a owl:ObjectProperty,
        owl:TransitiveProperty ;
    rdfs:label "proper part of" ;
    ace_lexicon:TV_pl "are proper part of" ;
    ace_lexicon:TV_sg "is proper part of" ;
    ace_lexicon:TV_vbg "divided into proper parts" ;
    rdfs:comment "properPartOf is the irreflexive specialization of the partOf relation. (Irreflexivity not captured here, as transitivity is favored)" ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( :Abstract :Perdurant ) ] ;
    rdfs:range [ a owl:Class ;
            owl:unionOf ( :Abstract :Perdurant ) ] ;
    rdfs:subPropertyOf :partOf .