## Contexts in Cyc®

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

Return to Table of Contents

This is a basic introduction to contexts in Cyc®. This includes Cyc's ''microtheories'' and their ''Domain Assumptions,'' and various specific kinds of commonly used microtheories. It also introduces the #$genlMt access relation between contexts, and the resulting partial order (ordered set) of contexts. It does not include all of the advanced Cyc operations involving contexts.

## Contents:

- What Is A Context?
- The Hierarchy of Contexts in Cyc
- Accessible Assertions in Contexts
- Useful Kinds of Context in Cyc
- Advanced Context Topics Covered Later On

Last Update: 03/21/2002