(Deduced) Argument Source Help

This page provides a little more detail about the argument sources for a deduced assertion than the Arguments page.

The detailed description of an argument source contains three sections:

• "Assertion Supported" is the assertion which is derived by CYC® from the arguments which follow.
• "Argument Truth" is the truth value and strength of the argument provided.
• "Argument Supports" are the assertions in CYC® whose combination resulted in the assertion at the top of the page being concluded by CYC®.

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.

Go to Top