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