OpenCyc.org HomepageDependents Help

E-Mail Comments to: opencyc-doc@cyc.com
Copyright© 1997-2002 Cycorp. All rights reserved.

Assertion Dependents

Certain assertions in CYC® are used to conclude new assertions. Those new assertions are the dependents of the original assertion, because they are dependent upon its existence for their own. If the original assertion is deleted, its dependents will also be deleted unless they can still be derived from another source.

Dependents are essentially the converse of arguments. That is, if assertion A is an argument for assertion B, then B is a dependent of A. For more information on arguments, see the Arguments Help.

Not all assertions in CYC® will have dependents, since many conclusions are not drawn until backchaining is applied during inference, and CYC® does not necessarily permanently store those conclusions.

This page lists the original assertion, followed by all of its immediate dependents. Each of the dependents is numbered, simply for reference by the user.

A single dependent would be listed as follows:

  1 : Deduced #3565200 supporting :
     [Dependent-Assertion-1]
Clicking on "Deduced" shows in more detail the argument source for that deduced/dependent assertion.


Go to Top