# IntensionalImplicationLink

From OpenCog

A type of Link used in OpenCog to define intensional implication.

## PLN Semantics

In PLN the IntensionalImplicationLink between 2 predicates is equivalent to the IntensionalInheritanceLink between their satisfying sets, that is

IntensionalImplicationLink <TV> P Q

is equivalent to

IntensionalInheritanceLink <TV> SatisfyingSetLink P SatisfyingSetLink Q