(Deduced) Argument Source Help
E-Mail Comments to: opencyc-doc@cyc.com
Copyright© 1997-2002 Cycorp. All rights reserved.
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