has continuant part at all times
has proper continuant part at all times
hasProperContinuantPartAt
Alan Ruttenberg: This is a binary version of a ternary time-indexed, instance-level, relation. The BFO reading of the binary relation 'has proper continuant part at all times@en' is: forall(t) exists_at(x,t) -> exists_at(y,t) and 'has proper continuant part@en(x,y,t)'.
c-has-ppart_at
b has_proper_continuant_part c at t = Def. c proper_continuant_part_of b at t. [XXX-001
has proper continuant part at some time