@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . @prefix ns0: <http://www.w3.org/2006/time#> . @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 metadata_def: <http://data.bioontology.org/metadata/def/> . @prefix metadata: <http://data.bioontology.org/metadata/> . ns0:DateTimeInterval rdfs:subClassOf ns0:ProperInterval . ns0:Instant owl:disjointWith ns0:ProperInterval . ns0:ProperInterval metadata_def:mappingLoom "properinterval" ; metadata_def:mappingSameURI ns0:ProperInterval ; metadata_def:prefLabel "Proper interval"@en, "Proper interval"@es ; metadata:prefixIRI "ProperInterval" ; a owl:Class ; rdfs:comment "A temporal entity with non-zero extent or duration, i.e. for which the value of the beginning and end are different"@en, "Una entidad temporal con extensión o duración distinta de cero, es decir, para la cual los valores de principio y fin del intervalo son diferentes."@es ; rdfs:label "Proper interval"@en, "intervalo propio"@es ; rdfs:subClassOf ns0:Interval ; skos:definition "A temporal entity with non-zero extent or duration, i.e. for which the value of the beginning and end are different"@en, "Una entidad temporal con extensión o duración distinta de cero, es decir, para la cual los valores de principio y fin del intervalo son diferentes."@es . ns0:intervalAfter rdfs:domain ns0:ProperInterval ; rdfs:range ns0:ProperInterval . ns0:intervalBefore rdfs:domain ns0:ProperInterval ; rdfs:range ns0:ProperInterval . ns0:intervalContains rdfs:domain ns0:ProperInterval ; rdfs:range ns0:ProperInterval . ns0:intervalDisjoint rdfs:domain ns0:ProperInterval ; rdfs:range ns0:ProperInterval . ns0:intervalDuring rdfs:domain ns0:ProperInterval ; rdfs:range ns0:ProperInterval . ns0:intervalEquals rdfs:domain ns0:ProperInterval ; rdfs:range ns0:ProperInterval . ns0:intervalFinishedBy rdfs:domain ns0:ProperInterval ; rdfs:range ns0:ProperInterval . ns0:intervalFinishes rdfs:domain ns0:ProperInterval ; rdfs:range ns0:ProperInterval . ns0:intervalIn rdfs:domain ns0:ProperInterval ; rdfs:range ns0:ProperInterval . ns0:intervalMeets rdfs:domain ns0:ProperInterval ; rdfs:range ns0:ProperInterval . ns0:intervalMetBy rdfs:domain ns0:ProperInterval ; rdfs:range ns0:ProperInterval . ns0:intervalOverlappedBy rdfs:domain ns0:ProperInterval ; rdfs:range ns0:ProperInterval . ns0:intervalOverlaps rdfs:domain ns0:ProperInterval ; rdfs:range ns0:ProperInterval . ns0:intervalStartedBy rdfs:domain ns0:ProperInterval ; rdfs:range ns0:ProperInterval . ns0:intervalStarts rdfs:domain ns0:ProperInterval ; rdfs:range ns0:ProperInterval .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix ns0: <http://www.w3.org/2006/time#> .
@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 metadata_def: <http://data.bioontology.org/metadata/def/> .
@prefix metadata: <http://data.bioontology.org/metadata/> .

ns0:DateTimeInterval
    rdfs:subClassOf ns0:ProperInterval .

ns0:Instant
    owl:disjointWith ns0:ProperInterval .

ns0:ProperInterval
    metadata_def:mappingLoom "properinterval" ;
    metadata_def:mappingSameURI ns0:ProperInterval ;
    metadata_def:prefLabel "Proper interval"@en, "Proper interval"@es ;
    metadata:prefixIRI "ProperInterval" ;
    a owl:Class ;
    rdfs:comment "A temporal entity with non-zero extent or duration, i.e. for which the value of the beginning and end are different"@en, "Una entidad temporal con extensión o duración distinta de cero, es decir, para la cual los valores de principio y fin del intervalo son diferentes."@es ;
    rdfs:label "Proper interval"@en, "intervalo propio"@es ;
    rdfs:subClassOf ns0:Interval ;
    skos:definition "A temporal entity with non-zero extent or duration, i.e. for which the value of the beginning and end are different"@en, "Una entidad temporal con extensión o duración distinta de cero, es decir, para la cual los valores de principio y fin del intervalo son diferentes."@es .

ns0:intervalAfter
    rdfs:domain ns0:ProperInterval ;
    rdfs:range ns0:ProperInterval .

ns0:intervalBefore
    rdfs:domain ns0:ProperInterval ;
    rdfs:range ns0:ProperInterval .

ns0:intervalContains
    rdfs:domain ns0:ProperInterval ;
    rdfs:range ns0:ProperInterval .

ns0:intervalDisjoint
    rdfs:domain ns0:ProperInterval ;
    rdfs:range ns0:ProperInterval .

ns0:intervalDuring
    rdfs:domain ns0:ProperInterval ;
    rdfs:range ns0:ProperInterval .

ns0:intervalEquals
    rdfs:domain ns0:ProperInterval ;
    rdfs:range ns0:ProperInterval .

ns0:intervalFinishedBy
    rdfs:domain ns0:ProperInterval ;
    rdfs:range ns0:ProperInterval .

ns0:intervalFinishes
    rdfs:domain ns0:ProperInterval ;
    rdfs:range ns0:ProperInterval .

ns0:intervalIn
    rdfs:domain ns0:ProperInterval ;
    rdfs:range ns0:ProperInterval .

ns0:intervalMeets
    rdfs:domain ns0:ProperInterval ;
    rdfs:range ns0:ProperInterval .

ns0:intervalMetBy
    rdfs:domain ns0:ProperInterval ;
    rdfs:range ns0:ProperInterval .

ns0:intervalOverlappedBy
    rdfs:domain ns0:ProperInterval ;
    rdfs:range ns0:ProperInterval .

ns0:intervalOverlaps
    rdfs:domain ns0:ProperInterval ;
    rdfs:range ns0:ProperInterval .

ns0:intervalStartedBy
    rdfs:domain ns0:ProperInterval ;
    rdfs:range ns0:ProperInterval .

ns0:intervalStarts
    rdfs:domain ns0:ProperInterval ;
    rdfs:range ns0:ProperInterval .