OpenCyc.org HomepageArguments Help

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

Assertion Arguments

Every assertion in the CYC® KB has arguments which immediately support its existence in the KB. This page displays a selected assertion, followed by the arguments which support it. If an argument for an assertion is removed from the KB, then the assertion is removed as well, unless it can still be derived via other arguments.

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

Local vs. Deduced Arguments

Assertions in CYC® (as reflected by their arguments) come in two flavors: local or deduced.


Go to Top