@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 obo_purl: <http://purl.obolibrary.org/obo/> .
@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:Instant
owl:disjointWith ns0:ProperInterval .
ns0:ProperInterval
metadata_def:mappingLoom "properinterval" ;
metadata_def:mappingSameURI ns0:ProperInterval ;
metadata_def:prefLabel "Proper interval"@en ;
metadata:prefixIRI "time: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 ;
rdfs:label "Proper interval"@en ;
rdfs:subClassOf obo_purl:BFO_0000038, 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 .
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 obo_purl: <http://purl.obolibrary.org/obo/> .
@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:Instant
owl:disjointWith ns0:ProperInterval .
ns0:ProperInterval
metadata_def:mappingLoom "properinterval" ;
metadata_def:mappingSameURI ns0:ProperInterval ;
metadata_def:prefLabel "Proper interval"@en ;
metadata:prefixIRI "time: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 ;
rdfs:label "Proper interval"@en ;
rdfs:subClassOf obo_purl:BFO_0000038, 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 .
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 .