_:b254665020 "if b is a continuant and if, for some t, c has_continuant_part b at t, then c is a continuant. (axiom label in BFO2 Reference: [126-001])"@en . _:b254665020 . _:b254665020 . _:b254665020 . _:b254665020 .