b is an independent continuant = Def. b is a continuant which is such that there is no c and no t such that b s-depends_on c at t. (axiom label in BFO2 Reference: [017-002])
Note: Definitions may show angled brackets (< and >) around some of the text to show that it is the parent term.