## Sets and Individuals in Cyc

E-Mail Comments to: opencyc-doc@cyc.com
Copyright© 1996-2002 Cycorp. All rights reserved.

Return to Table of Contents

This module introduces basic concepts about sets and individuals as represented in the Cyc KB and the CycL language.

Much of what this module discusses is covered in the Cyc 101 Tutorial lesson titled, "Collections and Individuals." This module has not been edited for correctness. The exercises don't work at the time of this writing, but they will supposedly be fixed soon. (All they do is display an answer page with your typed in answers shown with our answers for comparison purposes.)

## Contents:

- Sets and Individuals
- Cyc Predicates
- Uses of #$genls and #$isa
- Mutually Disjoint Collections
- Collections of Collections
- Sibling-Disjoint Collections
- Sibling-Disjoint Exceptions
- Covering Collections
- Partitioning Collections
- Sets Defined by Internal Cyc Functions
- Argument Types of Predicates
- Exercises About Sets And Elements
- More Exercises About Sets and Elements
- Finding Common Subsets with Ask
- Exercise Vocabulary
- Exercise: Part 1
- Exercise: Part 2
- Exercise: Part 3
- Exercise: Part 4

Last Update: 03/28/2002