The SubsetLink denotes extensional inheritance between two Atoms. An example of a SubsetLink would be:

Subset dog animal

SubsetLink is also equivalent to an EvaluationLink whose PredicateNode is "Subset". Thus, for example:

ConceptNode: dogs
ConceptNode: animals

means the same thing as:

PredicateNode: Subset
ConceptNode: dogs
ConceptNode: animals

## Naming subsets

The SimilarityLink can be used to refine a simple subset relationship into a more complex "what kind of subset of" relationship.

## PLN Semantics

In PLN the truth value of a SubsetLink relationship actually corresponds to a conditional probability over truth values, formally:

${\displaystyle TV.s={\frac {\sum _{x}f_{\wedge }(({\text{Member}}\ x\ B).s,({\text{Member}}\ x\ A).s)\times x.s}{\sum _{x}({\text{Member}}\ x\ A).s\times x.s}}}$