Suppose Spider-Man is a fictional superhero created by writer Stan Lee and artist Steve Ditko for Marvel Comics. He first appeared in Amazing Fantasy #15 in 1962.
Can we infer that "The first appearance of Spider-Man was in a DC Comics publication."?