uctionRule. Its input must look like X_Link A B X_Link B C And its output then looks like X_Link A C Here, X_Link may be either InheritanceLink, SubsetLink, ImplicationLink or Extension- allmplicationLink. A PLN formula goes along with a PLN rule, and tells the uncertain truth value of the output, base

ces. and combining information about them in an appropriate way. In this subsection, we'll discuss an approach that should work for InheritanceLink, SubsetLink, Impli- cationLink, and ExtensionalImplicationLink and other related link types. But we'll explicitly present it only for the InheritanceLink case.

obvious meaning, e.g. ConceptNode cat ConceptNode animal SubsetLink cat animal EFTA00624024 13.3 Atoms: Their Types and Weights 249 Note that SubsetLink refers to a purely extensional subset relationship, and that Inheri- tanceLlnk should be used for the generic "intensional + extensional" analogue of

meaning, e.g. ConceptNode cat ConceptNode animal SubsetLink cat animal HOUSE_OVERSIGHT_013164 13.3 Atoms: Their Types and Weights 249 Note that SubsetLink refers to a purely extensional subset relationship, and that Inheri- tanceLInk should be used for the generic "intensional + extensional" analogue of