<?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#intervalMetBy"> <rdfs:label xml:lang="en">interval met by</rdfs:label> <rdfs:label xml:lang="es">intervalo encontrado 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 intervalMetBy another proper interval T2, then the beginning of T1 is coincident with the end of T2.</rdfs:comment> <rdfs:comment xml:lang="es">Si un intervalo propio T1 es 'intervalo encontrado por' otro intervalo propio T2, entonces el principio de T1 coincide con el final de T2.</rdfs:comment> <skos:definition xml:lang="en">If a proper interval T1 is intervalMetBy another proper interval T2, then the beginning of T1 is coincident with the end of T2.</skos:definition> <skos:definition xml:lang="es">Si un intervalo propio T1 es 'intervalo encontrado por' otro intervalo propio T2, entonces el principio de T1 coincide con el final de T2.</skos:definition> </owl:ObjectProperty> <rdf:Description rdf:about="http://www.w3.org/2006/time#intervalMeets"> <owl:inverseOf rdf:resource="http://www.w3.org/2006/time#intervalMetBy"/> </rdf:Description> </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#intervalMetBy">
    <rdfs:label xml:lang="en">interval met by</rdfs:label>
    <rdfs:label xml:lang="es">intervalo encontrado 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 intervalMetBy another proper interval T2, then the beginning of T1 is coincident with the end of T2.</rdfs:comment>
    <rdfs:comment xml:lang="es">Si un intervalo propio T1 es 'intervalo encontrado por' otro intervalo propio T2, entonces el principio de T1 coincide con el final de T2.</rdfs:comment>
    <skos:definition xml:lang="en">If a proper interval T1 is intervalMetBy another proper interval T2, then the beginning of T1 is coincident with the end of T2.</skos:definition>
    <skos:definition xml:lang="es">Si un intervalo propio T1 es 'intervalo encontrado por' otro intervalo propio T2, entonces el principio de T1 coincide con el final de T2.</skos:definition>
  </owl:ObjectProperty>
  <rdf:Description rdf:about="http://www.w3.org/2006/time#intervalMeets">
    <owl:inverseOf rdf:resource="http://www.w3.org/2006/time#intervalMetBy"/>
  </rdf:Description>
</rdf:RDF>