Meta-Knowledge that Affects Inference

This is a training module on meta-knowledge that affects inference. By the end of this module, you will be able to: Understand the different kinds of inference meta-knowledgeFind inference meta-knowledge by its in-KB documentationUse inference meta-knowledge to make...

Davidsonian Event/Situation Representations

This training module covers the representation of situations and events in Cyc. By the end of this module, you will understand: the basic differences between #$Situation and #$Eventthe basic vocabulary used to represent the structure of situations and events in...

Query Builder

This is a training module on the Query Builder (QB), which is a user interface that is an easy-to-use version of the query tool. Components There’s a single #$ComputerProgram-CW, the #$QueryBuilderApplication. To make a project/task specific version of this...

Writing and Editing Scripts

The purpose of this training module is to impart a basic facility with Cyc ‘scripting’ vocabulary, inclusive of the so-called ‘scripting macros’, together with an understanding of their meaning, usage, and utility. After completing this...

Schema Modeling Tool (SMT)

The Schema Modeling Tool (SMT) is a tool included in the Cyc platform that helps streamline the process of integrating a knowledge source via Semantic Knowledge Source Integration (SKSI). Accessing the SMT You can access the SMT in several ways: In the Cyc Browser,...