# IntensionalSimilarityLink

From OpenCog

A type of Link used to describe intensional similarity between concepts.

## PLN Semantics

In PLN the **IntensionalSimilarityLink** between 2 concepts corresponds to the extensional similarity of their properties (their supersets). Formally

IntensionalSimilarityLink <TV> A B

is equivalent to

ExtensionalSimilarityLink <TV> SatisfyingSetLink LambdaLink $Z EvaluationLink GroundedPredicateNode "property-of" ListLink $Z X SatisfyingSetLink LambdaLink $Z EvaluationLink GroundedPredicateNode "property-of" ListLink $Z Y

where the property-of predicate is a GroundedPredicateNode defined so that

**Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): {\displaystyle \operatorname{property-of}(Z,X) = P(Z|X) - P(Z)}**