Home / Glossary / Monotonically true

An assertion which is monotonically true is true in all cases. In other words, unlike an assertion which is default true, it does not currently have exceptions. Such assertions are displayed in the Cyc Browser with a white ball. By default, every assertion in Cyc can be said to have an exception, unless it is asserted to be forever exceptionless, with #$willNeverHaveExceptions.