OpenCog

VariableNode

From OpenCog

A VariableNode is a Node type used for indicate variables in certain expressions. See ImplicationLink and VariableScopeLink for usage examples. The type of a variable may be restricted using the TypedVariableLink.