From OpenCog
Jump to: navigation, search

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

   VariableNode $X
       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.