Original: They infer intuitively that dog is to dogs as cat is to cats; similarly, dog is to dog catcher as dish is to dishwasher, in one sense.
Simplified: They simply know that dog is to dogs as cat is to cats. They know that dog is to dog-catcher as dish is to dishwasher.