part of part_of part of part_of occurs in occurs in BFO:0000066 external occurs_in occurs_in Paraphrase of definition: a relation between a process and an independent continuant, in which the process takes place entirely within the independent continuant b occurs_in c =def b is a process and c is a material entity or immaterial entity& there exists a spatiotemporal region r and b occupies_spatiotemporal_region r.& forall(t) if b exists_at t then c exists_at t & there exist spatial regions s and s’ where & b spatially_projects_onto s at t& c is occupies_spatial_region s’ at t& s is a proper_continuant_part_of s’ at t occurs-in occursIn b occurs_in c =def b is a process and c is a material entity or immaterial entity& there exists a spatiotemporal region r and b occupies_spatiotemporal_region r.& forall(t) if b exists_at t then c exists_at t & there exist spatial regions s and s’ where & b spatially_projects_onto s at t& c is occupies_spatial_region s’ at t& s is a proper_continuant_part_of s’ at t [XXX-001 occurs in occurs_in unfolds in unfolds_in contains process contains process occurrent independent continuant 独立常体 process process site process boundary material entity material entity