# ForAllLink

From OpenCog

A type of BindLink used by PLN to represent universal quantification.

For example, *∀x.(if x eats haggis then x gets sick)* is written as

ForAllLink VariableNode $X ImplicationLink EvaluationLink eats ($X, haggis) InheritanceLink $X sick

PLN has some special math for handling the uncertain truth values of ForAllLinks, which as of March 2013 is not implemented in the PLN code.