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