![]() | Editing the OpenCyc KB with the Web Interface |
![]() | Moving an Assertion to a Different Microtheory |
![]() | Changing the Direction of a Rule |
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.