Home / Glossary / Dependent

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.