Sponsor of the Day:
Jerkmate
https://cyc.com/archives/glossary/forward-non-trigger-literal/
Forward non-trigger literal - Cyc
Jul 11, 2022 - A forward non-trigger literal is like a forward trigger literal except that what is isolated from the antecedent of a forward rule is the literal (or literals)...
literal cycforwardnontrigger
https://cyc.com/archives/glossary/literal/
Literal - Cyc
Apr 20, 2021 - Most generally, a literal is a CycL sentence of the form (predicate arg1 [arg2 ... argn]), or its negation, where the number of arguments to the predicate can...
literal cyc
https://cyc.com/archives/glossary/forward-trigger-literal/
Forward trigger literal - Cyc
Jul 11, 2022 - A forward trigger literal (FTL) is a literal that is found in the antecedent of a forward rule and which will cause the rule to fire when an assertion matching...
literal cycforwardtrigger