Reduction to propositional inference Suppose the KB contains just the following: Vx King(x)^Greedy(x)Evil(x) King(John) Greedy(John) Brother(Richard,John) Instantiating the universal sentence in all possible ways,we have: King(John)Greedy(John)=Evil(John) King(Richard)^Greedy(Richard)=Evil(Richard) King(John) Greedy(John) Brother(Richard,John) The new KB is propositionalized:proposition symbols are King(John),Greedy(John),Evil(John),King(Richard),etc. Reduction to propositional inference Suppose the KB contains just the following: x King(x)  Greedy(x)  Evil(x) King(John) Greedy(John) Brother(Richard,John) • Instantiating the universal sentence in all possible ways, we have: King(John)  Greedy(John)  Evil(John) King(Richard)  Greedy(Richard)  Evil(Richard) King(John) Greedy(John) Brother(Richard,John) • The new KB is propositionalized: proposition symbols are • King(John), Greedy(John), Evil(John), King(Richard), etc