An inference engine that implements Resolution, a concept in AI, to determine whether given term in present in the knowledge base or not