Home / Glossary / Asserted-argument assertion

An asserted-argument assertion is an assertion which is input directly by a Cyclist or application program, and thus has an asserted argument. This is in contrast to deduced assertions, which are added as a result of inference within Cyc. Those categories of assertions are not disjoint, however, because an assertion may be supported by both an asserted argument and one or more deductions.

Sometimes asserted-argument assertions are referred to as “local assertions”, or are said to be “locally asserted.”