IntensionalImplicationLink

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