time:intervalDuring leaf node


URI

http://www.w3.org/2006/time#intervalDuring

Label

interval during

Description

If a proper interval T1 is intervalDuring another proper interval T2, then the beginning of T1 is after the beginning of T2, and the end of T1 is before the end of T2.

Inherits from

Usage

DOMAINPROPERTYRANGE
time:ProperInterval time:intervalDuring time:ProperInterval

Implementation

@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix time: <http://www.w3.org/2006/time#> .

time:intervalDuring a owl:ObjectProperty ;
    rdfs:label "interval during"@en,
        "intervalo durante"@es ;
    rdfs:comment "If a proper interval T1 is intervalDuring another proper interval T2, then the beginning of T1 is after the beginning of T2, and the end of T1 is before the end of T2."@en,
        "Si un intervalo propio T1 está durante otro intervalo propio T2, entonces del principio de T1 está después del principio de T2, y el final de T1 está antes que el final de T2."@es ;
    rdfs:domain time:ProperInterval ;
    rdfs:range time:ProperInterval ;
    rdfs:subPropertyOf time:intervalIn ;
    skos:definition "If a proper interval T1 is intervalDuring another proper interval T2, then the beginning of T1 is after the beginning of T2, and the end of T1 is before the end of T2."@en,
        "Si un intervalo propio T1 está durante otro intervalo propio T2, entonces del principio de T1 está después del principio de T2, y el final de T1 está antes que el final de T2."@es .