Home / Glossary / Deduced assertion

A deduced assertion is an assertion which was created as a result of inference within Cyc, and not necessarily directly input by a Cyclist or application program. Directly input assertions are known as asserted-argument assertions. Deduced assertion are supported by at least one deduction.

Sometimes deduced assertions are referred to as “inferred assertions” or more rarely, “remote assertions”.