 The ultimate knowledge representation formalism in terms of expressive power and compactness is First Order Logic (FOL).There is no more powerful formalism than that used by mathematicians to define general propositions about the world.However, FOL has two drawbacks as a knowledge representation formalism