Figure 2.

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.

Pantazi et al. BMC Medical Informatics and Decision Making 2004 4:19   doi:10.1186/1472-6947-4-19
Download authors' original image