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