Chapter 15 - 15.3 - Knowledge Representation - Practice Problems - Page 722: 2

\begin{array}{l}{\text { a. }(\forall x) \text { (hamburger }(x) \rightarrow \operatorname{sandwich}(x) )} \\ {\text { b. }(\forall x)(\text { grilled Cheese }(x) \rightarrow \operatorname{sandwich}(x))}\\ {\text { c. }(\forall x)(\text { sandwich }(x) \rightarrow \text { onBread }(x))} \\ {\text { d. }(\forall x)(\text { grilled Cheese }(x) \rightarrow \operatorname{vegetarian}(x))}\end{array}

\begin{array}{l}{\text { a. }(\forall x) \text { (hamburger }(x) \rightarrow \operatorname{sandwich}(x) )} \\ {\text { b. }(\forall x)(\text { grilled Cheese }(x) \rightarrow \operatorname{sandwich}(x))}\\ {\text { c. }(\forall x)(\text { sandwich }(x) \rightarrow \text { onBread }(x))} \\ {\text { d. }(\forall x)(\text { grilled Cheese }(x) \rightarrow \operatorname{vegetarian}(x))}\end{array}