has occurrent part [copied from inverse property 'part of occurrent'] BFO 2 Reference: a (continuant or occurrent) part of itself. We appreciate that this is counterintuitive for some users, since it implies for example that President Obama is a part of himself. However it brings benefits in simplifying the logical formalism, and it captures an important feature of identity, namely that it is the limit case of mereological inclusion. [copied from inverse property 'part of occurrent'] b occurrent_part_of c =Def. b is a part of c & b and c are occurrents. (axiom label in BFO2 Reference: [003-002]) [copied from inverse property 'part of occurrent'] Mary’s 5th birthday occurrent_part_of Mary’s life [copied from inverse property 'part of occurrent'] The process of a footballer’s heart beating once is an occurrent part but not a temporal_part of a game of football. o-has-part (iff (hasOccurrentPart a b) (occurrentPartOf b a)) // axiom label in BFO2 CLIF: [007-001] [copied from inverse property 'part of occurrent'] BFO2 Reference: occurrent hasOccurrentPart [copied from inverse property 'part of occurrent'] the first set of the tennis match occurrent_part_of the tennis match. b has_occurrent_part c = Def. c occurrent_part_of b. (axiom label in BFO2 Reference: [007-001]) part of occurrent occurrent