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

DOLCEbasic:temporalPartOf leaf node

URI

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

Types

owl:ObjectProperty, owl:TransitiveProperty

Label

temporal part of

Description

temporalPartOf is the specialisation of the partOf relation between two perdurants x and y, x being a temporal slice of y, that is, a maximal part of y during some time interval.

Inherits from

Usage

DOMAINPROPERTYRANGE
DOLCEbasic:Perdurant DOLCEbasic:temporalPartOf DOLCEbasic:Perdurant

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 rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

:temporalPartOf a owl:ObjectProperty,
        owl:TransitiveProperty ;
    rdfs:label "temporal part of" ;
    ace_lexicon:TV_pl "are temporal parts of" ;
    ace_lexicon:TV_sg "is temporal part of" ;
    ace_lexicon:TV_vbg "divided into temporal parts" ;
    rdfs:comment "temporalPartOf is the specialisation of the partOf relation between two perdurants x and y, x being a temporal slice of y, that is, a maximal part of y during some time interval." ;
    rdfs:domain :Perdurant ;
    rdfs:range :Perdurant ;
    rdfs:subPropertyOf :partOf .