# IndicatorPredicateLink

From OpenCog

The IndicatorPredicateLink is the inverse of the SatisfyingSetLink, that is it converts a concept into a predicate. The name of the link comes from the indicator function.

## Format

The general form of the IndicatorPredicateLink is

IndicatorPredicateLink <concept>

## Semantics

One may define the semantics of IndicatorPredicateLink via the following equivalence

P

is equivalent to

IndicatorPredicateLink SatisfyingSetLink P

Likewise

C

is equivalent to

SatisfyingSetLink IndicatorPredicateLink C