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.
Assertions in CYC® (as reflected by their arguments) come in two flavors: local or deduced.
Asserted locally by Fred on Nov 25, 1996In other words, the displayed assertion is true because Fred asserted it.
Argument : Deduced #10657786 [Supporting-Argument-1] [Supporting-Argument-2]In other words, the combination of [Supporting-Argument-1] and [Supporting-Argument-2] result in the displayed assertion being concluded by CYC®. Deduced assertions cannot be deleted; instead, use the "Blast" tool accessible from the Assertion Display Frame.
If an argument for a deduced assertion originated via a special HL-module, the name of that module (e.g. :ISA) will apppear in place of the standard colored ball in front of the argument.
Clicking on the "Deduced" link will display the argument source in more detail.