We establish a common fixed point theorem for mappings under $\phi$-contractive conditions on intuitionistic Menger metric spaces. As an application of our result we study the existence and uniquenes of the solution to a nonlinear Fredholm integral equation. We also give an example to validate our result.