{"@context":{"obo_purl":"http://purl.obolibrary.org/obo/","rdf":"http://www.w3.org/1999/02/22-rdf-syntax-ns#","owl":"http://www.w3.org/2002/07/owl#","rdfs":"http://www.w3.org/2000/01/rdf-schema#","metadata_def":"http://data.bioontology.org/metadata/def/","metadata":"http://data.bioontology.org/metadata/"},"@graph":[{"@id":"obo_purl:BFO_0000008","@type":"owl:Class","rdfs:subClassOf":{"@id":"obo_purl:BFO_0000003"},"rdfs:label":{"@language":"en","@value":"temporal region"},"rdfs:isDefinedBy":{"@id":"obo_purl:bfo.owl"},"owl:disjointWith":[{"@id":"obo_purl:BFO_0000011"},{"@id":"obo_purl:BFO_0000015"},{"@id":"obo_purl:BFO_0000035"}],"obo_purl:IAO_0000116":{"@language":"en","@value":"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"},"metadata:def/prefLabel":{"@language":"en","@value":"temporal region"},"metadata:def/mappingLoom":"temporalregion","metadata:def/mappingSameURI":{"@id":"obo_purl:BFO_0000008"},"metadata:prefixIRI":"BFO:0000008","obo_purl:BFO_0000179":"t-region","obo_purl:BFO_0000180":"TemporalRegion","obo_purl:IAO_0000600":{"@language":"en","@value":"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])"},"obo_purl:IAO_0000601":[{"@language":"en","@value":"Every temporal region t is such that t occupies_temporal_region t. (axiom label in BFO2 Reference: [119-002])"},{"@language":"en","@value":"All parts of temporal regions are temporal regions. (axiom label in BFO2 Reference: [101-001])"}],"obo_purl:IAO_0000602":["(forall (r) (if (TemporalRegion r) (occupiesTemporalRegion r r))) // axiom label in BFO2 CLIF: [119-002] ","(forall (x) (if (TemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [100-001] ","(forall (x y) (if (and (TemporalRegion x) (occurrentPartOf y x)) (TemporalRegion y))) // axiom label in BFO2 CLIF: [101-001] "]},{"@id":"obo_purl:BFO_0000038","rdfs:subClassOf":{"@id":"obo_purl:BFO_0000008"}},{"@id":"obo_purl:BFO_0000148","rdfs:subClassOf":{"@id":"obo_purl:BFO_0000008"}}]}