Consider the knowledge base in figure 2.6 about the east-west subway stops in a mythical city somewhere. Note that left of is used here to mean directly to the left of

(as it might appear on a subway map).

1. Give an example of an atomic sentence that is not in the knowledge base in figure 2.6 but that is entailed by it.

Transcribed Image Text:

Figure 2.6. A subway knowledge base bay is left of yonge. spadina is left of st-george. christie is left of bathurst. If X is left of Y then X is west of Y. st-george is left of bay. bathurst is left of spadina. If X is left of Y and Y is west of Z then X is west of Z. If X is west of Y then Y is east of X.