<?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#intervalEquals">
<rdfs:label xml:lang="en">interval equals</rdfs:label>
<rdfs:label xml:lang="es">intervalo igual</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 intervalEquals another proper interval T2, then the beginning of T1 is coincident with the beginning of T2, and the end of T1 is coincident with the end of T2.</rdfs:comment>
<rdfs:comment xml:lang="es">Si un intervalo propio T1 es igual a otro intervalo propio T2, entonces el principio de T1 coincide con el principio de T2, y el final de T1 coincide con el final de T2.</rdfs:comment>
<skos:definition xml:lang="en">If a proper interval T1 is intervalEquals another proper interval T2, then the beginning of T1 is coincident with the beginning of T2, and the end of T1 is coincident with the end of T2.</skos:definition>
<skos:definition xml:lang="es">Si un intervalo propio T1 es igual a otro intervalo propio T2, entonces el principio de T1 coincide con el principio de T2, y el final de T1 coincide con el final de T2.</skos:definition>
<owl:propertyDisjointWith rdf:resource="http://www.w3.org/2006/time#intervalIn"/>
</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#intervalEquals">
<rdfs:label xml:lang="en">interval equals</rdfs:label>
<rdfs:label xml:lang="es">intervalo igual</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 intervalEquals another proper interval T2, then the beginning of T1 is coincident with the beginning of T2, and the end of T1 is coincident with the end of T2.</rdfs:comment>
<rdfs:comment xml:lang="es">Si un intervalo propio T1 es igual a otro intervalo propio T2, entonces el principio de T1 coincide con el principio de T2, y el final de T1 coincide con el final de T2.</rdfs:comment>
<skos:definition xml:lang="en">If a proper interval T1 is intervalEquals another proper interval T2, then the beginning of T1 is coincident with the beginning of T2, and the end of T1 is coincident with the end of T2.</skos:definition>
<skos:definition xml:lang="es">Si un intervalo propio T1 es igual a otro intervalo propio T2, entonces el principio de T1 coincide con el principio de T2, y el final de T1 coincide con el final de T2.</skos:definition>
<owl:propertyDisjointWith rdf:resource="http://www.w3.org/2006/time#intervalIn"/>
</owl:ObjectProperty>
</rdf:RDF>