http://www.w3.org/2006/time#intervalBefore
If a proper interval T1 is intervalBefore another proper interval T2, then the end of T1 is before the beginning of T2.
| DOMAIN | PROPERTY | RANGE |
|---|---|---|
| time:ProperInterval | time:intervalBefore | 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:intervalBefore a owl:ObjectProperty ;
rdfs:label "interval before"@en,
"intervalo anterior"@es ;
rdfs:comment "If a proper interval T1 is intervalBefore another proper interval T2, then the end of T1 is before the beginning of T2."@en,
"Si un intervalo propio T1 está antes que otro intervalo propio T2, entonces el final de T1 está antes que el principio de T2."@es ;
rdfs:domain time:ProperInterval ;
rdfs:range time:ProperInterval ;
rdfs:subPropertyOf time:before,
time:intervalDisjoint ;
skos:definition "If a proper interval T1 is intervalBefore another proper interval T2, then the end of T1 is before the beginning of T2."@en,
"Si un intervalo propio T1 está antes que otro intervalo propio T2, entonces el final de T1 está antes que el principio de T2."@es .