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”.