has_plasma_membrane_part
Holds between a cell c and a protein complex or protein p if and only if that cell has as part a plasma_membrane[GO:0005886], and that plasma membrane has p as part.
BFO:0000051
has_part
is_a