has occurrent part
has proper occurrent part
b has_proper_occurrent_part c = Def. c proper_occurrent_part_of b. [XXX-001
o-has-ppart
hasProperOccurrentPart
[copied from inverse property 'proper part of occurrent'] b proper_occurrent_part_of c =Def. b occurrent_part_of c & b and c are not identical. (axiom label in BFO2 Reference: [005-001])
occurrent