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
b has_occurrent_part c = Def. c occurrent_part_of b. (axiom label in BFO2 Reference: [007-001])
hasOccurrentPart
[copied from inverse property 'part of occurrent'] the first set of the tennis match occurrent_part_of the tennis match.
part of occurrent
occurrent