{"@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_0000011","@type":"owl:Class","rdfs:subClassOf":{"@id":"obo_purl:BFO_0000003"},"rdfs:label":{"@language":"en","@value":"spatiotemporal region"},"rdfs:isDefinedBy":{"@id":"obo_purl:bfo.owl"},"obo_purl:IAO_0000112":[{"@language":"en","@value":"the spatiotemporal region occupied by a process of cellular meiosis."},{"@language":"en","@value":"the spatiotemporal region occupied by a human life"},{"@language":"en","@value":"the spatiotemporal region occupied by the development of a cancer tumor"}],"metadata:def/prefLabel":{"@language":"en","@value":"spatiotemporal region"},"metadata:prefixIRI":"BFO:0000011","obo_purl:BFO_0000179":"st-region","obo_purl:BFO_0000180":"SpatiotemporalRegion","obo_purl:IAO_0000600":{"@language":"en","@value":"A spatiotemporal region is an occurrent entity that is part of spacetime. (axiom label in BFO2 Reference: [095-001])"},"obo_purl:IAO_0000601":[{"@language":"en","@value":"Each spatiotemporal region at any time t projects_onto some spatial region at t. (axiom label in BFO2 Reference: [099-001])"},{"@language":"en","@value":"Every spatiotemporal region occupies_spatiotemporal_region itself."},{"@language":"en","@value":"Each spatiotemporal region projects_onto some temporal region. (axiom label in BFO2 Reference: [098-001])"},{"@language":"en","@value":"Every spatiotemporal region s is such that s occupies_spatiotemporal_region s. (axiom label in BFO2 Reference: [107-002])"},{"@language":"en","@value":"All parts of spatiotemporal regions are spatiotemporal regions. (axiom label in BFO2 Reference: [096-001])"}],"obo_purl:IAO_0000602":["(forall (x) (if (SpatioTemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [095-001] ","(forall (x y) (if (and (SpatioTemporalRegion x) (occurrentPartOf y x)) (SpatioTemporalRegion y))) // axiom label in BFO2 CLIF: [096-001] ","(forall (x t) (if (SpatioTemporalRegion x) (exists (y) (and (SpatialRegion y) (spatiallyProjectsOntoAt x y t))))) // axiom label in BFO2 CLIF: [099-001] ","(forall (r) (if (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion r r))) // axiom label in BFO2 CLIF: [107-002] ","(forall (x) (if (SpatioTemporalRegion x) (exists (y) (and (TemporalRegion y) (temporallyProjectsOnto x y))))) // axiom label in BFO2 CLIF: [098-001] "]},{"@id":"obo_purl:BFO_0000008","owl:disjointWith":{"@id":"obo_purl:BFO_0000011"}}]}