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.
Simplified: They simply know that dog is to dogs as cat is to cats.