The OrLink asserts a boolean-logic disjunction of propositions. OrLink can operate over predicates or concepts, but not between concepts and predicates.

To specify a menu of choices, use the ChoiceLink instead. A choice of variable types can be specified with the TypeChoice link.

## PLN Semantics

In PLN the OrLink semantics corresponds to a fuzzy set union (accounting for confidence).

A
B

with

${\displaystyle TV.s={\frac {\sum _{x}f_{\vee }(A(x).s,B(x).s)\times x.s}{\sum _{x}x.s}}}$

where ${\displaystyle f_{\vee }}$ denotes the function associated to the fuzzy connector ${\displaystyle \vee }$, usually ${\displaystyle \max }$.

## Example

Initially the OrLink is defined over concepts, but is overloaded to predicates as well, in that case the union is applied over the corresponding satisfying sets.

For instance one may express the OrLink between predicates like