Transitive inference

the automatic cognitive operation of computing implied relationships from chains of explicit relationships without conscious effort, where the relationship type must support transitivity for the inference to be valid