<http://purl.obolibrary.org/obo/BFO_0000008> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> . <http://purl.obolibrary.org/obo/BFO_0000008> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://purl.obolibrary.org/obo/BFO_0000003> . <http://purl.obolibrary.org/obo/BFO_0000008> <http://www.w3.org/2002/07/owl#disjointWith> <http://purl.obolibrary.org/obo/BFO_0000011> . <http://purl.obolibrary.org/obo/BFO_0000008> <http://www.w3.org/2002/07/owl#disjointWith> <http://purl.obolibrary.org/obo/BFO_0000035> . <http://purl.obolibrary.org/obo/BFO_0000008> <http://www.w3.org/2002/07/owl#disjointWith> <http://purl.obolibrary.org/obo/BFO_0000015> . <http://purl.obolibrary.org/obo/BFO_0000008> <http://data.bioontology.org/metadata/def/prefLabel> "temporal region" . <http://purl.obolibrary.org/obo/BFO_0000008> <http://data.bioontology.org/metadata/prefixIRI> "BFO:0000008" . <http://purl.obolibrary.org/obo/BFO_0000008> <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> <http://purl.obolibrary.org/obo/bfo.owl> . <http://purl.obolibrary.org/obo/BFO_0000008> <http://www.w3.org/2000/01/rdf-schema#label> "temporal region"@en . <http://purl.obolibrary.org/obo/BFO_0000008> <http://purl.obolibrary.org/obo/IAO_0000116> "Temporal region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the mereological sum of a temporal instant and a temporal interval that doesn't overlap the instant. In this case the resultant temporal region is neither 0-dimensional nor 1-dimensional"@en . <http://purl.obolibrary.org/obo/BFO_0000008> <http://purl.obolibrary.org/obo/IAO_0000600> "A temporal region is an occurrent entity that is part of time as defined relative to some reference frame. (axiom label in BFO2 Reference: [100-001])"@en . <http://purl.obolibrary.org/obo/BFO_0000008> <http://purl.obolibrary.org/obo/BFO_0000180> "TemporalRegion" . <http://purl.obolibrary.org/obo/BFO_0000008> <http://purl.obolibrary.org/obo/IAO_0000602> "(forall (r) (if (TemporalRegion r) (occupiesTemporalRegion r r))) // axiom label in BFO2 CLIF: [119-002] " . <http://purl.obolibrary.org/obo/BFO_0000008> <http://purl.obolibrary.org/obo/IAO_0000602> "(forall (x y) (if (and (TemporalRegion x) (occurrentPartOf y x)) (TemporalRegion y))) // axiom label in BFO2 CLIF: [101-001] " . <http://purl.obolibrary.org/obo/BFO_0000008> <http://purl.obolibrary.org/obo/IAO_0000602> "(forall (x) (if (TemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [100-001] " . <http://purl.obolibrary.org/obo/BFO_0000008> <http://purl.obolibrary.org/obo/BFO_0000179> "t-region" . <http://purl.obolibrary.org/obo/BFO_0000008> <http://purl.obolibrary.org/obo/IAO_0000601> "Every temporal region t is such that t occupies_temporal_region t. (axiom label in BFO2 Reference: [119-002])"@en . <http://purl.obolibrary.org/obo/BFO_0000008> <http://purl.obolibrary.org/obo/IAO_0000601> "All parts of temporal regions are temporal regions.\u00A0(axiom label in BFO2 Reference: [101-001])"@en . <http://www.w3.org/2006/time#Instant> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://purl.obolibrary.org/obo/BFO_0000008> . <http://www.w3.org/2006/time#TemporalEntity> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://purl.obolibrary.org/obo/BFO_0000008> . <http://www.w3.org/2006/time#Interval> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://purl.obolibrary.org/obo/BFO_0000008> . <http://purl.obolibrary.org/obo/BFO_0000038> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://purl.obolibrary.org/obo/BFO_0000008> . <http://purl.obolibrary.org/obo/BFO_0000148> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://purl.obolibrary.org/obo/BFO_0000008> .