OpenCyc.org Homepage(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:

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