In order to utilize generalized Modus Ponens, all sentences in the KB must be in the form of Horn sentences.
(a) True
(b) False
The question was asked in a national level competition.
The question is from Inference in First-Order Logic topic in division Knowledge and Reasoning of Artificial Intelligence