In the context of the Cyc KB, the dependents of an assertion are those other assertions that use the first assertion in one of their supporting deductions.
When an assertion A participates in a successful forward inference, a deduction data structure will be created. It points to the new assertion, D, which is a dependent of A. It collects together all the assertions, including A, that together provide a proof of D.