by cycorpinc | Apr 12, 2021
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) that, though true, will not trigger the forward propagation of the rule. I.e., when a literal is asserted,...
by cycorpinc | Apr 12, 2021
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 it is added to the KB. Normally, all the literals of a forward rule are FTLs, except literals with...
by cycorpinc | Apr 12, 2021
A function (in the mathematical sense) is a relation such that for each thing in its domain (the universe of things it can be applied to), there is at most a single thing in its range (the universe of results it can have) such that the relation holds between the two....
by cycorpinc | Apr 12, 2021
The functional interface (FI) is the SubL API to Cyc.
by cycorpinc | Apr 12, 2021
A functional predicate is a predicate that has at least one argument place with the following property: given any sequence of legal arguments placed in such a predicate’s other argument positions, there is at most one argument such that, when it is placed in the...
