1.Knowledge Representation using First-Order Logic2. Domain• Domain is a section of the knowledgerepresentation. - The Kinship domain - Mathematical sets - Assertions and…