http://www.w3.org/2006/time#intervalFinishes
If a proper interval T1 is intervalFinishes another proper interval T2, then the beginning of T1 is after the beginning of T2, and the end of T1 is coincident with the end of T2.
| DOMAIN | PROPERTY | RANGE |
|---|---|---|
| time:ProperInterval | time:intervalFinishes | time:ProperInterval |
@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:intervalFinishes a owl:ObjectProperty ;
rdfs:label "interval finishes"@en,
"intervalo termina"@es ;
rdfs:comment "If a proper interval T1 is intervalFinishes another proper interval T2, then the beginning of T1 is after the beginning of T2, and the end of T1 is coincident with the end of T2."@en,
"Si un intervalo propio T1 termina otro intervalo propio T2, entonces del principio de T1 está después del principio de T2, y el final de T1 coincide con 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 intervalFinishes another proper interval T2, then the beginning of T1 is after the beginning of T2, and the end of T1 is coincident with the end of T2."@en,
"Si un intervalo propio T1 termina otro intervalo propio T2, entonces del principio de T1 está después del principio de T2, y el final de T1 coincide con el final de T2."@es .