by Angie Lopez | Nov 1, 2019
This is a training module on using the Copy Tool. By the end of this module, we will be able to: Use the Copy Tool to make a new constant Prerequisites Using the KB BrowserWhat is CycL?Finding Terms and Assertions in CycAssertionsIndividuals and CollectionsCyc...
by Angie Lopez | Nov 1, 2019
This is a training module on making, editing, and removing assertions from the Cyc knowledge base. By the end of this module, you will be able to: Create a new assertion Edit an existing assertion Remove an existing assertion Prerequisites This module assumes that...
by Angie Lopez | Nov 1, 2019
This training module is intended to provide instruction regarding the creation of predicates and functions in Cyc. After completing this training module, you will have an understanding of: The distinction between predicates and functions in CycL;The process of...
by Angie Lopez | Nov 1, 2019
This is a training module on creating Cyc constants. There are a variety of tools you can use to create new constants in Cyc, and this module explains how to use those tools. By the end of this module, you will be able to: Select a tool to use to create a Cyc...
by Angie Lopez | Nov 1, 2019
This is a reference document on microtheories in Cyc. General Considerations Things are often true in one context and false in another. For example, some things are true at one time but not others, such as the proposition that George Washington is President of the...
