Again KID is extremely flexible, put away your bias and where you think bishop should go for black.
King's indian defense is purely calculation and understanding the position, you must have a feel what position needs and not some bias ideas where the pieces need to be at. You can see the black white bishop had a different purpose, it was to put pressure on d4 square. I personally dislike 6.Bd3, it give black good chances for a win. I play black after 6.Bd3 any day, because I understand that Bg4 is a good move.
Awesome! Thanks for the tip! Another weapon in my arsenal now! Wanna be my KID teacher? (just kidding) =D
Ok, yeah, not all c5s mean a Benoni, but a lot of them lead to Benoni-type structures. The Saemisch gambit is a good example of it.
However in the 4 Pawns attack you play c5?? White plays d5 and you end up in a Benoni structure. And if you ask why the double question mark... e5!! refutes the 4 Pawns attack, so there is no reason to give White another chance.