by Angie Lopez | Nov 1, 2019
This training module will help explain a few details about individuals and collections that are worthy of note. Individuals & Collections We’ve already touched on collections and individuals in Intro to Cyc. Individuals and collections are represented in the...
by Angie Lopez | Nov 1, 2019
This training module concerns assertions, which are the most basic pieces of knowledge in the Cyc system. It is an introductory module, which means that it is written in such a way that you do not have to have read any other module in order to be able to understand...
by Angie Lopez | Nov 1, 2019
This module is about viewing and understanding the display of Cyc Constants in the KB Browser. After completing this training module, you should be familiar with the various elements in a constant’s entry including: the meanings of the icons and colored ‘assertion...
by Angie Lopez | Oct 31, 2019
The goal of this training module is to show how to use various search tools to find things in the KB. In this module, you will learn how to use: The Cyc browser’s search box The Find Assertion tool The Hierarchy Browser The Overlap tool The Relation Finder The...
by Angie Lopez | Oct 31, 2019
This training module covers naming conventions in CycL. Syntactic Requirements for Constant Names All Cyc constant names must be unique. In addition, constants may not be differentiated solely by a difference in capitalization. Cyc constant names begin with the prefix...
