  Using the spontaneous parametric down-conversion process in a type-I phase
matching BBO crystal as single photon source, we perform an all-or-nothing-type
Kochen-Specker experiment proposed by Simon \QTR{it}{et al}. [Phys. Rev. Lett.
\QTR{bf}{85}, 1783 (2000)] to verify whether noncontextual hidden variables or
quantum mechanics is right. The results strongly agree with quantum mechanics.
