OpenCyc.org HomepageMoving an Assertion to a Different Microtheory

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

[Up]Editing the OpenCyc KB with the Web Interface
[Back]Deleting an Assertion
[Next]Changing the Strength of an Assertion

An assertion can be moved to a different microtheory by clicking on [Change Mt]. The interface displays a page prompting for the new microtheory, and then confirms the action after you click the "Change Mt" button.

Changing the microtheory of an assertion is accomplished by three operations, one to unassert the assertion in the old mt, one to assert it in the new mt, and one to timestamp the new assertion.


[Up] [Back] [Next]
Last Update: 03/28/2002