Question 7 - FOL formulation of KB. Jim and Jack work at the same university. Jim teaches students while Jack is a college dean. At a recent meeting Jim criticized jack. Generally we assume the following: • All teachers and deans at the university level are professors Professors are people If two professors work at the same university and know each other personally then they consider each other friends People only criticize publicly other people that are not their friends. We are curious, does Jim knows Jack personally? Give a list of predicates necessary to construct the knowledge base (i.e. general set of axioms and facts) that reflects the knowledge specified above and allows us to ask our question. Construct the knowledge base. Answer the question (by proving your answer).