The occupies and occurs_in relations a(occupies_spatiotemporal_region)[Elucidation: p occupies_spatiotemporal_region s. This is a primitive relation between an and the which is its occurrent p spatiotemporal region s spatiotemporal extent. [082-003] Domain: occurrent Range: spatiotemporal region] a(occupies_temporal_region)[Elucidation: p occupies_temporal_region t. This is a primitive relation between an and the upon which the occurrent p temporal region t spatiotemporal region occupies_spatiotemporal_region projects. [132-001] p Domain: occurrent temporal region Axiom: Every occupies_temporal_region itself. [137-001] ] temporal region note(occupies_spatiotemporal_region)[The occupies_spatiotemporal_region and occupies_temporal_region relations are the counterpart, on the side, of the relation occurrent occupies_spatial_region.] DEFINITION: occurs_in iffb is a and is a or b c process c material entity exists a and immaterial entity& spatiotemporal region r b occupies_spatiotemporal_region for all if exists_at then exists_at & there r& t, b t c t exist and where spatial regions s s'
The occupies and occurs_in relations a(occupies_spatiotemporal_region)[Elucidation: p occupies_spatiotemporal_region s. This is a primitive relation between an occurrent p and the spatiotemporal region s which is its spatiotemporal extent. [082-003] Domain: occurrent Range: spatiotemporal region] a(occupies_temporal_region)[Elucidation: p occupies_temporal_region t. This is a primitive relation between an occurrent p and the temporal region t upon which the spatiotemporal region p occupies_spatiotemporal_region projects. [132-001] Domain: occurrent temporal region Axiom: Every temporal region occupies_temporal_region itself. [137-001] ] note(occupies_spatiotemporal_region)[The occupies_spatiotemporal_region and occupies_temporal_region relations are the counterpart, on the occurrent side, of the relation occupies_spatial_region.] DEFINITION: b occurs_in c iffb is a process and c is a material entity or immaterial entity& exists a spatiotemporal region r and b occupies_spatiotemporal_region r& for all t, if b exists_at t then c exists_at t & there exist spatial regions s and s' where
BFO2-Reference.docx