## Changing the Strength of an Assertion

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

| Editing the OpenCyc KB with the Web Interface
| Moving an Assertion to a Different Microtheory
| Changing the Direction of a Rule

`[Change Strength]` allows you to change the truth strength of an assertion, making it either :default or :monotonic. It does not allow you to change the truth of the assertion, i.e. you can't make a :true assertion :false.

When you click `[Change Strength]`, it prompts for the new truth strength. When you click the "Change Strength" button it queues the operations to unassert the old assertion and reassert it with the new truth strength.

`[Change Strength]` is seldom used since the system chooses the truth value of an assertion automatically: GAFs which begin with the predicates #$isa and #$genls are monotonically true, while all other assertions (including rules) are default true.

Last Update: 03/28/2002