Figure 2From: Case-based medical informatics A blocks world example. In this particular example expressions such as: on(a, c), on(c, table), on(b, table), pyramid(a), brick(b), brick(c), ¬same-as(a, c), same-as(b, c), etc., are true.Back to article page