FOL or First Order Predicate Calculus (FOPC), which creates a powerful set of ontological commitments i.e. properties, objects, functions and relations of the world belongings to be presented. Properties : It is used to differentiate one object with another object. (E.g. big, small, round etc.) Objects : Items with separate identities. (E.g. home, people, college, colors etc.) Functions : One type of relation, which has just a single value from a specified entry. (E.g. mother of, greatest brother etc.) Relations : relation exists between objects. (E.g. owns, bigger than etc.) The initial variation between FOL logic and propositional lies in the existential obligation prepared by all languages – which are, what it suppose regarding the scenery of actuality

Keywords: First Order Logic, Representation Revisited, Syntax and Semantics for First Order Logic - Using First Order Logic, Knowledge Engineering in First Order Logic, Inference in First Order Logic, Prepositional Versus First Order Logic, Lifting and Unification, Forward Chaining and Backward Chaining, Resolution, Knowledge Representation, Ontological Engineering, Categories and Objects, Actions, Simulation and Events, Mental Events and Mental Objects