![]() | Editing the OpenCyc KB with the Web Interface |
![]() | Deleting an Assertion |
![]() | Changing the Strength of an Assertion |
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.