SoggyLink
From OpenCog
Given a predicate P over domain D, SoggyLink turns P into a soggy predicate over domain powerset(D), where Soggy(P) maps X, a subset of D, to the average TVs of P(x) for all x in X.
Semantics
Another way to define the semantics of SoggyLink is via the following equivalence
EvaluationLink <TV> SoggyLink P ListLink A1 ... An
is equivalent to
SubsetLink <TV> ListLink A1 ... An SatisfyingSetLink P
where P is a predicate, A1 to An are concepts, and ListLink is the Cartesian product.