<?xml version="1.0" encoding="UTF-8"?> <rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:ns0="http://www.w3.org/2006/time#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:skos="http://www.w3.org/2004/02/skos/core#"> <owl:ObjectProperty rdf:about="http://www.w3.org/2006/time#intervalOverlappedBy"> <owl:inverseOf rdf:resource="http://www.w3.org/2006/time#intervalOverlaps"/> <rdfs:label xml:lang="en">interval overlapped by</rdfs:label> <rdfs:label xml:lang="es">intervalo solapado por</rdfs:label> <rdfs:domain rdf:resource="http://www.w3.org/2006/time#ProperInterval"/> <rdfs:range rdf:resource="http://www.w3.org/2006/time#ProperInterval"/> <rdfs:comment xml:lang="en">If a proper interval T1 is intervalOverlappedBy another proper interval T2, then the beginning of T1 is after the beginning of T2, the beginning of T1 is before the end of T2, and the end of T1 is after the end of T2.</rdfs:comment> <rdfs:comment xml:lang="es">Si un intervalo propio T1 es 'intervalo solapado por' otro intervalo propio T2, entonces el principio de T1 es posterior al principio de T2, y el principio de T1 es anterior al final de T2, y el final de T1 es posterior al final de T2.</rdfs:comment> <skos:definition xml:lang="en">If a proper interval T1 is intervalOverlappedBy another proper interval T2, then the beginning of T1 is after the beginning of T2, the beginning of T1 is before the end of T2, and the end of T1 is after the end of T2.</skos:definition> <skos:definition xml:lang="es">Si un intervalo propio T1 es 'intervalo solapado por' otro intervalo propio T2, entonces el principio de T1 es posterior al principio de T2, y el principio de T1 es anterior al final de T2, y el final de T1 es posterior al final de T2.</skos:definition> </owl:ObjectProperty> </rdf:RDF>
<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:ns0="http://www.w3.org/2006/time#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:skos="http://www.w3.org/2004/02/skos/core#">
  <owl:ObjectProperty rdf:about="http://www.w3.org/2006/time#intervalOverlappedBy">
    <owl:inverseOf rdf:resource="http://www.w3.org/2006/time#intervalOverlaps"/>
    <rdfs:label xml:lang="en">interval overlapped by</rdfs:label>
    <rdfs:label xml:lang="es">intervalo solapado por</rdfs:label>
    <rdfs:domain rdf:resource="http://www.w3.org/2006/time#ProperInterval"/>
    <rdfs:range rdf:resource="http://www.w3.org/2006/time#ProperInterval"/>
    <rdfs:comment xml:lang="en">If a proper interval T1 is intervalOverlappedBy another proper interval T2, then the beginning of T1 is after the beginning of T2, the beginning of T1 is before the end of T2, and the end of T1 is after the end of T2.</rdfs:comment>
    <rdfs:comment xml:lang="es">Si un intervalo propio T1 es 'intervalo solapado por' otro intervalo propio T2, entonces el principio de T1 es posterior al principio de T2, y el principio de T1 es anterior al final de T2, y el final de T1 es posterior al final de T2.</rdfs:comment>
    <skos:definition xml:lang="en">If a proper interval T1 is intervalOverlappedBy another proper interval T2, then the beginning of T1 is after the beginning of T2, the beginning of T1 is before the end of T2, and the end of T1 is after the end of T2.</skos:definition>
    <skos:definition xml:lang="es">Si un intervalo propio T1 es 'intervalo solapado por' otro intervalo propio T2, entonces el principio de T1 es posterior al principio de T2, y el principio de T1 es anterior al final de T2, y el final de T1 es posterior al final de T2.</skos:definition>
  </owl:ObjectProperty>
</rdf:RDF>