time:intervalContains leaf node


URI

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

Label

interval contains

Description

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

Usage

DOMAINPROPERTYRANGE
time:ProperInterval time:intervalContains 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:intervalContains a owl:ObjectProperty ;
    rdfs:label "interval contains"@en,
        "intervalo contiene"@es ;
    rdfs:comment "If a proper interval T1 is intervalContains another proper interval T2, then the beginning of T1 is before the beginning of T2, and the end of T1 is after the end of T2."@en,
        "Si un intervalo propio T1 contiene otro intervalo propio T2, entonces el principio de T1 está antes que el principio de T2, y el final de T1 está después del final de T2."@es ;
    rdfs:domain time:ProperInterval ;
    rdfs:range time:ProperInterval ;
    owl:inverseOf time:intervalDuring ;
    skos:definition "If a proper interval T1 is intervalContains another proper interval T2, then the beginning of T1 is before the beginning of T2, and the end of T1 is after the end of T2."@en,
        "Si un intervalo propio T1 contiene otro intervalo propio T2, entonces el principio de T1 está antes que el principio de T2, y el final de T1 está después del final de T2."@es .