The TimesLink is a special case of an FunctionLink that knows how to multiply numbers together. For example
(cog-execute! (TimesLink (NumberNode 2) (NumberNode 3)))
as a result.
TimesLink is a "clear-box" link (as opposed to a "black box" link), in that it is "obvious" what it does. Clear-box links can be reasoned about and reduced. The
cog-reduce! function can perform reduction on clear-box links. Thus, for example:
(cog-reduce! (TimesLink (VariableNode "$x") (NumberNode 2) (NumberNode 3)))
(TimesLink (VariableNode "$x") (NumberNode 6)