Useful Kinds of Context in Cyc®

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

[Up]Contexts in Cyc®
[Back]Accessible Assertions and Domain Assumptions in Contexts
[Next]Advanced Topics Covered Later On

You've already seen mention of some useful kinds of Mts (microtheories, contexts). Lets look at the main kinds in more detail. The main kinds of Mt are: There are many other kinds; if you have access to Cyc you can examine #$MicrotheoryType.
[Up] [Back] [Next]

Questions:

Here are questions about various kinds of contexts:

There is a certain Microtheory Type (a collection of Microtheories) in which all of the Mts are the Mts of what should be the case, instead of what really is the cases. What is this collection of Mts called in Cyc?


[Up] [Back] [Next]
Last Update: 3/27/2002